0.368 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.436 * * * [progress]: [2/2] Setting up program. 0.442 * [progress]: [Phase 2 of 3] Improving. 0.442 * [simplify]: Simplifying using # : (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))) 0.443 * * [simplify]: iteration 0 : 24 enodes (cost 31 ) 0.446 * * [simplify]: iteration 1 : 51 enodes (cost 31 ) 0.452 * * [simplify]: iteration 2 : 154 enodes (cost 31 ) 0.487 * * [simplify]: iteration 3 : 879 enodes (cost 31 ) 0.718 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 0.718 * [simplify]: Simplified to: (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))) 0.718 * * [progress]: iteration 1 / 4 0.718 * * * [progress]: picking best candidate 0.724 * * * * [pick]: Picked # 0.724 * * * [progress]: localizing error 0.747 * * * [progress]: generating rewritten candidates 0.747 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.779 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.807 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.837 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 0.883 * * * [progress]: generating series expansions 0.883 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.884 * [approximate]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in (y) around 0 0.884 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y 0.884 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y 0.884 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 0.884 * [taylor]: Taking taylor expansion of y in y 0.884 * [taylor]: Taking taylor expansion of 1.0 in y 0.886 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.886 * [taylor]: Taking taylor expansion of y in y 0.887 * [taylor]: Taking taylor expansion of (- (sqrt (+ y 1.0)) (sqrt y)) in y 0.887 * [taylor]: Taking taylor expansion of (sqrt (+ y 1.0)) in y 0.887 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 0.887 * [taylor]: Taking taylor expansion of y in y 0.887 * [taylor]: Taking taylor expansion of 1.0 in y 0.889 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.911 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in (y) around 0 0.912 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y 0.912 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y 0.912 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.912 * [taylor]: Taking taylor expansion of y in y 0.912 * [taylor]: Taking taylor expansion of 1.0 in y 0.913 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.913 * [taylor]: Taking taylor expansion of y in y 0.915 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 y) 1.0)) (sqrt (/ 1 y))) in y 0.915 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y 0.915 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.915 * [taylor]: Taking taylor expansion of y in y 0.915 * [taylor]: Taking taylor expansion of 1.0 in y 0.916 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.916 * [taylor]: Taking taylor expansion of y in y 0.938 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in (y) around 0 0.938 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y 0.938 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y 0.938 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.938 * [taylor]: Taking taylor expansion of 1.0 in y 0.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.938 * [taylor]: Taking taylor expansion of y in y 0.940 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.940 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.940 * [taylor]: Taking taylor expansion of -1 in y 0.940 * [taylor]: Taking taylor expansion of y in y 0.941 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 y))) (sqrt (/ -1 y))) in y 0.941 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y 0.941 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.941 * [taylor]: Taking taylor expansion of 1.0 in y 0.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.941 * [taylor]: Taking taylor expansion of y in y 0.943 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.943 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.943 * [taylor]: Taking taylor expansion of -1 in y 0.943 * [taylor]: Taking taylor expansion of y in y 0.961 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.961 * [approximate]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in (t) around 0 0.961 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t 0.961 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t 0.961 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.961 * [taylor]: Taking taylor expansion of t in t 0.961 * [taylor]: Taking taylor expansion of 1.0 in t 0.963 * [taylor]: Taking taylor expansion of (sqrt t) in t 0.963 * [taylor]: Taking taylor expansion of t in t 0.964 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t 0.964 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t 0.964 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.964 * [taylor]: Taking taylor expansion of t in t 0.964 * [taylor]: Taking taylor expansion of 1.0 in t 0.966 * [taylor]: Taking taylor expansion of (sqrt t) in t 0.966 * [taylor]: Taking taylor expansion of t in t 0.987 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in (t) around 0 0.987 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t 0.987 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t 0.987 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.987 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.987 * [taylor]: Taking taylor expansion of t in t 0.988 * [taylor]: Taking taylor expansion of 1.0 in t 0.989 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 0.989 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.989 * [taylor]: Taking taylor expansion of t in t 0.990 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t 0.991 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t 0.991 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.991 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.991 * [taylor]: Taking taylor expansion of t in t 0.991 * [taylor]: Taking taylor expansion of 1.0 in t 0.992 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 0.992 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.992 * [taylor]: Taking taylor expansion of t in t 1.009 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in (t) around 0 1.009 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t 1.009 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t 1.009 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.009 * [taylor]: Taking taylor expansion of 1.0 in t 1.009 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.009 * [taylor]: Taking taylor expansion of t in t 1.011 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 1.011 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.011 * [taylor]: Taking taylor expansion of -1 in t 1.011 * [taylor]: Taking taylor expansion of t in t 1.012 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t 1.012 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t 1.012 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.012 * [taylor]: Taking taylor expansion of 1.0 in t 1.012 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.012 * [taylor]: Taking taylor expansion of t in t 1.017 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 1.017 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.017 * [taylor]: Taking taylor expansion of -1 in t 1.017 * [taylor]: Taking taylor expansion of t in t 1.035 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.035 * [approximate]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in (z) around 0 1.035 * [taylor]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in z 1.036 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z 1.036 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.036 * [taylor]: Taking taylor expansion of z in z 1.036 * [taylor]: Taking taylor expansion of 1.0 in z 1.037 * [taylor]: Taking taylor expansion of (sqrt z) in z 1.038 * [taylor]: Taking taylor expansion of z in z 1.039 * [taylor]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in z 1.039 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z 1.039 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.039 * [taylor]: Taking taylor expansion of z in z 1.039 * [taylor]: Taking taylor expansion of 1.0 in z 1.040 * [taylor]: Taking taylor expansion of (sqrt z) in z 1.040 * [taylor]: Taking taylor expansion of z in z 1.061 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in (z) around 0 1.062 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in z 1.062 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 1.062 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.062 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.062 * [taylor]: Taking taylor expansion of z in z 1.062 * [taylor]: Taking taylor expansion of 1.0 in z 1.063 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 1.063 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.063 * [taylor]: Taking taylor expansion of z in z 1.065 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in z 1.065 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 1.065 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.065 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.065 * [taylor]: Taking taylor expansion of z in z 1.065 * [taylor]: Taking taylor expansion of 1.0 in z 1.066 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 1.066 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.066 * [taylor]: Taking taylor expansion of z in z 1.083 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in (z) around 0 1.083 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z 1.083 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 1.083 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.083 * [taylor]: Taking taylor expansion of 1.0 in z 1.083 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.083 * [taylor]: Taking taylor expansion of z in z 1.085 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.085 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.085 * [taylor]: Taking taylor expansion of -1 in z 1.085 * [taylor]: Taking taylor expansion of z in z 1.087 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z 1.087 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 1.087 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.087 * [taylor]: Taking taylor expansion of 1.0 in z 1.087 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.087 * [taylor]: Taking taylor expansion of z in z 1.089 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.089 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.089 * [taylor]: Taking taylor expansion of -1 in z 1.089 * [taylor]: Taking taylor expansion of z in z 1.110 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.110 * [approximate]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0 1.110 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x 1.110 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 1.110 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 1.110 * [taylor]: Taking taylor expansion of x in x 1.110 * [taylor]: Taking taylor expansion of 1.0 in x 1.112 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.113 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x 1.113 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 1.113 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 1.113 * [taylor]: Taking taylor expansion of x in x 1.113 * [taylor]: Taking taylor expansion of 1.0 in x 1.115 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.115 * [taylor]: Taking taylor expansion of x in x 1.136 * [approximate]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in (x) around 0 1.136 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x 1.136 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 1.136 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 1.136 * [taylor]: Taking taylor expansion of 1.0 in x 1.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.138 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.138 * [taylor]: Taking taylor expansion of x in x 1.139 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x 1.139 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 1.139 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 1.139 * [taylor]: Taking taylor expansion of 1.0 in x 1.139 * [taylor]: Taking taylor expansion of (/ 1 x) 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.157 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0 1.157 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x 1.157 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 1.157 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.157 * [taylor]: Taking taylor expansion of 1.0 in x 1.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.157 * [taylor]: Taking taylor expansion of x in x 1.159 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.159 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.159 * [taylor]: Taking taylor expansion of -1 in x 1.159 * [taylor]: Taking taylor expansion of x in x 1.160 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x 1.160 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 1.160 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.160 * [taylor]: Taking taylor expansion of 1.0 in x 1.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.160 * [taylor]: Taking taylor expansion of x in x 1.162 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.162 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.162 * [taylor]: Taking taylor expansion of -1 in x 1.162 * [taylor]: Taking taylor expansion of x in x 1.180 * * * [progress]: simplifying candidates 1.185 * [simplify]: Simplifying using # : (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))) (fma (- (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y)))))) (fma (- (sqrt (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y))))) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (* (sqrt y) (sqrt 1)))) (fma (- (sqrt y)) (sqrt 1) (* (sqrt y) (sqrt 1))) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (* (sqrt y) 1))) (fma (- (sqrt y)) 1 (* (sqrt y) 1)) (fma (sqrt (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (sqrt (cbrt (+ y 1.0))) (- (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))) (fma (- (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (fma (sqrt (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (sqrt (cbrt (+ y 1.0))) (- (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y)))))) (fma (- (sqrt (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y))))) (fma (sqrt (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (sqrt (cbrt (+ y 1.0))) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (sqrt (cbrt (+ y 1.0))) (- (* (sqrt y) (sqrt 1)))) (fma (- (sqrt y)) (sqrt 1) (* (sqrt y) (sqrt 1))) (fma (sqrt (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (sqrt (cbrt (+ y 1.0))) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (sqrt (cbrt (+ y 1.0))) (- (* (sqrt y) 1))) (fma (- (sqrt y)) 1 (* (sqrt y) 1)) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))) (fma (- (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y)))))) (fma (- (sqrt (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y))))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt y) (sqrt 1)))) (fma (- (sqrt y)) (sqrt 1) (* (sqrt y) (sqrt 1))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt y) 1))) (fma (- (sqrt y)) 1 (* (sqrt y) 1)) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))) (fma (- (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y)))))) (fma (- (sqrt (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y))))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt y) (sqrt 1)))) (fma (- (sqrt y)) (sqrt 1) (* (sqrt y) (sqrt 1))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt y) 1))) (fma (- (sqrt y)) 1 (* (sqrt y) 1)) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))) (fma (- (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y)))))) (fma (- (sqrt (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y))))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt y) (sqrt 1)))) (fma (- (sqrt y)) (sqrt 1) (* (sqrt y) (sqrt 1))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt 1) (sqrt (+ y 1.0)) (- (* (sqrt y) 1))) (fma (- (sqrt y)) 1 (* (sqrt y) 1)) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))) (fma (- (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y)))))) (fma (- (sqrt (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y))))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt y) (sqrt 1)))) (fma (- (sqrt y)) (sqrt 1) (* (sqrt y) (sqrt 1))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0))) (- (* (sqrt y) 1))) (fma (- (sqrt y)) 1 (* (sqrt y) 1)) (fma 1 (sqrt (+ y 1.0)) (- (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))))) (fma (- (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (fma 1 (sqrt (+ y 1.0)) (- (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y)))))) (fma (- (sqrt (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (sqrt (cbrt y)) (sqrt (* (cbrt y) (cbrt y))))) (fma 1 (sqrt (+ y 1.0)) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma 1 (sqrt (+ y 1.0)) (- (* (sqrt y) (sqrt 1)))) (fma (- (sqrt y)) (sqrt 1) (* (sqrt y) (sqrt 1))) (fma 1 (sqrt (+ y 1.0)) (- (* (sqrt (sqrt y)) (sqrt (sqrt y))))) (fma (- (sqrt (sqrt y))) (sqrt (sqrt y)) (* (sqrt (sqrt y)) (sqrt (sqrt y)))) (fma 1 (sqrt (+ y 1.0)) (- (* (sqrt y) 1))) (fma (- (sqrt y)) 1 (* (sqrt y) 1)) (expm1 (- (sqrt (+ y 1.0)) (sqrt y))) (log1p (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (/ (exp (sqrt (+ y 1.0))) (exp (sqrt y))) (log (- (sqrt (+ y 1.0)) (sqrt y))) (exp (- (sqrt (+ y 1.0)) (sqrt y))) (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (* (* (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ y 1.0)) (sqrt y))) (sqrt (- (sqrt (+ y 1.0)) (sqrt y))) (sqrt (- (sqrt (+ y 1.0)) (sqrt y))) (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3)) (+ (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (+ (* (sqrt y) (sqrt y)) (* (sqrt (+ y 1.0)) (sqrt y)))) (- (sqrt y)) (- (* (sqrt (+ y 1.0)) (sqrt (+ y 1.0))) (* (sqrt y) (sqrt y))) (+ (sqrt (+ y 1.0)) (sqrt y)) (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt y)) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma 1 (sqrt (+ t 1.0)) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (expm1 (- (sqrt (+ t 1.0)) (sqrt t))) (log1p (- (sqrt (+ t 1.0)) (sqrt t))) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (/ (exp (sqrt (+ t 1.0))) (exp (sqrt t))) (log (- (sqrt (+ t 1.0)) (sqrt t))) (exp (- (sqrt (+ t 1.0)) (sqrt t))) (* (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (* (* (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t))) (- (sqrt (+ t 1.0)) (sqrt t))) (sqrt (- (sqrt (+ t 1.0)) (sqrt t))) (sqrt (- (sqrt (+ t 1.0)) (sqrt t))) (- (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)) (+ (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (+ (* (sqrt t) (sqrt t)) (* (sqrt (+ t 1.0)) (sqrt t)))) (- (sqrt t)) (- (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (sqrt t) (sqrt t))) (+ (sqrt (+ t 1.0)) (sqrt t)) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt t)) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma 1 (sqrt (+ z 1.0)) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (expm1 (- (sqrt (+ z 1.0)) (sqrt z))) (log1p (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (/ (exp (sqrt (+ z 1.0))) (exp (sqrt z))) (log (- (sqrt (+ z 1.0)) (sqrt z))) (exp (- (sqrt (+ z 1.0)) (sqrt z))) (* (cbrt (- (sqrt (+ z 1.0)) (sqrt z))) (cbrt (- (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (- (sqrt (+ z 1.0)) (sqrt z))) (* (* (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ z 1.0)) (sqrt z))) (sqrt (- (sqrt (+ z 1.0)) (sqrt z))) (sqrt (- (sqrt (+ z 1.0)) (sqrt z))) (- (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3)) (+ (* (sqrt (+ z 1.0)) (sqrt (+ z 1.0))) (+ (* (sqrt z) (sqrt z)) (* (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt z)) (- (* (sqrt (+ z 1.0)) (sqrt (+ z 1.0))) (* (sqrt z) (sqrt z))) (+ (sqrt (+ z 1.0)) (sqrt z)) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt z)) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma 1 (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (expm1 (- (sqrt (+ x 1.0)) (sqrt x))) (log1p (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (/ (exp (sqrt (+ x 1.0))) (exp (sqrt x))) (log (- (sqrt (+ x 1.0)) (sqrt x))) (exp (- (sqrt (+ x 1.0)) (sqrt x))) (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (* (* (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x))) (sqrt (- (sqrt (+ x 1.0)) (sqrt x))) (sqrt (- (sqrt (+ x 1.0)) (sqrt x))) (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3)) (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (+ (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x)))) (- (sqrt x)) (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x))) (+ (sqrt (+ x 1.0)) (sqrt x)) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt x)) (- (+ (* 1/2 (/ y (sqrt 1.0))) (sqrt 1.0)) (+ (* +nan.0 (pow y 2)) (- (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* +nan.0 y)))) (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) (- (+ (sqrt 1.0) (* 1/2 (/ t (sqrt 1.0)))) (+ (* +nan.0 t) (- (* 1/8 (/ (pow t 2) (pow (sqrt 1.0) 3))) (* +nan.0 (pow t 2))))) (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0))))) (- (+ (* 1/2 (/ z (sqrt 1.0))) (sqrt 1.0)) (+ (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (pow z 2)) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x)))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1.211 * * [simplify]: iteration 0 : 437 enodes (cost 7222 ) 1.280 * * [simplify]: iteration 1 : 967 enodes (cost 5211 ) 1.469 * * [simplify]: iteration 2 : 2573 enodes (cost 3879 ) 2.113 * * [simplify]: iteration done : 5000 enodes (cost 3871 ) 2.115 * [simplify]: Simplified to: (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (sqrt y))) (* (sqrt y) 0) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (* (- (sqrt (cbrt y))) (fabs (cbrt y)))) (* (sqrt (cbrt y)) (+ (- (fabs (cbrt y))) (fabs (cbrt y)))) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (sqrt y))) (* (sqrt y) 0) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (sqrt y))) (* (sqrt y) 0) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (sqrt y))) (* (sqrt y) 0) (fma (* (cbrt (sqrt (+ y 1.0))) (cbrt (sqrt (+ y 1.0)))) (cbrt (sqrt (+ y 1.0))) (- (sqrt y))) (* (sqrt y) 0) (- (* (fabs (cbrt (+ y 1.0))) (sqrt (cbrt (+ y 1.0)))) (sqrt y)) (* (sqrt y) 0) (fma (fabs (cbrt (+ y 1.0))) (sqrt (cbrt (+ y 1.0))) (* (- (sqrt (cbrt y))) (fabs (cbrt y)))) (* (sqrt (cbrt y)) (+ (- (fabs (cbrt y))) (fabs (cbrt y)))) (- (* (fabs (cbrt (+ y 1.0))) (sqrt (cbrt (+ y 1.0)))) (sqrt y)) (* (sqrt y) 0) (- (* (fabs (cbrt (+ y 1.0))) (sqrt (cbrt (+ y 1.0)))) (sqrt y)) (* (sqrt y) 0) (- (* (fabs (cbrt (+ y 1.0))) (sqrt (cbrt (+ y 1.0)))) (sqrt y)) (* (sqrt y) 0) (- (* (fabs (cbrt (+ y 1.0))) (sqrt (cbrt (+ y 1.0)))) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (* (fabs (cbrt y)) (sqrt (cbrt y)))) (* (sqrt (cbrt y)) (+ (- (fabs (cbrt y))) (fabs (cbrt y)))) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (* (fabs (cbrt y)) (sqrt (cbrt y)))) (* (sqrt (cbrt y)) (+ (- (fabs (cbrt y))) (fabs (cbrt y)))) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (* (fabs (cbrt y)) (sqrt (cbrt y)))) (* (sqrt (cbrt y)) (+ (- (fabs (cbrt y))) (fabs (cbrt y)))) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (* (fabs (cbrt y)) (sqrt (cbrt y)))) (* (sqrt (cbrt y)) (+ (- (fabs (cbrt y))) (fabs (cbrt y)))) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (* (fabs (cbrt y)) (sqrt (cbrt y)))) (* (sqrt (cbrt y)) (+ (- (fabs (cbrt y))) (fabs (cbrt y)))) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (- (sqrt (+ y 1.0)) (sqrt y)) (* (sqrt y) 0) (expm1 (- (sqrt (+ y 1.0)) (sqrt y))) (log1p (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (- (sqrt y)) (exp (- (sqrt (+ y 1.0)) (sqrt y))) (log (- (sqrt (+ y 1.0)) (sqrt y))) (exp (- (sqrt (+ y 1.0)) (sqrt y))) (* (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y)))) (cbrt (- (sqrt (+ y 1.0)) (sqrt y))) (pow (- (sqrt (+ y 1.0)) (sqrt y)) 3) (sqrt (- (sqrt (+ y 1.0)) (sqrt y))) (sqrt (- (sqrt (+ y 1.0)) (sqrt y))) (- (pow (sqrt (+ y 1.0)) 3) (pow (sqrt y) 3)) (+ (+ y 1.0) (fma (sqrt (+ y 1.0)) (sqrt y) y)) (- (sqrt y)) (- (+ y 1.0) y) (+ (sqrt (+ y 1.0)) (sqrt y)) (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (+ (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (sqrt (+ y 1.0))) (sqrt (sqrt y))) (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt y)) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (* (sqrt (cbrt t)) (- (fabs (cbrt t))))) (* (sqrt (cbrt t)) (+ (- (fabs (cbrt t))) (fabs (cbrt t)))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (fma (fabs (cbrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (fma (fabs (cbrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))) (* (sqrt (cbrt t)) (- (fabs (cbrt t))))) (* (sqrt (cbrt t)) (+ (- (fabs (cbrt t))) (fabs (cbrt t)))) (fma (fabs (cbrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (fma (fabs (cbrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (fma (fabs (cbrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (fma (fabs (cbrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))) (- (sqrt t))) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (* (fabs (cbrt t)) (sqrt (cbrt t)))) (* (sqrt (cbrt t)) (+ (- (fabs (cbrt t))) (fabs (cbrt t)))) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (* (fabs (cbrt t)) (sqrt (cbrt t)))) (* (sqrt (cbrt t)) (+ (- (fabs (cbrt t))) (fabs (cbrt t)))) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (* (fabs (cbrt t)) (sqrt (cbrt t)))) (* (sqrt (cbrt t)) (+ (- (fabs (cbrt t))) (fabs (cbrt t)))) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (* (fabs (cbrt t)) (sqrt (cbrt t)))) (* (sqrt (cbrt t)) (+ (- (fabs (cbrt t))) (fabs (cbrt t)))) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (* (fabs (cbrt t)) (sqrt (cbrt t)))) (* (sqrt (cbrt t)) (+ (- (fabs (cbrt t))) (fabs (cbrt t)))) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (- (sqrt (+ t 1.0)) (sqrt t)) (* (sqrt t) 0) (expm1 (- (sqrt (+ t 1.0)) (sqrt t))) (log1p (- (sqrt (+ t 1.0)) (sqrt t))) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (exp (- (sqrt (+ t 1.0)) (sqrt t))) (log (- (sqrt (+ t 1.0)) (sqrt t))) (exp (- (sqrt (+ t 1.0)) (sqrt t))) (* (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (pow (- (sqrt (+ t 1.0)) (sqrt t)) 3) (sqrt (- (sqrt (+ t 1.0)) (sqrt t))) (sqrt (- (sqrt (+ t 1.0)) (sqrt t))) (- (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)) (+ (+ 1.0 t) (fma (sqrt t) (sqrt (+ 1.0 t)) t)) (- (sqrt t)) (- (+ 1.0 t) t) (+ (sqrt (+ t 1.0)) (sqrt t)) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt t)) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (* (sqrt (cbrt z)) (- (fabs (cbrt z))))) (* (fabs (cbrt z)) (+ (- (sqrt (cbrt z))) (sqrt (cbrt z)))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (fma (fabs (cbrt (+ z 1.0))) (sqrt (cbrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (fma (fabs (cbrt (+ z 1.0))) (sqrt (cbrt (+ z 1.0))) (* (sqrt (cbrt z)) (- (fabs (cbrt z))))) (* (fabs (cbrt z)) (+ (- (sqrt (cbrt z))) (sqrt (cbrt z)))) (fma (fabs (cbrt (+ z 1.0))) (sqrt (cbrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (fma (fabs (cbrt (+ z 1.0))) (sqrt (cbrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (fma (fabs (cbrt (+ z 1.0))) (sqrt (cbrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (fma (fabs (cbrt (+ z 1.0))) (sqrt (cbrt (+ z 1.0))) (- (sqrt z))) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (* (sqrt (cbrt z)) (fabs (cbrt z)))) (* (fabs (cbrt z)) (+ (- (sqrt (cbrt z))) (sqrt (cbrt z)))) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (* (sqrt (cbrt z)) (fabs (cbrt z)))) (* (fabs (cbrt z)) (+ (- (sqrt (cbrt z))) (sqrt (cbrt z)))) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (* (sqrt (cbrt z)) (fabs (cbrt z)))) (* (fabs (cbrt z)) (+ (- (sqrt (cbrt z))) (sqrt (cbrt z)))) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (* (sqrt (cbrt z)) (fabs (cbrt z)))) (* (fabs (cbrt z)) (+ (- (sqrt (cbrt z))) (sqrt (cbrt z)))) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (* (sqrt (cbrt z)) (fabs (cbrt z)))) (* (fabs (cbrt z)) (+ (- (sqrt (cbrt z))) (sqrt (cbrt z)))) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (- (sqrt (+ 1.0 z)) (sqrt z)) (* (sqrt z) 0) (expm1 (- (sqrt (+ z 1.0)) (sqrt z))) (log1p (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (exp (- (sqrt (+ z 1.0)) (sqrt z))) (log (- (sqrt (+ z 1.0)) (sqrt z))) (exp (- (sqrt (+ z 1.0)) (sqrt z))) (* (cbrt (- (sqrt (+ z 1.0)) (sqrt z))) (cbrt (- (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (- (sqrt (+ z 1.0)) (sqrt z))) (pow (- (sqrt (+ z 1.0)) (sqrt z)) 3) (sqrt (- (sqrt (+ z 1.0)) (sqrt z))) (sqrt (- (sqrt (+ z 1.0)) (sqrt z))) (- (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3)) (+ (fma (sqrt (+ z 1.0)) (sqrt z) z) (+ 1.0 z)) (- (sqrt z)) (- (+ 1.0 z) z) (+ (sqrt (+ z 1.0)) (sqrt z)) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (+ 1.0 z)) (sqrt z)) (- (sqrt (+ 1.0 z)) (sqrt z)) (- (sqrt (+ 1.0 z)) (sqrt z)) (- (sqrt z)) (- (* (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0)))) (sqrt x)) (* (sqrt x) 0) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (* (- (sqrt (cbrt x))) (fabs (cbrt x)))) (* (sqrt (cbrt x)) (+ (- (fabs (cbrt x))) (fabs (cbrt x)))) (- (* (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0)))) (sqrt x)) (* (sqrt x) 0) (- (* (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0)))) (sqrt x)) (* (sqrt x) 0) (- (* (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0)))) (sqrt x)) (* (sqrt x) 0) (- (* (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0)))) (sqrt x)) (* (sqrt x) 0) (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x))) (* (sqrt x) 0) (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (* (- (sqrt (cbrt x))) (fabs (cbrt x)))) (* (sqrt (cbrt x)) (+ (- (fabs (cbrt x))) (fabs (cbrt x)))) (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x))) (* (sqrt x) 0) (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x))) (* (sqrt x) 0) (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x))) (* (sqrt x) 0) (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x))) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (* (sqrt (cbrt x)) (fabs (cbrt x)))) (* (sqrt (cbrt x)) (+ (- (fabs (cbrt x))) (fabs (cbrt x)))) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (* (sqrt (cbrt x)) (fabs (cbrt x)))) (* (sqrt (cbrt x)) (+ (- (fabs (cbrt x))) (fabs (cbrt x)))) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (* (sqrt (cbrt x)) (fabs (cbrt x)))) (* (sqrt (cbrt x)) (+ (- (fabs (cbrt x))) (fabs (cbrt x)))) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (* (sqrt (cbrt x)) (fabs (cbrt x)))) (* (sqrt (cbrt x)) (+ (- (fabs (cbrt x))) (fabs (cbrt x)))) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (* (sqrt (cbrt x)) (fabs (cbrt x)))) (* (sqrt (cbrt x)) (+ (- (fabs (cbrt x))) (fabs (cbrt x)))) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (- (sqrt (+ x 1.0)) (sqrt x)) (* (sqrt x) 0) (expm1 (- (sqrt (+ x 1.0)) (sqrt x))) (log1p (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (exp (- (sqrt (+ x 1.0)) (sqrt x))) (log (- (sqrt (+ x 1.0)) (sqrt x))) (exp (- (sqrt (+ x 1.0)) (sqrt x))) (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (pow (- (sqrt (+ x 1.0)) (sqrt x)) 3) (sqrt (- (sqrt (+ x 1.0)) (sqrt x))) (sqrt (- (sqrt (+ x 1.0)) (sqrt x))) (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3)) (+ (+ 1.0 x) (fma (sqrt x) (sqrt (+ 1.0 x)) x)) (- (sqrt x)) (- (+ 1.0 x) x) (+ (sqrt (+ x 1.0)) (sqrt x)) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt x)) (- (fma 1/2 (/ y (sqrt 1.0)) (sqrt 1.0)) (fma +nan.0 (pow y 2) (- (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* +nan.0 y)))) (- (- (/ +nan.0 (pow y 2)) +nan.0) (/ +nan.0 y)) (- (- (/ +nan.0 (pow y 2)) +nan.0) (/ +nan.0 y)) (- (fma (/ t (sqrt 1.0)) 1/2 (sqrt 1.0)) (fma +nan.0 t (- (* 1/8 (/ (pow t 2) (pow (sqrt 1.0) 3))) (* +nan.0 (pow t 2))))) (- (- (/ +nan.0 (pow t 2)) +nan.0) (/ +nan.0 t)) (- (- (/ +nan.0 (pow t 2)) +nan.0) (/ +nan.0 t)) (+ (- (fma 1/2 (/ z (sqrt 1.0)) (sqrt 1.0)) (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3)))) (* +nan.0 (- (pow z 2) z))) (- (- (/ +nan.0 (pow z 2)) +nan.0) (/ +nan.0 z)) (- (- (/ +nan.0 (pow z 2)) +nan.0) (/ +nan.0 z)) (- (fma (/ x (sqrt 1.0)) 1/2 (sqrt 1.0)) (fma +nan.0 (pow x 2) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x)))) (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2))) (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2))) 2.118 * * * [progress]: adding candidates to table 2.883 * * [progress]: iteration 2 / 4 2.883 * * * [progress]: picking best candidate 2.962 * * * * [pick]: Picked # 2.962 * * * [progress]: localizing error 2.989 * * * [progress]: generating rewritten candidates 2.989 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.018 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 3.045 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 3.074 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 3.116 * * * [progress]: generating series expansions 3.116 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.116 * [approximate]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in (t) around 0 3.116 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t 3.116 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t 3.116 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 3.116 * [taylor]: Taking taylor expansion of t in t 3.116 * [taylor]: Taking taylor expansion of 1.0 in t 3.119 * [taylor]: Taking taylor expansion of (sqrt t) in t 3.119 * [taylor]: Taking taylor expansion of t in t 3.124 * [taylor]: Taking taylor expansion of (- (sqrt (+ t 1.0)) (sqrt t)) in t 3.124 * [taylor]: Taking taylor expansion of (sqrt (+ t 1.0)) in t 3.124 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 3.124 * [taylor]: Taking taylor expansion of t in t 3.124 * [taylor]: Taking taylor expansion of 1.0 in t 3.126 * [taylor]: Taking taylor expansion of (sqrt t) in t 3.126 * [taylor]: Taking taylor expansion of t in t 3.148 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in (t) around 0 3.148 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t 3.148 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t 3.148 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 3.148 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.148 * [taylor]: Taking taylor expansion of t in t 3.148 * [taylor]: Taking taylor expansion of 1.0 in t 3.150 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 3.150 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.150 * [taylor]: Taking taylor expansion of t in t 3.151 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 t) 1.0)) (sqrt (/ 1 t))) in t 3.151 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 t) 1.0)) in t 3.151 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 3.151 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.151 * [taylor]: Taking taylor expansion of t in t 3.151 * [taylor]: Taking taylor expansion of 1.0 in t 3.153 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 3.153 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.153 * [taylor]: Taking taylor expansion of t in t 3.170 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in (t) around 0 3.170 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t 3.170 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t 3.170 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 3.170 * [taylor]: Taking taylor expansion of 1.0 in t 3.170 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.170 * [taylor]: Taking taylor expansion of t in t 3.172 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 3.172 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.172 * [taylor]: Taking taylor expansion of -1 in t 3.172 * [taylor]: Taking taylor expansion of t in t 3.173 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 t))) (sqrt (/ -1 t))) in t 3.173 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 t))) in t 3.173 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 3.173 * [taylor]: Taking taylor expansion of 1.0 in t 3.173 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.173 * [taylor]: Taking taylor expansion of t in t 3.175 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 3.175 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.175 * [taylor]: Taking taylor expansion of -1 in t 3.175 * [taylor]: Taking taylor expansion of t in t 3.192 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 3.192 * [approximate]: Taking taylor expansion of 1.0 in (y) around 0 3.193 * [taylor]: Taking taylor expansion of 1.0 in y 3.193 * [taylor]: Taking taylor expansion of 1.0 in y 3.193 * [approximate]: Taking taylor expansion of 1.0 in (y) around 0 3.193 * [taylor]: Taking taylor expansion of 1.0 in y 3.193 * [taylor]: Taking taylor expansion of 1.0 in y 3.193 * [approximate]: Taking taylor expansion of 1.0 in (y) around 0 3.193 * [taylor]: Taking taylor expansion of 1.0 in y 3.193 * [taylor]: Taking taylor expansion of 1.0 in y 3.193 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 3.193 * [approximate]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in (z) around 0 3.193 * [taylor]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in z 3.193 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z 3.193 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 3.193 * [taylor]: Taking taylor expansion of z in z 3.193 * [taylor]: Taking taylor expansion of 1.0 in z 3.195 * [taylor]: Taking taylor expansion of (sqrt z) in z 3.195 * [taylor]: Taking taylor expansion of z in z 3.196 * [taylor]: Taking taylor expansion of (- (sqrt (+ z 1.0)) (sqrt z)) in z 3.196 * [taylor]: Taking taylor expansion of (sqrt (+ z 1.0)) in z 3.196 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 3.197 * [taylor]: Taking taylor expansion of z in z 3.197 * [taylor]: Taking taylor expansion of 1.0 in z 3.198 * [taylor]: Taking taylor expansion of (sqrt z) in z 3.198 * [taylor]: Taking taylor expansion of z in z 3.223 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in (z) around 0 3.223 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in z 3.223 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 3.223 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.223 * [taylor]: Taking taylor expansion of z in z 3.224 * [taylor]: Taking taylor expansion of 1.0 in z 3.225 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 3.225 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.225 * [taylor]: Taking taylor expansion of z in z 3.226 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0)) (sqrt (/ 1 z))) in z 3.226 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z 3.226 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.226 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.226 * [taylor]: Taking taylor expansion of z in z 3.227 * [taylor]: Taking taylor expansion of 1.0 in z 3.228 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 3.228 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.228 * [taylor]: Taking taylor expansion of z in z 3.245 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in (z) around 0 3.245 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z 3.245 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 3.245 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 3.245 * [taylor]: Taking taylor expansion of 1.0 in z 3.245 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.245 * [taylor]: Taking taylor expansion of z in z 3.247 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.247 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.247 * [taylor]: Taking taylor expansion of -1 in z 3.247 * [taylor]: Taking taylor expansion of z in z 3.248 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 z))) (sqrt (/ -1 z))) in z 3.248 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z 3.248 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 3.249 * [taylor]: Taking taylor expansion of 1.0 in z 3.249 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.249 * [taylor]: Taking taylor expansion of z in z 3.250 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.250 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.250 * [taylor]: Taking taylor expansion of -1 in z 3.250 * [taylor]: Taking taylor expansion of z in z 3.268 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 3.268 * [approximate]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0 3.268 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x 3.268 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 3.268 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 3.268 * [taylor]: Taking taylor expansion of x in x 3.268 * [taylor]: Taking taylor expansion of 1.0 in x 3.270 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.270 * [taylor]: Taking taylor expansion of x in x 3.271 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x 3.271 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 3.271 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 3.271 * [taylor]: Taking taylor expansion of x in x 3.271 * [taylor]: Taking taylor expansion of 1.0 in x 3.273 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.273 * [taylor]: Taking taylor expansion of x in x 3.294 * [approximate]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in (x) around 0 3.294 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x 3.294 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 3.294 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 3.294 * [taylor]: Taking taylor expansion of 1.0 in x 3.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.294 * [taylor]: Taking taylor expansion of x in x 3.295 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.296 * [taylor]: Taking taylor expansion of x in x 3.297 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x 3.297 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 3.297 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 3.297 * [taylor]: Taking taylor expansion of 1.0 in x 3.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.300 * [taylor]: Taking taylor expansion of x in x 3.302 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.302 * [taylor]: Taking taylor expansion of x in x 3.319 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0 3.319 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x 3.319 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 3.319 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.319 * [taylor]: Taking taylor expansion of 1.0 in x 3.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.319 * [taylor]: Taking taylor expansion of x in x 3.321 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.321 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.321 * [taylor]: Taking taylor expansion of -1 in x 3.321 * [taylor]: Taking taylor expansion of x in x 3.322 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x 3.323 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 3.323 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.323 * [taylor]: Taking taylor expansion of 1.0 in x 3.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.323 * [taylor]: Taking taylor expansion of x in x 3.324 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.324 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.324 * [taylor]: Taking taylor expansion of -1 in x 3.324 * [taylor]: Taking taylor expansion of x in x 3.341 * * * [progress]: simplifying candidates 3.346 * [simplify]: Simplifying using # : (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0)))) (cbrt (sqrt (+ t 1.0))) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (sqrt (cbrt (+ t 1.0))) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt 1) (sqrt (+ t 1.0)) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt (+ t 1.0))) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (fma 1 (sqrt (+ t 1.0)) (- (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))))) (fma (- (cbrt (sqrt t))) (* (cbrt (sqrt t)) (cbrt (sqrt t))) (* (cbrt (sqrt t)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t)))))) (fma (- (sqrt (cbrt t))) (sqrt (* (cbrt t) (cbrt t))) (* (sqrt (cbrt t)) (sqrt (* (cbrt t) (cbrt t))))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt t) (sqrt 1)))) (fma (- (sqrt t)) (sqrt 1) (* (sqrt t) (sqrt 1))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt (sqrt t)) (sqrt (sqrt t))))) (fma (- (sqrt (sqrt t))) (sqrt (sqrt t)) (* (sqrt (sqrt t)) (sqrt (sqrt t)))) (fma 1 (sqrt (+ t 1.0)) (- (* (sqrt t) 1))) (fma (- (sqrt t)) 1 (* (sqrt t) 1)) (expm1 (- (sqrt (+ t 1.0)) (sqrt t))) (log1p (- (sqrt (+ t 1.0)) (sqrt t))) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (- (sqrt t)) (/ (exp (sqrt (+ t 1.0))) (exp (sqrt t))) (log (- (sqrt (+ t 1.0)) (sqrt t))) (exp (- (sqrt (+ t 1.0)) (sqrt t))) (* (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t)))) (cbrt (- (sqrt (+ t 1.0)) (sqrt t))) (* (* (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t))) (- (sqrt (+ t 1.0)) (sqrt t))) (sqrt (- (sqrt (+ t 1.0)) (sqrt t))) (sqrt (- (sqrt (+ t 1.0)) (sqrt t))) (- (pow (sqrt (+ t 1.0)) 3) (pow (sqrt t) 3)) (+ (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (+ (* (sqrt t) (sqrt t)) (* (sqrt (+ t 1.0)) (sqrt t)))) (- (sqrt t)) (- (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (sqrt t) (sqrt t))) (+ (sqrt (+ t 1.0)) (sqrt t)) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (+ (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (sqrt (+ t 1.0))) (sqrt (sqrt t))) (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt (+ t 1.0)) (sqrt t)) (- (sqrt t)) (fma (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (cbrt (+ y 1.0)) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (fma (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (cbrt (+ y 1.0)) (- (* (sqrt y) (sqrt y)))) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (fma (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (cbrt (+ y 1.0)) (- (* y 1))) (fma (- y) 1 (* y 1)) (fma (sqrt (+ y 1.0)) (sqrt (+ y 1.0)) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (fma (sqrt (+ y 1.0)) (sqrt (+ y 1.0)) (- (* (sqrt y) (sqrt y)))) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (fma (sqrt (+ y 1.0)) (sqrt (+ y 1.0)) (- (* y 1))) (fma (- y) 1 (* y 1)) (fma 1 (+ y 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (fma 1 (+ y 1.0) (- (* (sqrt y) (sqrt y)))) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (fma 1 (+ y 1.0) (- (* y 1))) (fma (- y) 1 (* y 1)) (fma 1 (+ y 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (fma 1 (+ y 1.0) (- (* (sqrt y) (sqrt y)))) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (fma 1 (+ y 1.0) (- (* y 1))) (fma (- y) 1 (* y 1)) (expm1 (- (+ y 1.0) y)) (log1p (- (+ y 1.0) y)) (- y) (- y) (- y) (- y) (/ (* (exp y) (exp 1.0)) (exp y)) (/ (exp (+ y 1.0)) (exp y)) (log (- (+ y 1.0) y)) (exp (- (+ y 1.0) y)) (* (cbrt (- (+ y 1.0) y)) (cbrt (- (+ y 1.0) y))) (cbrt (- (+ y 1.0) y)) (* (* (- (+ y 1.0) y) (- (+ y 1.0) y)) (- (+ y 1.0) y)) (sqrt (- (+ y 1.0) y)) (sqrt (- (+ y 1.0) y)) (- (pow (+ y 1.0) 3) (pow y 3)) (+ (* (+ y 1.0) (+ y 1.0)) (+ (* y y) (* (+ y 1.0) y))) (- y) (- (* (+ y 1.0) (+ y 1.0)) (* y y)) (+ (+ y 1.0) y) (+ (sqrt (+ y 1.0)) (sqrt y)) (- (sqrt (+ y 1.0)) (sqrt y)) (- (+ y 1.0) y) (- (+ y 1.0) y) (- 1.0 y) (- y) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (* (cbrt (sqrt (+ z 1.0))) (cbrt (sqrt (+ z 1.0)))) (cbrt (sqrt (+ z 1.0))) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (sqrt (cbrt (+ z 1.0))) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt 1) (sqrt (+ z 1.0)) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt (+ z 1.0))) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (fma 1 (sqrt (+ z 1.0)) (- (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (fma (- (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z)))))) (fma (- (sqrt (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (sqrt (cbrt z)) (sqrt (* (cbrt z) (cbrt z))))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt z) (sqrt 1)))) (fma (- (sqrt z)) (sqrt 1) (* (sqrt z) (sqrt 1))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt (sqrt z)) (sqrt (sqrt z))))) (fma (- (sqrt (sqrt z))) (sqrt (sqrt z)) (* (sqrt (sqrt z)) (sqrt (sqrt z)))) (fma 1 (sqrt (+ z 1.0)) (- (* (sqrt z) 1))) (fma (- (sqrt z)) 1 (* (sqrt z) 1)) (expm1 (- (sqrt (+ z 1.0)) (sqrt z))) (log1p (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (- (sqrt z)) (/ (exp (sqrt (+ z 1.0))) (exp (sqrt z))) (log (- (sqrt (+ z 1.0)) (sqrt z))) (exp (- (sqrt (+ z 1.0)) (sqrt z))) (* (cbrt (- (sqrt (+ z 1.0)) (sqrt z))) (cbrt (- (sqrt (+ z 1.0)) (sqrt z)))) (cbrt (- (sqrt (+ z 1.0)) (sqrt z))) (* (* (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ z 1.0)) (sqrt z))) (sqrt (- (sqrt (+ z 1.0)) (sqrt z))) (sqrt (- (sqrt (+ z 1.0)) (sqrt z))) (- (pow (sqrt (+ z 1.0)) 3) (pow (sqrt z) 3)) (+ (* (sqrt (+ z 1.0)) (sqrt (+ z 1.0))) (+ (* (sqrt z) (sqrt z)) (* (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt z)) (- (* (sqrt (+ z 1.0)) (sqrt (+ z 1.0))) (* (sqrt z) (sqrt z))) (+ (sqrt (+ z 1.0)) (sqrt z)) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (+ (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (sqrt (+ z 1.0))) (sqrt (sqrt z))) (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt (+ z 1.0)) (sqrt z)) (- (sqrt z)) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (fma 1 (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))) (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1)))) (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x))))) (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x)))) (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt x) 1))) (fma (- (sqrt x)) 1 (* (sqrt x) 1)) (expm1 (- (sqrt (+ x 1.0)) (sqrt x))) (log1p (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (- (sqrt x)) (/ (exp (sqrt (+ x 1.0))) (exp (sqrt x))) (log (- (sqrt (+ x 1.0)) (sqrt x))) (exp (- (sqrt (+ x 1.0)) (sqrt x))) (* (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x)))) (cbrt (- (sqrt (+ x 1.0)) (sqrt x))) (* (* (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x))) (sqrt (- (sqrt (+ x 1.0)) (sqrt x))) (sqrt (- (sqrt (+ x 1.0)) (sqrt x))) (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3)) (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (+ (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x)))) (- (sqrt x)) (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x))) (+ (sqrt (+ x 1.0)) (sqrt x)) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (+ (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt x))) (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt x)) (- (+ (sqrt 1.0) (* 1/2 (/ t (sqrt 1.0)))) (+ (* +nan.0 t) (- (* 1/8 (/ (pow t 2) (pow (sqrt 1.0) 3))) (* +nan.0 (pow t 2))))) (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 t)) (- (+ (* +nan.0 (/ 1 (pow t 2))) (- +nan.0))))) 1.0 1.0 1.0 (- (+ (* 1/2 (/ z (sqrt 1.0))) (sqrt 1.0)) (+ (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3))) (- (+ (* +nan.0 (pow z 2)) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x)))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 3.365 * * [simplify]: iteration 0 : 389 enodes (cost 5903 )