4.976 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.048 * [progress]: [Phase 2 of 3] Improving. 0.048 * [simplify]: Simplifying using # : (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) 0.051 * * [simplify]: iteration 0 : 12 enodes (cost 7 ) 0.052 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 0.053 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 0.054 * [simplify]: Simplified to: (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) 0.054 * * [progress]: iteration 1 / 4 0.054 * * * [progress]: picking best candidate 0.056 * * * * [pick]: Picked # 0.056 * * * [progress]: localizing error 0.065 * * * [progress]: generating rewritten candidates 0.065 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.089 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.095 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.120 * * * [progress]: generating series expansions 0.120 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.120 * [approximate]: Taking taylor expansion of (log (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in (x) around 0 0.120 * [taylor]: Taking taylor expansion of (log (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in x 0.120 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x 0.120 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 0.120 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 0.120 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.121 * [taylor]: Taking taylor expansion of 1.0 in x 0.121 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.121 * [taylor]: Taking taylor expansion of x in x 0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.122 * [taylor]: Taking taylor expansion of x in x 0.122 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.122 * [taylor]: Taking taylor expansion of 1.0 in x 0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.122 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of (log (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in x 0.125 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x 0.125 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 0.125 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 0.125 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.125 * [taylor]: Taking taylor expansion of 1.0 in x 0.125 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.127 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.127 * [taylor]: Taking taylor expansion of 1.0 in x 0.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.127 * [taylor]: Taking taylor expansion of x in x 0.235 * [approximate]: Taking taylor expansion of (log (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in (x) around 0 0.235 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x 0.235 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 0.235 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.235 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.235 * [taylor]: Taking taylor expansion of 1.0 in x 0.235 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.235 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.238 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.238 * [taylor]: Taking taylor expansion of 1.0 in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x 0.241 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 0.241 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.241 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.241 * [taylor]: Taking taylor expansion of 1.0 in x 0.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.241 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.243 * [taylor]: Taking taylor expansion of 1.0 in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.306 * [approximate]: Taking taylor expansion of (log (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in (x) around 0 0.306 * [taylor]: Taking taylor expansion of (log (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in x 0.306 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x 0.306 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 0.306 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.306 * [taylor]: Taking taylor expansion of x in x 0.306 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.306 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.306 * [taylor]: Taking taylor expansion of 1.0 in x 0.306 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.306 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.306 * [taylor]: Taking taylor expansion of x in x 0.309 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.309 * [taylor]: Taking taylor expansion of 1.0 in x 0.309 * [taylor]: Taking taylor expansion of x in x 0.314 * [taylor]: Taking taylor expansion of (log (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)))) in x 0.314 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x 0.314 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 0.314 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.314 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.314 * [taylor]: Taking taylor expansion of 1.0 in x 0.314 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.314 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.317 * [taylor]: Taking taylor expansion of 1.0 in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.397 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.397 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in (x) around 0 0.397 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 0.397 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 0.397 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.397 * [taylor]: Taking taylor expansion of 1.0 in x 0.397 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 0.398 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 0.398 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.398 * [taylor]: Taking taylor expansion of 1.0 in x 0.398 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.428 * [approximate]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in (x) around 0 0.428 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.428 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.428 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.428 * [taylor]: Taking taylor expansion of 1.0 in x 0.428 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.428 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.431 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.431 * [taylor]: Taking taylor expansion of x in x 0.431 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.431 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.431 * [taylor]: Taking taylor expansion of 1.0 in x 0.431 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.431 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.431 * [taylor]: Taking taylor expansion of x in x 0.470 * [approximate]: Taking taylor expansion of (* -1 (* x (sqrt (- 1.0 (/ 1 (pow x 2)))))) in (x) around 0 0.470 * [taylor]: Taking taylor expansion of (* -1 (* x (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x 0.470 * [taylor]: Taking taylor expansion of -1 in x 0.470 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.470 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.470 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.470 * [taylor]: Taking taylor expansion of 1.0 in x 0.470 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.470 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.473 * [taylor]: Taking taylor expansion of (* -1 (* x (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x 0.473 * [taylor]: Taking taylor expansion of -1 in x 0.473 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.473 * [taylor]: Taking taylor expansion of x in x 0.473 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.473 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.473 * [taylor]: Taking taylor expansion of 1.0 in x 0.473 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.473 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.473 * [taylor]: Taking taylor expansion of x in x 0.518 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.518 * [approximate]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in (x) around 0 0.518 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x 0.518 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 0.518 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 0.518 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.518 * [taylor]: Taking taylor expansion of 1.0 in x 0.518 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.518 * [taylor]: Taking taylor expansion of x in x 0.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.525 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.525 * [taylor]: Taking taylor expansion of 1.0 in x 0.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.526 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x 0.526 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 0.526 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 0.526 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 0.526 * [taylor]: Taking taylor expansion of 1.0 in x 0.526 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.527 * [taylor]: Taking taylor expansion of 1.0 in x 0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.567 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in (x) around 0 0.567 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 0.567 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.567 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.567 * [taylor]: Taking taylor expansion of 1.0 in x 0.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.567 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.570 * [taylor]: Taking taylor expansion of 1.0 in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 0.570 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.570 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.570 * [taylor]: Taking taylor expansion of 1.0 in x 0.570 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.570 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.573 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.573 * [taylor]: Taking taylor expansion of 1.0 in x 0.573 * [taylor]: Taking taylor expansion of x in x 0.590 * [approximate]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in (x) around 0 0.590 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x 0.590 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 0.590 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.590 * [taylor]: Taking taylor expansion of x in x 0.590 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.590 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.590 * [taylor]: Taking taylor expansion of 1.0 in x 0.590 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.590 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.590 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.593 * [taylor]: Taking taylor expansion of 1.0 in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of (- (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x 0.593 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 0.593 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 0.593 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 0.593 * [taylor]: Taking taylor expansion of 1.0 in x 0.593 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.593 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.595 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.595 * [taylor]: Taking taylor expansion of 1.0 in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.630 * * * [progress]: simplifying candidates 0.632 * [simplify]: Simplifying using # : (log (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (log (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (log 1) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (/ 1 (* (cbrt x) (cbrt x)))) (log (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))) (log (/ 1 (sqrt x))) (log (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))) (log (/ 1 1)) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log 1) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (/ 1 x)) (log (+ 1.0 (sqrt (- 1.0 (* x x))))) (log (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))) (log (* x x)) (log (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))) (log (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (log (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))) (log (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (exp (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (* (cbrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (cbrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (* (* (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (- (log (sqrt (- 1.0 (* x x)))) (log x)) (log (/ (sqrt (- 1.0 (* x x))) x)) (exp (/ (sqrt (- 1.0 (* x x))) x)) (/ (* (* (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x)))) (sqrt (- 1.0 (* x x)))) (* (* x x) x)) (* (cbrt (/ (sqrt (- 1.0 (* x x))) x)) (cbrt (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (/ (sqrt (- 1.0 (* x x))) x)) (* (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (/ (sqrt (- 1.0 (* x x))) x)) (sqrt (/ (sqrt (- 1.0 (* x x))) x)) (sqrt (/ (sqrt (- 1.0 (* x x))) x)) (- (sqrt (- 1.0 (* x x)))) (- x) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt x)) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) 1) (/ (cbrt (sqrt (- 1.0 (* x x)))) x) (/ (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (* (cbrt x) (cbrt x))) (/ (sqrt (cbrt (- 1.0 (* x x)))) (cbrt x)) (/ (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) 1) (/ (sqrt (cbrt (- 1.0 (* x x)))) x) (/ (sqrt (sqrt (- 1.0 (* x x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (* x x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) 1) (/ (sqrt (sqrt (- 1.0 (* x x)))) x) (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (* x x))) (cbrt x)) (/ (sqrt 1) (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)) (/ (sqrt 1) 1) (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (+ (sqrt 1.0) x)) (* (cbrt x) (cbrt x))) (/ (sqrt (- (sqrt 1.0) x)) (cbrt x)) (/ (sqrt (+ (sqrt 1.0) x)) (sqrt x)) (/ (sqrt (- (sqrt 1.0) x)) (sqrt x)) (/ (sqrt (+ (sqrt 1.0) x)) 1) (/ (sqrt (- (sqrt 1.0) x)) x) (/ (sqrt (sqrt (- 1.0 (* x x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (* x x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) 1) (/ (sqrt (sqrt (- 1.0 (* x x)))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (* x x))) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)) (/ 1 1) (/ (sqrt (- 1.0 (* x x))) x) (/ 1 x) (/ x (sqrt (- 1.0 (* x x)))) (/ (sqrt (- 1.0 (* x x))) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (* x x))) (sqrt x)) (/ (sqrt (- 1.0 (* x x))) 1) (/ x (cbrt (sqrt (- 1.0 (* x x))))) (/ x (sqrt (cbrt (- 1.0 (* x x))))) (/ x (sqrt (sqrt (- 1.0 (* x x))))) (/ x (sqrt (- 1.0 (* x x)))) (/ x (sqrt (- (sqrt 1.0) x))) (/ x (sqrt (sqrt (- 1.0 (* x x))))) (/ x (sqrt (- 1.0 (* x x)))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))) (* x (sqrt (+ 1.0 (* x x)))) (* (exp (/ 1.0 x)) (exp (/ (sqrt (- 1.0 (* x x))) x))) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (* (* (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x))))) (* x x) (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3)) (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x))) (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x))) (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x))) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ 1.0 (sqrt (- 1.0 (* x x)))) (- (log (+ (sqrt 1.0) 1.0)) (+ (* 1/2 (/ (pow x 2) (* (sqrt 1.0) (+ (sqrt 1.0) 1.0)))) (+ (* 1/8 (/ (pow x 4) (* (pow (sqrt 1.0) 3) (+ (sqrt 1.0) 1.0)))) (+ (log x) (* 1/8 (/ (pow x 4) (* (pow (sqrt 1.0) 2) (pow (+ (sqrt 1.0) 1.0) 2)))))))) (- (+ (log (sqrt -1)) (* 1.0 (/ 1 (* x (sqrt -1))))) (* 0.16666666666666666 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) (- (+ (log (- (sqrt -1))) (* 0.16666666666666666 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) (* 1.0 (/ 1 (* x (sqrt -1))))) (- (/ (sqrt 1.0) x) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (- (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)) (* 0.125 (/ 1 (* (pow x 4) (pow (sqrt -1) 3))))) (- (* 0.125 (/ 1 (* (pow x 4) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) (- (+ (/ (sqrt 1.0) x) (* 1.0 (/ 1 x))) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1.0 (/ 1 x)))) (- (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 0.643 * * [simplify]: iteration 0 : 460 enodes (cost 892 ) 0.654 * * [simplify]: iteration 1 : 1594 enodes (cost 844 ) 0.679 * * [simplify]: iteration 2 : 5001 enodes (cost 822 ) 0.683 * [simplify]: Simplified to: (* 2 (log (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (log (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (log (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) 0 (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (/ 1 (* (cbrt x) (cbrt x)))) (log (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))) (log (/ 1 (sqrt x))) (log (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))) 0 (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) 0 (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (/ 1 x)) (log (+ 1.0 (sqrt (- 1.0 (* x x))))) (log (+ (* 1.0 x) (* x (sqrt (- 1.0 (* x x)))))) (log (* x x)) (log (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3))) (log (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)) (* (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (log (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (- 1.0 (* x x))) x)))) (log (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (* (cbrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))) (cbrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (pow (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) 3) (sqrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (sqrt (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (log (/ (sqrt (- 1.0 (* x x))) x)) (log (/ (sqrt (- 1.0 (* x x))) x)) (exp (/ (sqrt (- 1.0 (* x x))) x)) (pow (/ (sqrt (- 1.0 (* x x))) x) 3) (* (cbrt (/ (sqrt (- 1.0 (* x x))) x)) (cbrt (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (/ (sqrt (- 1.0 (* x x))) x)) (pow (/ (sqrt (- 1.0 (* x x))) x) 3) (sqrt (/ (sqrt (- 1.0 (* x x))) x)) (sqrt (/ (sqrt (- 1.0 (* x x))) x)) (- (sqrt (- 1.0 (* x x)))) (- x) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt x)) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) x) (/ (/ (fabs (cbrt (- 1.0 (* x x)))) (cbrt x)) (cbrt x)) (/ (sqrt (cbrt (- 1.0 (* x x)))) (cbrt x)) (/ (fabs (cbrt (- 1.0 (* x x)))) (* (sqrt x) 1)) (/ (sqrt (cbrt (- 1.0 (* x x)))) (sqrt x)) (fabs (cbrt (- 1.0 (* x x)))) (/ (sqrt (cbrt (- 1.0 (* x x)))) x) (/ (sqrt (sqrt (- 1.0 (* x x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (* x x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (sqrt (sqrt (- 1.0 (* x x)))) (/ (sqrt (sqrt (- 1.0 (* x x)))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (* x x))) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)) 1 (/ (sqrt (- 1.0 (* x x))) x) (/ (sqrt (+ (sqrt 1.0) x)) (* (cbrt x) (cbrt x))) (/ (sqrt (- (sqrt 1.0) x)) (cbrt x)) (/ (sqrt (+ (sqrt 1.0) x)) (sqrt x)) (/ (sqrt (- (sqrt 1.0) x)) (sqrt x)) (sqrt (+ (sqrt 1.0) x)) (/ (sqrt (- (sqrt 1.0) x)) x) (/ (sqrt (sqrt (- 1.0 (* x x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (* x x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (sqrt (sqrt (- 1.0 (* x x)))) (/ (sqrt (sqrt (- 1.0 (* x x)))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (* x x))) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)) 1 (/ (sqrt (- 1.0 (* x x))) x) (/ 1 x) (/ x (sqrt (- 1.0 (* x x)))) (/ (sqrt (- 1.0 (* x x))) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (* x x))) (sqrt x)) (sqrt (- 1.0 (* x x))) (/ x (cbrt (sqrt (- 1.0 (* x x))))) (/ x (sqrt (cbrt (- 1.0 (* x x))))) (/ x (sqrt (sqrt (- 1.0 (* x x))))) (/ x (sqrt (- 1.0 (* x x)))) (/ x (sqrt (- (sqrt 1.0) x))) (/ x (sqrt (sqrt (- 1.0 (* x x))))) (/ x (sqrt (- 1.0 (* x x)))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))) (* x (sqrt (+ 1.0 (* x x)))) (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (exp (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (pow (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) 3) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (sqrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (* x (+ (sqrt (- 1.0 (* x x))) 1.0)) (pow x 2) (+ (pow (/ 1.0 x) 3) (pow (/ (sqrt (- 1.0 (* x x))) x) 3)) (- (/ 1.0 (pow x 2)) (+ 1 (* (/ 1.0 x) (- (/ (sqrt (- 1.0 (* x x))) x) (/ 1.0 x))))) (+ (- (* (/ 1.0 x) (/ 1.0 x)) (/ 1.0 (pow x 2))) 1) (- (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x))) (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x))) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)) (+ 1.0 (sqrt (- 1.0 (* x x)))) (- (- (log (+ (sqrt 1.0) 1.0)) (+ (/ (* (pow x 2) 1/2) (+ (* (sqrt 1.0) 1.0) 1.0)) (* 1/8 (+ (/ (pow x 4) (* (+ (* (sqrt 1.0) 1.0) 1.0) 1.0)) (/ (/ (pow x 4) (pow (+ (sqrt 1.0) 1.0) 2)) 1.0))))) (log x)) (- (/ 1.0 (* x (sqrt -1))) (- (/ (/ 0.16666666666666666 (pow (sqrt -1) 3)) (pow x 3)) (log (sqrt -1)))) (- (/ (/ 0.16666666666666666 (pow (sqrt -1) 3)) (pow x 3)) (- (/ 1.0 (* x (sqrt -1))) (log (- (sqrt -1))))) (- (/ (sqrt 1.0) x) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (+ (- (sqrt -1) (* 0.125 (/ 1 (* (pow x 4) (pow (sqrt -1) 3))))) (/ (/ 0.5 (sqrt -1)) (pow x 2))) (- (/ (/ 0.125 (pow (sqrt -1) 3)) (pow x 4)) (- (/ (/ 0.5 (sqrt -1)) (pow x 2)) (pow (sqrt -1) 3))) (- (+ (/ (sqrt 1.0) x) (/ 1.0 x)) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1.0 (/ 1 x)))) (- (/ 1.0 x) (- (/ (/ 0.5 (sqrt -1)) (pow x 2)) (pow (sqrt -1) 3))) 0.684 * * * [progress]: adding candidates to table 0.902 * * [progress]: iteration 2 / 4 0.902 * * * [progress]: picking best candidate 0.906 * * * * [pick]: Picked # 0.906 * * * [progress]: localizing error 0.923 * * * [progress]: generating rewritten candidates 0.923 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 0.975 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 0.986 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 0.996 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.015 * * * [progress]: generating series expansions 1.015 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.015 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in (x) around 0 1.015 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 1.015 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 1.015 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 1.015 * [taylor]: Taking taylor expansion of 1.0 in x 1.015 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.015 * [taylor]: Taking taylor expansion of x in x 1.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.017 * [taylor]: Taking taylor expansion of x in x 1.017 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 1.017 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 1.017 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 1.017 * [taylor]: Taking taylor expansion of 1.0 in x 1.017 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.017 * [taylor]: Taking taylor expansion of x in x 1.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.019 * [taylor]: Taking taylor expansion of x in x 1.053 * [approximate]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in (x) around 0 1.053 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 1.053 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.053 * [taylor]: Taking taylor expansion of 1.0 in x 1.053 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.053 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.056 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 1.056 * [taylor]: Taking taylor expansion of x in x 1.056 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 1.056 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.056 * [taylor]: Taking taylor expansion of 1.0 in x 1.056 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.056 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.056 * [taylor]: Taking taylor expansion of x in x 1.091 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) in (x) around 0 1.091 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) in x 1.091 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 1.091 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.091 * [taylor]: Taking taylor expansion of 1.0 in x 1.091 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.091 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.091 * [taylor]: Taking taylor expansion of x in x 1.094 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt (/ -1 x)) 2)) in x 1.094 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 1.094 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.094 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.094 * [taylor]: Taking taylor expansion of -1 in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.096 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) in x 1.096 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 1.096 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.096 * [taylor]: Taking taylor expansion of 1.0 in x 1.096 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.096 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.099 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt (/ -1 x)) 2)) in x 1.099 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 1.099 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.099 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.099 * [taylor]: Taking taylor expansion of -1 in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.135 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 1.135 * [approximate]: Taking taylor expansion of (* (pow (- 1.0 (pow x 2)) 1/6) (sqrt (/ 1 x))) in (x) around 0 1.135 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (pow x 2)) 1/6) (sqrt (/ 1 x))) in x 1.135 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow x 2)) 1/6) in x 1.135 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (- 1.0 (pow x 2))))) in x 1.135 * [taylor]: Taking taylor expansion of (* 1/6 (log (- 1.0 (pow x 2)))) in x 1.135 * [taylor]: Taking taylor expansion of 1/6 in x 1.135 * [taylor]: Taking taylor expansion of (log (- 1.0 (pow x 2))) in x 1.135 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 1.135 * [taylor]: Taking taylor expansion of 1.0 in x 1.135 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.135 * [taylor]: Taking taylor expansion of x in x 1.137 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.137 * [taylor]: Taking taylor expansion of x in x 1.138 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (pow x 2)) 1/6) (sqrt (/ 1 x))) in x 1.138 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow x 2)) 1/6) in x 1.138 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (- 1.0 (pow x 2))))) in x 1.138 * [taylor]: Taking taylor expansion of (* 1/6 (log (- 1.0 (pow x 2)))) in x 1.138 * [taylor]: Taking taylor expansion of 1/6 in x 1.139 * [taylor]: Taking taylor expansion of (log (- 1.0 (pow x 2))) in x 1.139 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 1.139 * [taylor]: Taking taylor expansion of 1.0 in x 1.139 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.181 * [approximate]: Taking taylor expansion of (* (sqrt x) (pow (- 1.0 (/ 1 (pow x 2))) 1/6)) in (x) around 0 1.181 * [taylor]: Taking taylor expansion of (* (sqrt x) (pow (- 1.0 (/ 1 (pow x 2))) 1/6)) in x 1.181 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.181 * [taylor]: Taking taylor expansion of x in x 1.182 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 2))) 1/6) in x 1.182 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (- 1.0 (/ 1 (pow x 2)))))) in x 1.182 * [taylor]: Taking taylor expansion of (* 1/6 (log (- 1.0 (/ 1 (pow x 2))))) in x 1.182 * [taylor]: Taking taylor expansion of 1/6 in x 1.182 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 2)))) in x 1.182 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.182 * [taylor]: Taking taylor expansion of 1.0 in x 1.182 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.182 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.182 * [taylor]: Taking taylor expansion of x in x 1.185 * [taylor]: Taking taylor expansion of (* (sqrt x) (pow (- 1.0 (/ 1 (pow x 2))) 1/6)) in x 1.185 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.185 * [taylor]: Taking taylor expansion of x in x 1.186 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 2))) 1/6) in x 1.186 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (- 1.0 (/ 1 (pow x 2)))))) in x 1.186 * [taylor]: Taking taylor expansion of (* 1/6 (log (- 1.0 (/ 1 (pow x 2))))) in x 1.186 * [taylor]: Taking taylor expansion of 1/6 in x 1.186 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 2)))) in x 1.186 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.186 * [taylor]: Taking taylor expansion of 1.0 in x 1.186 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.186 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.186 * [taylor]: Taking taylor expansion of x in x 1.225 * [approximate]: Taking taylor expansion of (* (pow (- 1.0 (/ 1 (pow x 2))) 1/6) (/ 1 (sqrt (/ -1 x)))) in (x) around 0 1.225 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (/ 1 (pow x 2))) 1/6) (/ 1 (sqrt (/ -1 x)))) in x 1.225 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 2))) 1/6) in x 1.225 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (- 1.0 (/ 1 (pow x 2)))))) in x 1.225 * [taylor]: Taking taylor expansion of (* 1/6 (log (- 1.0 (/ 1 (pow x 2))))) in x 1.225 * [taylor]: Taking taylor expansion of 1/6 in x 1.225 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 2)))) in x 1.225 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.225 * [taylor]: Taking taylor expansion of 1.0 in x 1.225 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.225 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.227 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x 1.227 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.227 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.227 * [taylor]: Taking taylor expansion of -1 in x 1.227 * [taylor]: Taking taylor expansion of x in x 1.229 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (/ 1 (pow x 2))) 1/6) (/ 1 (sqrt (/ -1 x)))) in x 1.229 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 2))) 1/6) in x 1.229 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (- 1.0 (/ 1 (pow x 2)))))) in x 1.229 * [taylor]: Taking taylor expansion of (* 1/6 (log (- 1.0 (/ 1 (pow x 2))))) in x 1.229 * [taylor]: Taking taylor expansion of 1/6 in x 1.229 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 2)))) in x 1.229 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.229 * [taylor]: Taking taylor expansion of 1.0 in x 1.229 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.229 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.229 * [taylor]: Taking taylor expansion of x in x 1.231 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x 1.231 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.231 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.231 * [taylor]: Taking taylor expansion of -1 in x 1.231 * [taylor]: Taking taylor expansion of x in x 1.260 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 1.261 * [approximate]: Taking taylor expansion of (* (pow (- 1.0 (pow x 2)) 1/3) (sqrt (/ 1 x))) in (x) around 0 1.261 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (pow x 2)) 1/3) (sqrt (/ 1 x))) in x 1.261 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow x 2)) 1/3) in x 1.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (pow x 2))))) in x 1.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (pow x 2)))) in x 1.261 * [taylor]: Taking taylor expansion of 1/3 in x 1.261 * [taylor]: Taking taylor expansion of (log (- 1.0 (pow x 2))) in x 1.261 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 1.261 * [taylor]: Taking taylor expansion of 1.0 in x 1.261 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.261 * [taylor]: Taking taylor expansion of x in x 1.263 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.263 * [taylor]: Taking taylor expansion of x in x 1.264 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (pow x 2)) 1/3) (sqrt (/ 1 x))) in x 1.264 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow x 2)) 1/3) in x 1.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (pow x 2))))) in x 1.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (pow x 2)))) in x 1.264 * [taylor]: Taking taylor expansion of 1/3 in x 1.264 * [taylor]: Taking taylor expansion of (log (- 1.0 (pow x 2))) in x 1.264 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 1.264 * [taylor]: Taking taylor expansion of 1.0 in x 1.264 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.264 * [taylor]: Taking taylor expansion of x in x 1.266 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.266 * [taylor]: Taking taylor expansion of x in x 1.312 * [approximate]: Taking taylor expansion of (* (sqrt x) (pow (- 1.0 (/ 1 (pow x 2))) 1/3)) in (x) around 0 1.312 * [taylor]: Taking taylor expansion of (* (sqrt x) (pow (- 1.0 (/ 1 (pow x 2))) 1/3)) in x 1.312 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.312 * [taylor]: Taking taylor expansion of x in x 1.313 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 2))) 1/3) in x 1.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 2)))))) in x 1.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 2))))) in x 1.314 * [taylor]: Taking taylor expansion of 1/3 in x 1.314 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 2)))) in x 1.314 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.314 * [taylor]: Taking taylor expansion of 1.0 in x 1.314 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.314 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.314 * [taylor]: Taking taylor expansion of x in x 1.316 * [taylor]: Taking taylor expansion of (* (sqrt x) (pow (- 1.0 (/ 1 (pow x 2))) 1/3)) in x 1.316 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.316 * [taylor]: Taking taylor expansion of x in x 1.317 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 2))) 1/3) in x 1.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 2)))))) in x 1.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 2))))) in x 1.317 * [taylor]: Taking taylor expansion of 1/3 in x 1.317 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 2)))) in x 1.317 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.317 * [taylor]: Taking taylor expansion of 1.0 in x 1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.317 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.317 * [taylor]: Taking taylor expansion of x in x 1.351 * [approximate]: Taking taylor expansion of (* (pow (- 1.0 (/ 1 (pow x 2))) 1/3) (/ 1 (sqrt (/ -1 x)))) in (x) around 0 1.351 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (/ 1 (pow x 2))) 1/3) (/ 1 (sqrt (/ -1 x)))) in x 1.351 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 2))) 1/3) in x 1.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 2)))))) in x 1.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 2))))) in x 1.351 * [taylor]: Taking taylor expansion of 1/3 in x 1.351 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 2)))) in x 1.351 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.351 * [taylor]: Taking taylor expansion of 1.0 in x 1.351 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.351 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.351 * [taylor]: Taking taylor expansion of x in x 1.353 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x 1.353 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.353 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.353 * [taylor]: Taking taylor expansion of -1 in x 1.353 * [taylor]: Taking taylor expansion of x in x 1.355 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (/ 1 (pow x 2))) 1/3) (/ 1 (sqrt (/ -1 x)))) in x 1.355 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 2))) 1/3) in x 1.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 2)))))) in x 1.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 2))))) in x 1.355 * [taylor]: Taking taylor expansion of 1/3 in x 1.355 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 2)))) in x 1.355 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.355 * [taylor]: Taking taylor expansion of 1.0 in x 1.355 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.355 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.355 * [taylor]: Taking taylor expansion of x in x 1.357 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x 1.357 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.357 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.357 * [taylor]: Taking taylor expansion of -1 in x 1.357 * [taylor]: Taking taylor expansion of x in x 1.391 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.392 * [approximate]: Taking taylor expansion of (log (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in (x) around 0 1.392 * [taylor]: Taking taylor expansion of (log (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in x 1.392 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x 1.392 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 1.392 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 1.392 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 1.392 * [taylor]: Taking taylor expansion of 1.0 in x 1.392 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.393 * [taylor]: Taking taylor expansion of x in x 1.393 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.393 * [taylor]: Taking taylor expansion of 1.0 in x 1.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.393 * [taylor]: Taking taylor expansion of x in x 1.396 * [taylor]: Taking taylor expansion of (log (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x)))) in x 1.396 * [taylor]: Taking taylor expansion of (+ (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) (* 1.0 (/ 1 x))) in x 1.396 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (pow x 2))) (/ 1 x)) in x 1.396 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x 1.396 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 1.396 * [taylor]: Taking taylor expansion of 1.0 in x 1.396 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.397 * [taylor]: Taking taylor expansion of x in x 1.397 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.397 * [taylor]: Taking taylor expansion of 1.0 in x 1.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.397 * [taylor]: Taking taylor expansion of x in x 1.508 * [approximate]: Taking taylor expansion of (log (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in (x) around 0 1.508 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x 1.508 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 1.508 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.508 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 1.508 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.508 * [taylor]: Taking taylor expansion of 1.0 in x 1.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.508 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.511 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.511 * [taylor]: Taking taylor expansion of 1.0 in x 1.511 * [taylor]: Taking taylor expansion of x in x 1.514 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x))) in x 1.514 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) (* 1.0 x)) in x 1.514 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (/ 1 (pow x 2))))) in x 1.514 * [taylor]: Taking taylor expansion of x in x 1.514 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 1.514 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.514 * [taylor]: Taking taylor expansion of 1.0 in x 1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.514 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.514 * [taylor]: Taking taylor expansion of x in x 1.516 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.516 * [taylor]: Taking taylor expansion of 1.0 in x 1.516 * [taylor]: Taking taylor expansion of x in x 1.581 * [approximate]: Taking taylor expansion of (log (- (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) (* 1.0 x))) in (x) around 0 1.581 * [taylor]: Taking taylor expansion of (log (- (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) (* 1.0 x))) in x 1.581 * [taylor]: Taking taylor expansion of (- (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) (* 1.0 x)) in x 1.581 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) in x 1.581 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 1.581 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.581 * [taylor]: Taking taylor expansion of 1.0 in x 1.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.581 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.581 * [taylor]: Taking taylor expansion of x in x 1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt (/ -1 x)) 2)) in x 1.584 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 1.584 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.584 * [taylor]: Taking taylor expansion of -1 in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.586 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.586 * [taylor]: Taking taylor expansion of 1.0 in x 1.586 * [taylor]: Taking taylor expansion of x in x 1.589 * [taylor]: Taking taylor expansion of (log (- (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) (* 1.0 x))) in x 1.589 * [taylor]: Taking taylor expansion of (- (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) (* 1.0 x)) in x 1.589 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 (pow x 2)))) (/ 1 (pow (sqrt (/ -1 x)) 2))) in x 1.589 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x 1.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 1.589 * [taylor]: Taking taylor expansion of 1.0 in x 1.589 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.589 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.589 * [taylor]: Taking taylor expansion of x in x 1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt (/ -1 x)) 2)) in x 1.591 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 1.591 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.591 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.591 * [taylor]: Taking taylor expansion of -1 in x 1.591 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.593 * [taylor]: Taking taylor expansion of 1.0 in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.674 * * * [progress]: simplifying candidates 1.679 * [simplify]: Simplifying using # : (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (+ (- (+ (log (cbrt (sqrt (- 1.0 (* x x))))) (log (cbrt (sqrt (- 1.0 (* x x)))))) (log (sqrt x))) (- (log (cbrt (sqrt (- 1.0 (* x x))))) (log (sqrt x)))) (+ (- (+ (log (cbrt (sqrt (- 1.0 (* x x))))) (log (cbrt (sqrt (- 1.0 (* x x)))))) (log (sqrt x))) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (+ (- (log (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (log (sqrt x))) (- (log (cbrt (sqrt (- 1.0 (* x x))))) (log (sqrt x)))) (+ (- (log (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (log (sqrt x))) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (+ (log (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (- (log (cbrt (sqrt (- 1.0 (* x x))))) (log (sqrt x)))) (+ (log (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (log (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (exp (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (* (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x)))) (* (* (sqrt x) (sqrt x)) (sqrt x))) (/ (sqrt (- 1.0 (* x x))) (* (* (sqrt x) (sqrt x)) (sqrt x)))) (* (/ (* (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x)))) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (* (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (* (sqrt x) (sqrt x)) (sqrt x))) (/ (sqrt (- 1.0 (* x x))) (* (* (sqrt x) (sqrt x)) (sqrt x)))) (* (/ (* (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (sqrt (- 1.0 (* x x))) (* (* (sqrt x) (sqrt x)) (sqrt x)))) (* (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (* (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (cbrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (cbrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (cbrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (sqrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (sqrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt (- 1.0 (* x x))))) (* (sqrt x) (sqrt x)) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (* (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ 1 (sqrt (* (cbrt x) (cbrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ 1 (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ 1 (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ 1 (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ 1 1)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) 1) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ 1 (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt (sqrt (- 1.0 (* x x))))) (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (- (log (cbrt (sqrt (- 1.0 (* x x))))) (log (sqrt x))) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (exp (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (/ (sqrt (- 1.0 (* x x))) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (- (cbrt (sqrt (- 1.0 (* x x))))) (- (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt 1)) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) 1) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt 1)) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) 1) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt 1)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) 1) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ (cbrt (sqrt 1)) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ (cbrt (sqrt 1)) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt 1)) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt 1)) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt 1)) 1) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (cbrt (sqrt x))) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt (cbrt x))) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt (sqrt x))) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt 1)) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt (sqrt x))) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) 1) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt 1)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) 1) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ (cbrt 1) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ (cbrt 1) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt 1) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt 1) 1) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt 1)) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) 1) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt 1)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) 1) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ 1 (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ 1 (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ 1 (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ 1 (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ 1 1) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ 1 (sqrt x)) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) 1) (/ (sqrt x) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (cbrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (/ (sqrt x) (cbrt (sqrt (- (sqrt 1.0) x)))) (/ (sqrt x) (cbrt (sqrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (/ (sqrt x) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (sqrt (cbrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (* (sqrt x) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x))))))) (* (sqrt x) (cbrt (sqrt (+ 1.0 (* x x))))) (- (+ (log (cbrt (sqrt (- 1.0 (* x x))))) (log (cbrt (sqrt (- 1.0 (* x x)))))) (log (sqrt x))) (- (log (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (log (sqrt x))) (log (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (exp (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (* (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x)))) (* (* (sqrt x) (sqrt x)) (sqrt x))) (/ (* (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (cbrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (cbrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)))) (cbrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (- (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (- (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) 1) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ 1 (sqrt x)) (/ (sqrt x) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt 1)) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) 1) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (* (sqrt x) (* (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))))) (* (sqrt x) (* (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))) (cbrt (sqrt (+ 1.0 (* x x)))))) (* (sqrt x) (* (cbrt (sqrt (+ 1.0 (* x x)))) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))))) (* (sqrt x) (* (cbrt (sqrt (+ 1.0 (* x x)))) (cbrt (sqrt (+ 1.0 (* x x)))))) (* (sqrt x) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x))))))) (* (sqrt x) (cbrt (sqrt (+ 1.0 (* x x))))) (* (sqrt x) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x))))))) (* (sqrt x) (cbrt (sqrt (+ 1.0 (* x x))))) (log (* (cbrt (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (cbrt (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))))) (log (cbrt (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (sqrt (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (sqrt (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log 1) (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (log (+ (* 1.0 (* (sqrt x) (sqrt x))) (* x (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt (- 1.0 (* x x)))))))) (log (* x (* (sqrt x) (sqrt x)))) (log (+ (* 1.0 (sqrt x)) (* x (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt (sqrt (- 1.0 (* x x)))))))) (log (* x (sqrt x))) (log (+ (* 1.0 (sqrt x)) (* x (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (* x (sqrt x))) (log (+ (pow (/ 1.0 x) 3) (pow (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) 3))) (log (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))))) (log (- (* (/ 1.0 x) (/ 1.0 x)) (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (- (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (log (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (exp (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (* (cbrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (cbrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))))) (cbrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (* (* (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (sqrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (sqrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (- (/ (sqrt 1.0) x) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (- (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)) (* 0.125 (/ 1 (* (pow x 4) (pow (sqrt -1) 3))))) (- (+ (* +nan.0 (/ (sqrt -1) x)) (- (+ (* +nan.0 (sqrt -1)) (- (+ (* +nan.0 (/ 1 (* x (sqrt -1)))) (- (* +nan.0 (* x (sqrt -1)))))))))) (- (+ (* +nan.0 (* x (pow 1.0 1/6))) (- (+ (* +nan.0 (* (pow x 2) (pow 1.0 1/6))) (- (* +nan.0 (pow 1.0 1/6))))))) (- (+ (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 3))) (- (+ (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ 1 x)))))) x)) (- (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 2)))))))) (- (+ (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2))) (- (+ (* +nan.0 (exp (* 1/6 (- (log -1) (* 2 (log (/ -1 x))))))) (- (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ -1 x)))))) x))))))) (- (+ (* +nan.0 (* (pow x 2) (pow 1.0 1/3))) (- (+ (* +nan.0 (* x (pow 1.0 1/3))) (- (* +nan.0 (pow 1.0 1/3))))))) (- (+ (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 2))) (- (+ (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 3))) (- (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ 1 x)))))) x))))))) (- (+ (* +nan.0 (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x))))))) (- (+ (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) x)) (- (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2)))))))) (- (log (+ (sqrt 1.0) 1.0)) (+ (* 1/2 (/ (pow x 2) (* (sqrt 1.0) (+ (sqrt 1.0) 1.0)))) (+ (* 1/8 (/ (pow x 4) (* (pow (sqrt 1.0) 3) (+ (sqrt 1.0) 1.0)))) (+ (log x) (* 1/8 (/ (pow x 4) (* (pow (sqrt 1.0) 2) (pow (+ (sqrt 1.0) 1.0) 2)))))))) (- (+ (log (sqrt -1)) (* 1.0 (/ 1 (* x (sqrt -1))))) (* 0.16666666666666666 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) (- (log (- (* +nan.0 (sqrt -1)))) (+ (* +nan.0 (/ 1 (* (pow x 2) (sqrt -1)))) (- (log (/ -1 x)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt -1) 2))))))))))) 1.703 * * [simplify]: iteration 0 : 1271 enodes (cost 5196 ) 1.725 * * [simplify]: iteration 1 : 5001 enodes (cost 4914 ) 1.742 * [simplify]: Simplified to: (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (- (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (- (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (- (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (- (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (- (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (- (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (- (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (exp (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (/ (sqrt (- 1.0 (* x x))) x) (sqrt x)) (/ (/ (- 1.0 (* x x)) x) (sqrt x))) (* (/ (- 1.0 (* x x)) (sqrt x)) (/ (pow (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) 3) x)) (* (/ (pow (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) 3) (sqrt x)) (/ (sqrt (- 1.0 (* x x))) x)) (pow (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) 3) (* (/ (pow (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) 3) (sqrt x)) (/ (sqrt (- 1.0 (* x x))) x)) (pow (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) 3) (* (cbrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (cbrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (cbrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (pow (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) 3) (sqrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (sqrt (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (pow (cbrt (sqrt (- 1.0 (* x x)))) 3) x (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (* (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))))) (fabs (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (/ (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))))) (sqrt x)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))))) (fabs (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (/ (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))))) (sqrt x)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt (sqrt (sqrt (- 1.0 (* x x)))))) (fabs (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (/ (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt (sqrt (- 1.0 (* x x)))))) (sqrt x)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt (sqrt 1))) (fabs (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (sqrt (sqrt x)))) (/ (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt 1))) (sqrt x)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt (sqrt (+ (sqrt 1.0) x)))) (fabs (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (sqrt x)))) (/ (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt (+ (sqrt 1.0) x)))) (sqrt x)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt (sqrt (sqrt (- 1.0 (* x x)))))) (fabs (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (/ (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt (sqrt (- 1.0 (* x x)))))) (sqrt x)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (cbrt 1)) (fabs (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (sqrt (sqrt x)))) (/ (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt 1)) (sqrt x)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x))))))) (fabs (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x)))) (/ (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x))))))) (sqrt x)) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (sqrt (cbrt (sqrt (- 1.0 (* x x)))))) (fabs (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt 1))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x)))) (/ (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt x)) (/ (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (fabs (cbrt x))) (/ (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (sqrt (sqrt x))) (/ (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (sqrt 1)) (/ (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (sqrt (sqrt x))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (cbrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (/ (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (sqrt (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (/ (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (sqrt (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ 1 (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (log (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (exp (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (/ (/ (sqrt (- 1.0 (* x x))) x) (sqrt x)) (* (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (cbrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (pow (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) 3) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (sqrt (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (- (cbrt (sqrt (- 1.0 (* x x))))) (- (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt 1)) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (cbrt (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt 1)) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (cbrt (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (/ (cbrt (sqrt (cbrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt 1)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ (cbrt (sqrt 1)) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ (cbrt (sqrt 1)) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt 1)) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt 1)) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (cbrt (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (cbrt (sqrt x))) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt (cbrt x))) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt (sqrt x))) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt 1)) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt x)) (/ (cbrt (sqrt (+ (sqrt 1.0) x))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt (sqrt x))) (cbrt (sqrt (+ (sqrt 1.0) x))) (/ (cbrt (sqrt (- (sqrt 1.0) x))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt 1)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt 1) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ (cbrt 1) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ (cbrt 1) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt 1) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (cbrt 1) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (/ (fabs (cbrt x)) (cbrt (cbrt (sqrt (- 1.0 (* x x))))))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt 1)) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (sqrt (sqrt x))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (* (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (/ (cbrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (* (cbrt x) (cbrt x)))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (cbrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt 1)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt (sqrt x))) (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (/ (sqrt (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ 1 (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ 1 (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ 1 (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ 1 (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) 1 (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ 1 (sqrt x)) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (cbrt (sqrt (- 1.0 (* x x)))) (/ (sqrt x) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (cbrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (/ (sqrt x) (cbrt (sqrt (- (sqrt 1.0) x)))) (/ (sqrt x) (cbrt (sqrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (/ (sqrt x) (cbrt (cbrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (sqrt (cbrt (sqrt (- 1.0 (* x x)))))) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (* (sqrt x) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x))))))) (* (sqrt x) (cbrt (sqrt (+ 1.0 (* x x))))) (+ (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)))) (+ (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)))) (+ (* 2 (log (cbrt (sqrt (- 1.0 (* x x)))))) (- (log (sqrt x)))) (exp (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (/ (/ (- 1.0 (* x x)) x) (sqrt x)) (pow (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) 3) (* (cbrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (cbrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)))) (cbrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (pow (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) 3) (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (sqrt (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x))) (- (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (- (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (cbrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (cbrt (sqrt (- 1.0 (* x x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ 1 (sqrt x)) (/ (sqrt x) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (/ (fabs (cbrt x)) (cbrt (sqrt (- 1.0 (* x x)))))) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt 1)) (* (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt (sqrt x))) (cbrt (sqrt (- 1.0 (* x x))))) (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (sqrt x) (cbrt (sqrt (- 1.0 (* x x))))) (* (sqrt x) (* (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))))) (* (sqrt x) (* (cbrt (sqrt (+ 1.0 (* x x)))) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))))) (* (sqrt x) (* (cbrt (sqrt (+ 1.0 (* x x)))) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))))) (* (sqrt x) (* (cbrt (sqrt (+ 1.0 (* x x)))) (cbrt (sqrt (+ 1.0 (* x x)))))) (* (sqrt x) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x))))))) (* (sqrt x) (cbrt (sqrt (+ 1.0 (* x x))))) (* (sqrt x) (cbrt (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x))))))) (* (sqrt x) (cbrt (sqrt (+ 1.0 (* x x))))) (* 2 (log (cbrt (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))))) (log (cbrt (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (sqrt (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (sqrt (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) 0 (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (log (+ (* 1.0 (* (sqrt x) (sqrt x))) (* x (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (cbrt (sqrt (- 1.0 (* x x)))))))) (* 2 (log x)) (log (+ (* 1.0 (sqrt x)) (* x (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (* x (sqrt x))) (log (+ (* 1.0 (sqrt x)) (* x (* (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (* x (sqrt x))) (log (+ (pow (/ 1.0 x) 3) (pow (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) 3))) (log (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))))) (log (- (* (/ 1.0 x) (/ 1.0 x)) (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (log (- (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) (log (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))) (* (cbrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (cbrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))))) (cbrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (pow (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x))))) 3) (sqrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (sqrt (log (+ (/ 1.0 x) (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (* x x)))) (sqrt x)))))) (- (/ (sqrt 1.0) x) (+ (* 1/2 (/ x (sqrt 1.0))) (* 1/8 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (- (+ (* 0.5 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)) (* 0.125 (/ 1 (* (pow x 4) (pow (sqrt -1) 3))))) (+ (- (* +nan.0 (/ (sqrt -1) x))) (- (* +nan.0 (sqrt -1)) (- (* +nan.0 (/ 1 (* x (sqrt -1)))) (* +nan.0 (* x (sqrt -1)))))) (+ (- (* +nan.0 (* x (pow 1.0 1/6)))) (- (* +nan.0 (* (pow x 2) (pow 1.0 1/6))) (* +nan.0 (pow 1.0 1/6)))) (+ (- (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 3)))) (- (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ 1 x)))))) x)) (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 2))))) (+ (- (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2)))) (- (* +nan.0 (exp (* 1/6 (- (log -1) (* 2 (log (/ -1 x))))))) (* +nan.0 (/ (exp (* 1/6 (- (log -1) (* 2 (log (/ -1 x)))))) x)))) (+ (- (* +nan.0 (* (pow x 2) (pow 1.0 1/3)))) (- (* +nan.0 (* x (pow 1.0 1/3))) (* +nan.0 (pow 1.0 1/3)))) (+ (- (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 2)))) (- (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 3))) (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ 1 x)))))) x)))) (+ (- (* +nan.0 (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))))) (- (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) x)) (* +nan.0 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2))))) (- (- (- (log (+ (sqrt 1.0) 1.0)) (* 1/2 (/ (pow x 2) (* (sqrt 1.0) (+ (sqrt 1.0) 1.0))))) (+ (* 1/8 (/ (pow x 4) (* (pow (sqrt 1.0) 3) (+ (sqrt 1.0) 1.0)))) (log x))) (* (/ 1/8 (pow (+ (sqrt 1.0) 1.0) 2)) (/ (pow x 4) 1.0))) (- (+ (log (sqrt -1)) (* 1.0 (/ 1 (* x (sqrt -1))))) (* 0.16666666666666666 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) (- (- (log (- (* +nan.0 (sqrt -1)))) (- (- (- (log (/ -1 x)) (* +nan.0 (/ 1 (pow x 2)))) (/ (- +nan.0) x)) (* (/ +nan.0 (pow x 2)) -1))) (* +nan.0 (/ 1 (* (pow x 2) (sqrt -1))))) 1.745 * * * [progress]: adding candidates to table 2.613 * * [progress]: iteration 3 / 4 2.613 * * * [progress]: picking best candidate 2.617 * * * * [pick]: Picked # 2.617 * * * [progress]: localizing error 2.639 * * * [progress]: generating rewritten candidates 2.639 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 2.640 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 2) 2.641 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1) 2.641 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2) 2.653 * * * [progress]: generating series expansions 2.653 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 2.653 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 2.653 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 2.653 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 2.653 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 2.653 * [taylor]: Taking taylor expansion of 1/6 in x 2.653 * [taylor]: Taking taylor expansion of (log x) in x 2.653 * [taylor]: Taking taylor expansion of x in x 2.654 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 2.654 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 2.654 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 2.654 * [taylor]: Taking taylor expansion of 1/6 in x 2.654 * [taylor]: Taking taylor expansion of (log x) in x 2.654 * [taylor]: Taking taylor expansion of x in x 2.707 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 2.707 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 2.707 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 2.707 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 2.707 * [taylor]: Taking taylor expansion of 1/6 in x 2.707 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.707 * [taylor]: Taking taylor expansion of x in x 2.708 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 2.708 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 2.708 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 2.708 * [taylor]: Taking taylor expansion of 1/6 in x 2.708 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.708 * [taylor]: Taking taylor expansion of x in x 2.763 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 2.763 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 2.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 2.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 2.763 * [taylor]: Taking taylor expansion of 1/3 in x 2.763 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 2.763 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.763 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.763 * [taylor]: Taking taylor expansion of -1 in x 2.763 * [taylor]: Taking taylor expansion of x in x 2.767 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 2.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 2.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 2.767 * [taylor]: Taking taylor expansion of 1/3 in x 2.767 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 2.767 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.767 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.767 * [taylor]: Taking taylor expansion of -1 in x 2.767 * [taylor]: Taking taylor expansion of x in x 2.801 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 2) 2.801 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 2.801 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 2.801 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 2.801 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 2.801 * [taylor]: Taking taylor expansion of 1/6 in x 2.801 * [taylor]: Taking taylor expansion of (log x) in x 2.801 * [taylor]: Taking taylor expansion of x in x 2.802 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 2.802 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 2.802 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 2.802 * [taylor]: Taking taylor expansion of 1/6 in x 2.802 * [taylor]: Taking taylor expansion of (log x) in x 2.802 * [taylor]: Taking taylor expansion of x in x 2.855 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 2.855 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 2.855 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 2.855 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 2.855 * [taylor]: Taking taylor expansion of 1/6 in x 2.855 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.855 * [taylor]: Taking taylor expansion of x in x 2.856 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 2.856 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 2.856 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 2.856 * [taylor]: Taking taylor expansion of 1/6 in x 2.856 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.856 * [taylor]: Taking taylor expansion of x in x 2.911 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 2.911 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 2.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 2.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 2.911 * [taylor]: Taking taylor expansion of 1/3 in x 2.911 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 2.911 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.911 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.911 * [taylor]: Taking taylor expansion of -1 in x 2.911 * [taylor]: Taking taylor expansion of x in x 2.915 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 2.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 2.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 2.915 * [taylor]: Taking taylor expansion of 1/3 in x 2.915 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 2.915 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.915 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.915 * [taylor]: Taking taylor expansion of -1 in x 2.915 * [taylor]: Taking taylor expansion of x in x 2.948 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1) 2.949 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 2.949 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 2.949 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 2.949 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 2.949 * [taylor]: Taking taylor expansion of 1/6 in x 2.949 * [taylor]: Taking taylor expansion of (log x) in x 2.949 * [taylor]: Taking taylor expansion of x in x 2.949 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 2.949 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 2.949 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 2.949 * [taylor]: Taking taylor expansion of 1/6 in x 2.949 * [taylor]: Taking taylor expansion of (log x) in x 2.949 * [taylor]: Taking taylor expansion of x in x 3.002 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 3.002 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 3.002 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 3.002 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 3.002 * [taylor]: Taking taylor expansion of 1/6 in x 3.002 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.002 * [taylor]: Taking taylor expansion of x in x 3.003 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 3.003 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 3.003 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 3.003 * [taylor]: Taking taylor expansion of 1/6 in x 3.003 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.003 * [taylor]: Taking taylor expansion of x in x 3.054 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 3.054 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 3.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 3.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 3.054 * [taylor]: Taking taylor expansion of 1/3 in x 3.054 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 3.054 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.054 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.054 * [taylor]: Taking taylor expansion of -1 in x 3.054 * [taylor]: Taking taylor expansion of x in x 3.057 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 3.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 3.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 3.057 * [taylor]: Taking taylor expansion of 1/3 in x 3.057 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 3.057 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.057 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.057 * [taylor]: Taking taylor expansion of -1 in x 3.057 * [taylor]: Taking taylor expansion of x in x 3.097 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2) 3.097 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 3.097 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.097 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.097 * [taylor]: Taking taylor expansion of 1/3 in x 3.097 * [taylor]: Taking taylor expansion of (log x) in x 3.097 * [taylor]: Taking taylor expansion of x in x 3.097 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.098 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.098 * [taylor]: Taking taylor expansion of 1/3 in x 3.098 * [taylor]: Taking taylor expansion of (log x) in x 3.098 * [taylor]: Taking taylor expansion of x in x 3.151 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 3.151 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.151 * [taylor]: Taking taylor expansion of 1/3 in x 3.151 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.151 * [taylor]: Taking taylor expansion of x in x 3.152 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.152 * [taylor]: Taking taylor expansion of 1/3 in x 3.152 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.152 * [taylor]: Taking taylor expansion of x in x 3.202 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in (x) around 0 3.202 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in x 3.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in x 3.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in x 3.202 * [taylor]: Taking taylor expansion of 1/3 in x 3.202 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in x 3.202 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 3.202 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.202 * [taylor]: Taking taylor expansion of -1 in x 3.202 * [taylor]: Taking taylor expansion of x in x 3.205 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in x 3.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in x 3.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in x 3.205 * [taylor]: Taking taylor expansion of 1/3 in x 3.205 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in x 3.205 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 3.205 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.205 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.205 * [taylor]: Taking taylor expansion of -1 in x 3.205 * [taylor]: Taking taylor expansion of x in x 3.250 * * * [progress]: simplifying candidates 3.252 * [simplify]: Simplifying using # : (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (+ 1/3 1/3) (+ 1 1) (* (sqrt x) (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (+ 1 1) (+ (log (cbrt (sqrt x))) (log (cbrt (sqrt x)))) (log (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (exp (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (* (sqrt x) (sqrt x)) (* (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (* (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (* (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (* (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (* (cbrt x) (cbrt x))))) (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* 1 1) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* 2 1/3) (* 2 1) (* (cbrt (sqrt x)) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (cbrt (sqrt x)) (cbrt (sqrt (* (cbrt x) (cbrt x))))) (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt x)) (cbrt (sqrt 1))) (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt x)) (cbrt 1)) (* (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))) (* (cbrt (sqrt x)) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt x)) 1) (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt x))) (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt x))) (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) (pow x 1/3) (pow (/ 1 x) -1/3) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) 3.256 * * [simplify]: iteration 0 : 148 enodes (cost 689 ) 3.259 * * [simplify]: iteration 1 : 554 enodes (cost 642 ) 3.274 * * [simplify]: iteration 2 : 3053 enodes (cost 585 ) 3.350 * * [simplify]: iteration 3 : 5001 enodes (cost 558 ) 3.353 * [simplify]: Simplified to: (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) 2/3 2 x (pow x 1/3) 2 (* 2 (log (cbrt (sqrt x)))) (* 2 (log (cbrt (sqrt x)))) (exp (* (cbrt (sqrt x)) (cbrt (sqrt x)))) x (* (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (* (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (* (cbrt x) (cbrt x))))) (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) 1 (pow x 1/3) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) 1 (pow x 1/3) (pow (cbrt (cbrt (sqrt x))) 4) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (cbrt (sqrt x)) (cbrt (sqrt x)) 2/3 2 (* (cbrt (sqrt x)) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (cbrt (sqrt x)) (cbrt (sqrt (* (cbrt x) (cbrt x))))) (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt x)) (pow (cbrt (cbrt (sqrt x))) 5) (pow (sqrt (cbrt (sqrt x))) 3) (cbrt (sqrt x)) (pow (cbrt (cbrt (sqrt x))) 4) (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x)))) (pow x 1/3) (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x)))) (pow x 1/3) (pow (cbrt (cbrt (sqrt x))) 4) (pow (sqrt (cbrt (sqrt x))) 3) (pow x 1/3) (pow x 1/6) (pow (/ 1 x) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2)))))) (pow x 1/6) (pow (/ 1 x) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2)))))) (pow x 1/6) (pow (/ 1 x) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2)))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2)))))) 3.353 * * * [progress]: adding candidates to table 3.735 * [progress]: [Phase 3 of 3] Extracting. 3.739 * [simplify]: Simplifying using # : (log (+ (/ 1.0 x) (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x)))))) 3.739 * * [simplify]: iteration 0 : 26 enodes (cost 31 ) 3.740 * * [simplify]: iteration 1 : 26 enodes (cost 31 ) 3.740 * [simplify]: Simplified to: (log (+ (/ 1.0 x) (* (* (/ (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))) (sqrt x)) (/ (cbrt (sqrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (/ (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt x)))))) 5.207 * [regime-testing]: End program error score: 0.026847716902383235