4.042 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) x) 0.269 * * [simplify]: iteration 0 : 4596 enodes (cost 25 ) 0.269 * * [simplify]: iteration 1 : 4596 enodes (cost 25 ) 0.270 * [simplify]: Simplified to: (-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) x) 0.270 * * [progress]: iteration 1 / 4 0.270 * * * [progress]: picking best candidate 0.271 * * * * [pick]: Picked # 0.271 * * * [progress]: localizing error 0.282 * * * [progress]: generating rewritten candidates 0.282 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.289 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 0.298 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 0.301 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.306 * * * [progress]: generating series expansions 0.306 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.307 * [approximate]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1))) in (x) around 0 0.307 * [taylor]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1))) in x 0.307 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.307 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.307 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.307 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1)) in x 0.307 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (pow x 2)) in x 0.307 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.307 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 x) 1) in x 0.307 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 x) in x 0.307 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of 1 in x 0.308 * [taylor]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1))) in x 0.308 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.308 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.308 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.308 * [taylor]: Taking taylor expansion of x in x 0.308 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.308 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1)) in x 0.308 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (pow x 2)) in x 0.308 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.308 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.308 * [taylor]: Taking taylor expansion of x in x 0.308 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 x) 1) in x 0.308 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 x) in x 0.308 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.308 * [taylor]: Taking taylor expansion of x in x 0.308 * [taylor]: Taking taylor expansion of 1 in x 0.312 * [approximate]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) in (x) around 0 0.312 * [taylor]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) in x 0.312 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.312 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.312 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.312 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1)) in x 0.312 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.312 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.312 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1) in x 0.312 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.312 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of 1 in x 0.313 * [taylor]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) in x 0.313 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.313 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.313 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.313 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1)) in x 0.313 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.313 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.313 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.313 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1) in x 0.313 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.313 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of 1 in x 0.320 * [approximate]: Taking taylor expansion of (/ (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x)))) in (x) around 0 0.320 * [taylor]: Taking taylor expansion of (/ (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x)))) in x 0.320 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.320 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.320 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.320 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.320 * [taylor]: Taking taylor expansion of x in x 0.320 * [taylor]: Taking taylor expansion of (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x))) in x 0.320 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) in x 0.320 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.320 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.320 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.320 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.320 * [taylor]: Taking taylor expansion of x in x 0.320 * [taylor]: Taking taylor expansion of 1 in x 0.320 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.320 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (/ (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x)))) in x 0.321 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.321 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.321 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.321 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x))) in x 0.321 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) in x 0.321 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.321 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.321 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of 1 in x 0.321 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.321 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.327 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 0.327 * [approximate]: Taking taylor expansion of (* x (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992)) in (x) around 0 0.327 * [taylor]: Taking taylor expansion of (* x (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992)) in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) in x 0.327 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 x) in x 0.327 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.327 * [taylor]: Taking taylor expansion of (* x (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992)) in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) in x 0.327 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 x) in x 0.327 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.336 * [approximate]: Taking taylor expansion of (/ (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) x) in (x) around 0 0.336 * [taylor]: Taking taylor expansion of (/ (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) x) in x 0.336 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) in x 0.336 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.336 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of (/ (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) x) in x 0.336 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) in x 0.336 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.336 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.348 * [approximate]: Taking taylor expansion of (* -1 (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x)) in (x) around 0 0.348 * [taylor]: Taking taylor expansion of (* -1 (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x)) in x 0.348 * [taylor]: Taking taylor expansion of -1 in x 0.348 * [taylor]: Taking taylor expansion of (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x) in x 0.348 * [taylor]: Taking taylor expansion of (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) in x 0.348 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.348 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.348 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.349 * [taylor]: Taking taylor expansion of (* -1 (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x)) in x 0.349 * [taylor]: Taking taylor expansion of -1 in x 0.349 * [taylor]: Taking taylor expansion of (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x) in x 0.349 * [taylor]: Taking taylor expansion of (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) in x 0.349 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.349 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.349 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.349 * [taylor]: Taking taylor expansion of x in x 0.349 * [taylor]: Taking taylor expansion of x in x 0.364 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 0.364 * [approximate]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) in (x) around 0 0.364 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) in x 0.364 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 x) in x 0.364 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.364 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) in x 0.364 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 x) in x 0.364 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.368 * [approximate]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) in (x) around 0 0.368 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) in x 0.368 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.368 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.368 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) in x 0.368 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.368 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.376 * [approximate]: Taking taylor expansion of (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) in (x) around 0 0.376 * [taylor]: Taking taylor expansion of (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) in x 0.376 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.376 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.376 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.376 * [taylor]: Taking taylor expansion of x in x 0.376 * [taylor]: Taking taylor expansion of (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) in x 0.376 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.376 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.376 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.376 * [taylor]: Taking taylor expansion of x in x 0.384 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 0.384 * [approximate]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in (x) around 0 0.384 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.384 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.384 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.384 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.384 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.384 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.388 * [approximate]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in (x) around 0 0.388 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.388 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.388 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.388 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.388 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.388 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.388 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.388 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.395 * [approximate]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in (x) around 0 0.395 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.395 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.395 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.395 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.395 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.395 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.395 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.395 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.403 * * * [progress]: simplifying candidates 0.404 * [simplify]: Simplifying using # : (-.f64 (log.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (log.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (exp.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (log.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (*.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (cbrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (cbrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (cbrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (*.f64 (*.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (neg.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (neg.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 1) (/.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) 1) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 1 1) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 1 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (+.f64 (*.f64 162377988252285/70368744177664 162377988252285/70368744177664) (-.f64 (*.f64 (*.f64 x 609359547581365/2251799813685248) (*.f64 x 609359547581365/2251799813685248)) (*.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 (pow.f64 1 3) (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (-.f64 (*.f64 1 1) (*.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) 1) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (+.f64 (log.f64 x) (log.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (exp.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (log.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (*.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 8937753748486939/9007199254740992 x) (*.f64 (*.f64 x 3228900788839551/72057594037927936) x) (*.f64 x 8937753748486939/9007199254740992) (*.f64 x (*.f64 x 3228900788839551/72057594037927936)) (*.f64 x (+.f64 (pow.f64 8937753748486939/9007199254740992 3) (pow.f64 (*.f64 x 3228900788839551/72057594037927936) 3))) (*.f64 x (-.f64 (*.f64 8937753748486939/9007199254740992 8937753748486939/9007199254740992) (*.f64 (*.f64 x 3228900788839551/72057594037927936) (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (cbrt.f64 x) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 (sqrt.f64 x) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (*.f64 (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 x (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 x 1) (*.f64 (exp.f64 8937753748486939/9007199254740992) (exp.f64 (*.f64 x 3228900788839551/72057594037927936))) (exp.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (log.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 (*.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (+.f64 (pow.f64 8937753748486939/9007199254740992 3) (pow.f64 (*.f64 x 3228900788839551/72057594037927936) 3)) (+.f64 (*.f64 8937753748486939/9007199254740992 8937753748486939/9007199254740992) (-.f64 (*.f64 (*.f64 x 3228900788839551/72057594037927936) (*.f64 x 3228900788839551/72057594037927936)) (*.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (-.f64 (*.f64 8937753748486939/9007199254740992 8937753748486939/9007199254740992) (*.f64 (*.f64 x 3228900788839551/72057594037927936) (*.f64 x 3228900788839551/72057594037927936))) (-.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (*.f64 (exp.f64 162377988252285/70368744177664) (exp.f64 (*.f64 x 609359547581365/2251799813685248))) (exp.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (log.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (*.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 (pow.f64 162377988252285/70368744177664 3) (pow.f64 (*.f64 x 609359547581365/2251799813685248) 3)) (+.f64 (*.f64 162377988252285/70368744177664 162377988252285/70368744177664) (-.f64 (*.f64 (*.f64 x 609359547581365/2251799813685248) (*.f64 x 609359547581365/2251799813685248)) (*.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (-.f64 (*.f64 162377988252285/70368744177664 162377988252285/70368744177664) (*.f64 (*.f64 x 609359547581365/2251799813685248) (*.f64 x 609359547581365/2251799813685248))) (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (-.f64 (+.f64 (*.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (pow.f64 x 2)) 162377988252285/70368744177664) (*.f64 1279775008709747813467536880175/633825300114114700748351602688 x)) (-.f64 (+.f64 (*.f64 2785643646086240/461271541262793 (/.f64 1 x)) (*.f64 8109529177131686510913898190411475165306448148480/4809124975201980649343116668831465267072571593 (/.f64 1 (pow.f64 x 3)))) (*.f64 122481222331966930855593903381760/1489400043452667816519603125943 (/.f64 1 (pow.f64 x 2)))) (-.f64 (+.f64 (*.f64 2785643646086240/461271541262793 (/.f64 1 x)) (*.f64 8109529177131686510913898190411475165306448148480/4809124975201980649343116668831465267072571593 (/.f64 1 (pow.f64 x 3)))) (*.f64 122481222331966930855593903381760/1489400043452667816519603125943 (/.f64 1 (pow.f64 x 2)))) (+.f64 (*.f64 3228900788839551/72057594037927936 (pow.f64 x 2)) (*.f64 8937753748486939/9007199254740992 x)) (+.f64 (*.f64 3228900788839551/72057594037927936 (pow.f64 x 2)) (*.f64 8937753748486939/9007199254740992 x)) (+.f64 (*.f64 3228900788839551/72057594037927936 (pow.f64 x 2)) (*.f64 8937753748486939/9007199254740992 x)) (+.f64 (*.f64 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) (+.f64 (*.f64 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) (+.f64 (*.f64 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) (+.f64 (*.f64 609359547581365/2251799813685248 x) 162377988252285/70368744177664) (+.f64 (*.f64 609359547581365/2251799813685248 x) 162377988252285/70368744177664) (+.f64 (*.f64 609359547581365/2251799813685248 x) 162377988252285/70368744177664) 0.490 * * [simplify]: iteration 0 : 4835 enodes (cost 1675 ) 0.490 * * [simplify]: iteration 1 : 4835 enodes (cost 1675 ) 0.500 * [simplify]: Simplified to: (log.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (exp.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (log.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (pow.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) 3) (*.f64 (cbrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (cbrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (cbrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (pow.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) 3) (sqrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (-.f64 -162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (-.f64 -1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (/.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) 1 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 1 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (+.f64 26366611068859205468807721225/4951760157141521099596496896 (*.f64 x (-.f64 (*.f64 x 371319058228565835421295263225/5070602400912917605986812821504) 98946577458584588455184669025/158456325028528675187087900672)))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (-.f64 1 (*.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (log.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (exp.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (log.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3) (*.f64 (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3) (sqrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 x 8937753748486939/9007199254740992) (*.f64 x (*.f64 x 3228900788839551/72057594037927936)) (*.f64 x 8937753748486939/9007199254740992) (*.f64 x (*.f64 x 3228900788839551/72057594037927936)) (*.f64 x (+.f64 713978533790600327225235204255413055979433154019/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 3228900788839551/72057594037927936) 3))) (-.f64 (*.f64 x 79883442068592329248831853589721/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 10425800304168674715637221881601/5192296858534827628530496329220096)) (*.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (cbrt.f64 x)) (*.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (sqrt.f64 x)) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (*.f64 (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 x (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) x (exp.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (exp.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (log.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (pow.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) 3) (*.f64 (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (+.f64 713978533790600327225235204255413055979433154019/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 3228900788839551/72057594037927936) 3)) (+.f64 79883442068592329248831853589721/81129638414606681695789005144064 (*.f64 x (-.f64 (*.f64 x 10425800304168674715637221881601/5192296858534827628530496329220096) 28859120128943131242103890124389/649037107316853453566312041152512))) (-.f64 79883442068592329248831853589721/81129638414606681695789005144064 (*.f64 x (*.f64 x 10425800304168674715637221881601/5192296858534827628530496329220096))) (-.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (exp.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (exp.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (log.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (pow.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) 3) (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 4281357262391787712810739183078551249249125/348449143727040986586495598010130648530944 (pow.f64 (*.f64 x 609359547581365/2251799813685248) 3)) (+.f64 26366611068859205468807721225/4951760157141521099596496896 (*.f64 x (-.f64 (*.f64 x 371319058228565835421295263225/5070602400912917605986812821504) 98946577458584588455184669025/158456325028528675187087900672))) (-.f64 26366611068859205468807721225/4951760157141521099596496896 (*.f64 x (*.f64 x 371319058228565835421295263225/5070602400912917605986812821504))) (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 162377988252285/70368744177664 (*.f64 x (+.f64 (*.f64 x 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496) -1279775008709747813467536880175/633825300114114700748351602688))) (-.f64 (+.f64 (/.f64 2785643646086240/461271541262793 x) (/.f64 8109529177131686510913898190411475165306448148480/4809124975201980649343116668831465267072571593 (pow.f64 x 3))) (/.f64 122481222331966930855593903381760/1489400043452667816519603125943 (*.f64 x x))) (-.f64 (+.f64 (/.f64 2785643646086240/461271541262793 x) (/.f64 8109529177131686510913898190411475165306448148480/4809124975201980649343116668831465267072571593 (pow.f64 x 3))) (/.f64 122481222331966930855593903381760/1489400043452667816519603125943 (*.f64 x x))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) 0.503 * * * [progress]: adding candidates to table 0.604 * * [progress]: iteration 2 / 4 0.604 * * * [progress]: picking best candidate 0.606 * * * * [pick]: Picked # 0.607 * * * [progress]: localizing error 0.623 * * * [progress]: generating rewritten candidates 0.623 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.642 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.649 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 0.655 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.663 * * * [progress]: generating series expansions 0.663 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.664 * [approximate]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1))) in (x) around 0 0.664 * [taylor]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1))) in x 0.664 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.664 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.664 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.664 * [taylor]: Taking taylor expansion of x in x 0.664 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.664 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1)) in x 0.664 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (pow x 2)) in x 0.664 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.664 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.664 * [taylor]: Taking taylor expansion of x in x 0.664 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 x) 1) in x 0.664 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 x) in x 0.664 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.664 * [taylor]: Taking taylor expansion of x in x 0.664 * [taylor]: Taking taylor expansion of 1 in x 0.665 * [taylor]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1))) in x 0.665 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.665 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.665 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.665 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.665 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1)) in x 0.665 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (pow x 2)) in x 0.665 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.665 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.665 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 x) 1) in x 0.665 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 x) in x 0.665 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.665 * [taylor]: Taking taylor expansion of 1 in x 0.669 * [approximate]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) in (x) around 0 0.669 * [taylor]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) in x 0.669 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.669 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.669 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.670 * [taylor]: Taking taylor expansion of x in x 0.670 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.670 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1)) in x 0.670 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.670 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.670 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.670 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.670 * [taylor]: Taking taylor expansion of x in x 0.670 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1) in x 0.670 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.670 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.670 * [taylor]: Taking taylor expansion of x in x 0.670 * [taylor]: Taking taylor expansion of 1 in x 0.670 * [taylor]: Taking taylor expansion of (/ (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) in x 0.670 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.670 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.670 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.670 * [taylor]: Taking taylor expansion of x in x 0.670 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.670 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1)) in x 0.671 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.671 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.671 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.671 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.671 * [taylor]: Taking taylor expansion of x in x 0.671 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1) in x 0.671 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.671 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.671 * [taylor]: Taking taylor expansion of x in x 0.671 * [taylor]: Taking taylor expansion of 1 in x 0.678 * [approximate]: Taking taylor expansion of (/ (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x)))) in (x) around 0 0.678 * [taylor]: Taking taylor expansion of (/ (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x)))) in x 0.678 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.678 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.678 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.678 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.678 * [taylor]: Taking taylor expansion of x in x 0.678 * [taylor]: Taking taylor expansion of (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x))) in x 0.678 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) in x 0.678 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.678 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.678 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.678 * [taylor]: Taking taylor expansion of x in x 0.679 * [taylor]: Taking taylor expansion of 1 in x 0.679 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.679 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.679 * [taylor]: Taking taylor expansion of (/ (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x)))) in x 0.679 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.679 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.679 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.679 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.679 * [taylor]: Taking taylor expansion of (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x))) in x 0.679 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) in x 0.679 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.679 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.679 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.680 * [taylor]: Taking taylor expansion of 1 in x 0.680 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.680 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.680 * [taylor]: Taking taylor expansion of x in x 0.686 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.687 * [approximate]: Taking taylor expansion of (* (sqrt (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664)) (/ 1 (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1)))) in (x) around 0 0.687 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664)) (/ 1 (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1)))) in x 0.687 * [taylor]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664)) in x 0.687 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.687 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.687 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.687 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.688 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1))) in x 0.688 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1)) in x 0.688 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (pow x 2)) in x 0.688 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.688 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 x) 1) in x 0.688 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 x) in x 0.688 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of 1 in x 0.688 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664)) (/ 1 (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1)))) in x 0.688 * [taylor]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664)) in x 0.688 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.688 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.688 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.689 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1))) in x 0.689 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (pow x 2)) (+ (* 8937753748486939/9007199254740992 x) 1)) in x 0.689 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (pow x 2)) in x 0.689 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.689 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.689 * [taylor]: Taking taylor expansion of x in x 0.689 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 x) 1) in x 0.689 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 x) in x 0.689 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.689 * [taylor]: Taking taylor expansion of x in x 0.689 * [taylor]: Taking taylor expansion of 1 in x 0.699 * [approximate]: Taking taylor expansion of (* (/ 1 (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) (sqrt (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664))) in (x) around 0 0.699 * [taylor]: Taking taylor expansion of (* (/ 1 (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) (sqrt (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664))) in x 0.699 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) in x 0.699 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1)) in x 0.699 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.699 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.699 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.699 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.699 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1) in x 0.700 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.700 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [taylor]: Taking taylor expansion of 1 in x 0.700 * [taylor]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664)) in x 0.700 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.700 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.700 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.701 * [taylor]: Taking taylor expansion of (* (/ 1 (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) (sqrt (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664))) in x 0.701 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1))) in x 0.701 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1)) in x 0.701 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.701 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.701 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.701 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of (+ (* 8937753748486939/9007199254740992 (/ 1 x)) 1) in x 0.701 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.701 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of 1 in x 0.701 * [taylor]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664)) in x 0.701 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.701 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.701 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.702 * [taylor]: Taking taylor expansion of x in x 0.702 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.714 * [approximate]: Taking taylor expansion of (* (sqrt (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x)))) (/ 1 (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x))))) in (x) around 0 0.715 * [taylor]: Taking taylor expansion of (* (sqrt (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x)))) (/ 1 (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x))))) in x 0.715 * [taylor]: Taking taylor expansion of (sqrt (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x)))) in x 0.715 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.715 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.715 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x)))) in x 0.715 * [taylor]: Taking taylor expansion of (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x))) in x 0.715 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) in x 0.715 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.715 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.715 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of 1 in x 0.715 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (* (sqrt (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x)))) (/ 1 (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x))))) in x 0.716 * [taylor]: Taking taylor expansion of (sqrt (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x)))) in x 0.716 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.716 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.716 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x)))) in x 0.716 * [taylor]: Taking taylor expansion of (- (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) (* 8937753748486939/9007199254740992 (/ 1 x))) in x 0.716 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) 1) in x 0.716 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 (pow x 2))) in x 0.716 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.716 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of 1 in x 0.716 * [taylor]: Taking taylor expansion of (* 8937753748486939/9007199254740992 (/ 1 x)) in x 0.717 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.717 * [taylor]: Taking taylor expansion of x in x 0.730 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 0.730 * [approximate]: Taking taylor expansion of (* x (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992)) in (x) around 0 0.730 * [taylor]: Taking taylor expansion of (* x (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992)) in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.730 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) in x 0.730 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 x) in x 0.730 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.730 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.730 * [taylor]: Taking taylor expansion of (* x (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992)) in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.730 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 x) 8937753748486939/9007199254740992) in x 0.730 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 x) in x 0.730 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.730 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.739 * [approximate]: Taking taylor expansion of (/ (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) x) in (x) around 0 0.739 * [taylor]: Taking taylor expansion of (/ (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) x) in x 0.739 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) in x 0.739 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.739 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of (/ (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) x) in x 0.739 * [taylor]: Taking taylor expansion of (+ (* 3228900788839551/72057594037927936 (/ 1 x)) 8937753748486939/9007199254740992) in x 0.739 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.739 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.739 * [taylor]: Taking taylor expansion of x in x 0.751 * [approximate]: Taking taylor expansion of (* -1 (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x)) in (x) around 0 0.751 * [taylor]: Taking taylor expansion of (* -1 (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x)) in x 0.751 * [taylor]: Taking taylor expansion of -1 in x 0.751 * [taylor]: Taking taylor expansion of (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x) in x 0.751 * [taylor]: Taking taylor expansion of (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) in x 0.751 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.751 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.751 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.751 * [taylor]: Taking taylor expansion of (* -1 (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x)) in x 0.751 * [taylor]: Taking taylor expansion of -1 in x 0.751 * [taylor]: Taking taylor expansion of (/ (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) x) in x 0.751 * [taylor]: Taking taylor expansion of (- 8937753748486939/9007199254740992 (* 3228900788839551/72057594037927936 (/ 1 x))) in x 0.752 * [taylor]: Taking taylor expansion of 8937753748486939/9007199254740992 in x 0.752 * [taylor]: Taking taylor expansion of (* 3228900788839551/72057594037927936 (/ 1 x)) in x 0.752 * [taylor]: Taking taylor expansion of 3228900788839551/72057594037927936 in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.766 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.767 * [approximate]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664)) in (x) around 0 0.767 * [taylor]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664)) in x 0.767 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.767 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.767 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.767 * [taylor]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664)) in x 0.767 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 x) 162377988252285/70368744177664) in x 0.767 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 x) in x 0.768 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.768 * [taylor]: Taking taylor expansion of x in x 0.768 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.771 * [approximate]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664)) in (x) around 0 0.771 * [taylor]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664)) in x 0.771 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.771 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.771 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.771 * [taylor]: Taking taylor expansion of x in x 0.771 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.771 * [taylor]: Taking taylor expansion of (sqrt (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664)) in x 0.771 * [taylor]: Taking taylor expansion of (+ (* 609359547581365/2251799813685248 (/ 1 x)) 162377988252285/70368744177664) in x 0.771 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.772 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.772 * [taylor]: Taking taylor expansion of x in x 0.772 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.777 * [approximate]: Taking taylor expansion of (sqrt (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x)))) in (x) around 0 0.777 * [taylor]: Taking taylor expansion of (sqrt (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x)))) in x 0.777 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.777 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.777 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.777 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (sqrt (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x)))) in x 0.777 * [taylor]: Taking taylor expansion of (- 162377988252285/70368744177664 (* 609359547581365/2251799813685248 (/ 1 x))) in x 0.777 * [taylor]: Taking taylor expansion of 162377988252285/70368744177664 in x 0.777 * [taylor]: Taking taylor expansion of (* 609359547581365/2251799813685248 (/ 1 x)) in x 0.777 * [taylor]: Taking taylor expansion of 609359547581365/2251799813685248 in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.783 * * * [progress]: simplifying candidates 0.785 * [simplify]: Simplifying using # : (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (+.f64 (log.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (-.f64 (log.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (log.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (+.f64 (log.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (exp.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (log.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (*.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 162377988252285/70368744177664 3) (pow.f64 (*.f64 x 609359547581365/2251799813685248) 3))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 162377988252285/70368744177664 162377988252285/70368744177664) (-.f64 (*.f64 (*.f64 x 609359547581365/2251799813685248) (*.f64 x 609359547581365/2251799813685248)) (*.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 (sqrt.f64 (-.f64 (*.f64 162377988252285/70368744177664 162377988252285/70368744177664) (*.f64 (*.f64 x 609359547581365/2251799813685248) (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (sqrt.f64 (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 162377988252285/70368744177664 3) (pow.f64 (*.f64 x 609359547581365/2251799813685248) 3))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (-.f64 (*.f64 162377988252285/70368744177664 162377988252285/70368744177664) (*.f64 (*.f64 x 609359547581365/2251799813685248) (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) 1)) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 1)) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) 1)) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 1)) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 1) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 1) 1)) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 1 1)) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) 1) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 (pow.f64 1 3) (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3)))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (-.f64 (*.f64 1 1) (*.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (-.f64 (log.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (log.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (exp.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (log.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (*.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (neg.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (neg.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) 1) (/.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 1) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) 1) (/.f64 (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 1) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 1) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 1 1) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 1 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 (*.f64 162377988252285/70368744177664 162377988252285/70368744177664) (-.f64 (*.f64 (*.f64 x 609359547581365/2251799813685248) (*.f64 x 609359547581365/2251799813685248)) (*.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 (pow.f64 1 3) (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (-.f64 (*.f64 1 1) (*.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) 1) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (+.f64 (log.f64 x) (log.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (exp.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (log.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (*.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 8937753748486939/9007199254740992 x) (*.f64 (*.f64 x 3228900788839551/72057594037927936) x) (*.f64 x 8937753748486939/9007199254740992) (*.f64 x (*.f64 x 3228900788839551/72057594037927936)) (*.f64 x (+.f64 (pow.f64 8937753748486939/9007199254740992 3) (pow.f64 (*.f64 x 3228900788839551/72057594037927936) 3))) (*.f64 x (-.f64 (*.f64 8937753748486939/9007199254740992 8937753748486939/9007199254740992) (*.f64 (*.f64 x 3228900788839551/72057594037927936) (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (cbrt.f64 x) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 (sqrt.f64 x) (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (*.f64 (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 x (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 x 1) (exp.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (log.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 1 2) (sqrt.f64 (+.f64 (pow.f64 162377988252285/70368744177664 3) (pow.f64 (*.f64 x 609359547581365/2251799813685248) 3))) (sqrt.f64 (+.f64 (*.f64 162377988252285/70368744177664 162377988252285/70368744177664) (-.f64 (*.f64 (*.f64 x 609359547581365/2251799813685248) (*.f64 x 609359547581365/2251799813685248)) (*.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (sqrt.f64 (-.f64 (*.f64 162377988252285/70368744177664 162377988252285/70368744177664) (*.f64 (*.f64 x 609359547581365/2251799813685248) (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 1) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (-.f64 (+.f64 (*.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 (pow.f64 x 2)) 162377988252285/70368744177664) (*.f64 1279775008709747813467536880175/633825300114114700748351602688 x)) (-.f64 (+.f64 (*.f64 2785643646086240/461271541262793 (/.f64 1 x)) (*.f64 8109529177131686510913898190411475165306448148480/4809124975201980649343116668831465267072571593 (/.f64 1 (pow.f64 x 3)))) (*.f64 122481222331966930855593903381760/1489400043452667816519603125943 (/.f64 1 (pow.f64 x 2)))) (-.f64 (+.f64 (*.f64 2785643646086240/461271541262793 (/.f64 1 x)) (*.f64 8109529177131686510913898190411475165306448148480/4809124975201980649343116668831465267072571593 (/.f64 1 (pow.f64 x 3)))) (*.f64 122481222331966930855593903381760/1489400043452667816519603125943 (/.f64 1 (pow.f64 x 2)))) (-.f64 (+.f64 (*.f64 609359547581365/4503599627370496 (/.f64 x (sqrt.f64 162377988252285/70368744177664))) (+.f64 (sqrt.f64 162377988252285/70368744177664) (*.f64 76248022971233803630554509767897/81129638414606681695789005144064 (*.f64 (sqrt.f64 162377988252285/70368744177664) (pow.f64 x 2))))) (+.f64 (*.f64 8937753748486939/9007199254740992 (*.f64 x (sqrt.f64 162377988252285/70368744177664))) (+.f64 (*.f64 5446305580571650292445742291735/40564819207303340847894502572032 (/.f64 (pow.f64 x 2) (sqrt.f64 162377988252285/70368744177664))) (*.f64 371319058228565835421295263225/40564819207303340847894502572032 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 162377988252285/70368744177664) 3)))))) (-.f64 (+.f64 (*.f64 313243526028119145026725138286070195886569406455808/33663874826413864545401816681820256869508001151 (/.f64 NAN.f64 (pow.f64 x 4))) (+.f64 (*.f64 72057594037927936/3228900788839551 (/.f64 NAN.f64 (pow.f64 x 2))) (+.f64 (*.f64 144115188075855872/3228900788839551 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 4))) (*.f64 4078492905150376217615204347799552/10425800304168674715637221881601 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 4)))))) (+.f64 (*.f64 4615378577452950176492157050811392/10425800304168674715637221881601 (/.f64 NAN.f64 (pow.f64 x 3))) (*.f64 72057594037927936/3228900788839551 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 3))))) (-.f64 (+.f64 (*.f64 72057594037927936/3228900788839551 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 3))) (+.f64 (*.f64 390020356910219317240885537536060409016620644179968/33663874826413864545401816681820256869508001151 (/.f64 NAN.f64 (pow.f64 x 4))) (+.f64 (*.f64 72057594037927936/3228900788839551 (/.f64 NAN.f64 (pow.f64 x 2))) (*.f64 144115188075855872/3228900788839551 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 4)))))) (+.f64 (*.f64 5689149922058098094246062456835072/10425800304168674715637221881601 (/.f64 NAN.f64 (pow.f64 x 3))) (*.f64 6226035594360672053123015159846912/10425800304168674715637221881601 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 4))))) (+.f64 (*.f64 3228900788839551/72057594037927936 (pow.f64 x 2)) (*.f64 8937753748486939/9007199254740992 x)) (+.f64 (*.f64 3228900788839551/72057594037927936 (pow.f64 x 2)) (*.f64 8937753748486939/9007199254740992 x)) (+.f64 (*.f64 3228900788839551/72057594037927936 (pow.f64 x 2)) (*.f64 8937753748486939/9007199254740992 x)) (-.f64 (+.f64 (sqrt.f64 162377988252285/70368744177664) (*.f64 609359547581365/4503599627370496 (/.f64 x (sqrt.f64 162377988252285/70368744177664)))) (*.f64 371319058228565835421295263225/40564819207303340847894502572032 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 162377988252285/70368744177664) 3)))) (-.f64 (+.f64 (*.f64 162377988252285/70368744177664 (/.f64 NAN.f64 x)) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 2))))) (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (*.f64 162377988252285/35184372088832 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 2))))) (-.f64 (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 2))))) (+.f64 (*.f64 162377988252285/70368744177664 (/.f64 NAN.f64 x)) (*.f64 162377988252285/35184372088832 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 2))))) 0.852 * * [simplify]: iteration 0 : 5291 enodes (cost 4366 ) 0.874 * [simplify]: Simplified to: (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (log.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (log.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (exp.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (log.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (pow.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) 3) (*.f64 (cbrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (cbrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (cbrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (pow.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) 3) (pow.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) 3) (sqrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 4281357262391787712810739183078551249249125/348449143727040986586495598010130648530944 (pow.f64 (*.f64 x 609359547581365/2251799813685248) 3)))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 26366611068859205468807721225/4951760157141521099596496896 (*.f64 x (-.f64 (*.f64 371319058228565835421295263225/5070602400912917605986812821504 x) 98946577458584588455184669025/158456325028528675187087900672))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (-.f64 26366611068859205468807721225/4951760157141521099596496896 (*.f64 x (*.f64 371319058228565835421295263225/5070602400912917605986812821504 x))))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (sqrt.f64 (+.f64 4281357262391787712810739183078551249249125/348449143727040986586495598010130648530944 (pow.f64 (*.f64 x 609359547581365/2251799813685248) 3)))) (*.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (sqrt.f64 (-.f64 26366611068859205468807721225/4951760157141521099596496896 (*.f64 x (*.f64 371319058228565835421295263225/5070602400912917605986812821504 x))))) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (*.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 3) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 3) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 3) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 3) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 3) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (fabs.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (fabs.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (*.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (fabs.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 3) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 3) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 3) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3))) (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (-.f64 1 (*.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (log.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (exp.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (log.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (pow.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) 3) (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (pow.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) 3) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (neg.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (-.f64 -1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (fabs.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (fabs.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (fabs.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) 1 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) 1 (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 1 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 26366611068859205468807721225/4951760157141521099596496896 (*.f64 x (-.f64 (*.f64 371319058228565835421295263225/5070602400912917605986812821504 x) 98946577458584588455184669025/158456325028528675187087900672))))) (*.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 1 (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (-.f64 1 (*.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))))) (/.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (sqrt.f64 (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))))) (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (log.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (exp.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (log.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3) (*.f64 (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (cbrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (pow.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) 3) (sqrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (sqrt.f64 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) (*.f64 x 8937753748486939/9007199254740992) (*.f64 x (*.f64 x 3228900788839551/72057594037927936)) (*.f64 x 8937753748486939/9007199254740992) (*.f64 x (*.f64 x 3228900788839551/72057594037927936)) (*.f64 x (+.f64 713978533790600327225235204255413055979433154019/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 3228900788839551/72057594037927936) 3))) (*.f64 x (-.f64 79883442068592329248831853589721/81129638414606681695789005144064 (*.f64 x (*.f64 10425800304168674715637221881601/5192296858534827628530496329220096 x)))) (*.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (cbrt.f64 x)) (*.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) (sqrt.f64 x)) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (*.f64 (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (cbrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) (*.f64 x (sqrt.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)))) x (exp.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (log.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (pow.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) 3) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))))) (cbrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 1/2 (sqrt.f64 (+.f64 4281357262391787712810739183078551249249125/348449143727040986586495598010130648530944 (pow.f64 (*.f64 x 609359547581365/2251799813685248) 3))) (sqrt.f64 (+.f64 26366611068859205468807721225/4951760157141521099596496896 (*.f64 x (-.f64 (*.f64 371319058228565835421295263225/5070602400912917605986812821504 x) 98946577458584588455184669025/158456325028528675187087900672)))) (sqrt.f64 (-.f64 26366611068859205468807721225/4951760157141521099596496896 (*.f64 x (*.f64 371319058228565835421295263225/5070602400912917605986812821504 x)))) (sqrt.f64 (-.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (fabs.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (cbrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) (sqrt.f64 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)))) 1 (sqrt.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248))) (+.f64 162377988252285/70368744177664 (*.f64 x (-.f64 (*.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x) 1279775008709747813467536880175/633825300114114700748351602688))) (-.f64 (+.f64 (/.f64 2785643646086240/461271541262793 x) (/.f64 8109529177131686510913898190411475165306448148480/4809124975201980649343116668831465267072571593 (pow.f64 x 3))) (/.f64 122481222331966930855593903381760/1489400043452667816519603125943 (*.f64 x x))) (-.f64 (+.f64 (/.f64 2785643646086240/461271541262793 x) (/.f64 8109529177131686510913898190411475165306448148480/4809124975201980649343116668831465267072571593 (pow.f64 x 3))) (/.f64 122481222331966930855593903381760/1489400043452667816519603125943 (*.f64 x x))) (-.f64 (+.f64 (+.f64 (sqrt.f64 162377988252285/70368744177664) (*.f64 609359547581365/4503599627370496 (/.f64 x (sqrt.f64 162377988252285/70368744177664)))) (*.f64 (sqrt.f64 162377988252285/70368744177664) (-.f64 (*.f64 76248022971233803630554509767897/81129638414606681695789005144064 (*.f64 x x)) (*.f64 x 8937753748486939/9007199254740992)))) (*.f64 (/.f64 (*.f64 x x) (sqrt.f64 162377988252285/70368744177664)) 182097879879438947928499441127738812859194175/1317366747339913361254769341943689162600218624)) (+.f64 (*.f64 (/.f64 NAN.f64 (*.f64 x x)) (+.f64 (/.f64 313243526028119145026725138286070195886569406455808/33663874826413864545401816681820256869508001151 (*.f64 x x)) 72057594037927936/3228900788839551)) (-.f64 (+.f64 (*.f64 144115188075855872/3228900788839551 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 4))) (*.f64 4078492905150376217615204347799552/10425800304168674715637221881601 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 4)))) (+.f64 (*.f64 4615378577452950176492157050811392/10425800304168674715637221881601 (/.f64 NAN.f64 (pow.f64 x 3))) (*.f64 72057594037927936/3228900788839551 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 3)))))) (+.f64 (+.f64 (*.f64 144115188075855872/3228900788839551 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 4))) (*.f64 (/.f64 NAN.f64 (*.f64 x x)) (+.f64 72057594037927936/3228900788839551 (/.f64 390020356910219317240885537536060409016620644179968/33663874826413864545401816681820256869508001151 (*.f64 x x))))) (-.f64 (*.f64 72057594037927936/3228900788839551 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 3))) (+.f64 (*.f64 (/.f64 NAN.f64 (pow.f64 x 3)) 5689149922058098094246062456835072/10425800304168674715637221881601) (*.f64 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 4)) 6226035594360672053123015159846912/10425800304168674715637221881601)))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))) (-.f64 (+.f64 (sqrt.f64 162377988252285/70368744177664) (*.f64 609359547581365/4503599627370496 (/.f64 x (sqrt.f64 162377988252285/70368744177664)))) (*.f64 (/.f64 (*.f64 x x) (sqrt.f64 162377988252285/70368744177664)) 74263811645713167084259052645/18720907453085734477650267734016)) (-.f64 (+.f64 (*.f64 162377988252285/70368744177664 (/.f64 NAN.f64 x)) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x))))) (*.f64 (+.f64 (/.f64 162377988252285/35184372088832 x) 1) (/.f64 (pow.f64 NAN.f64 3) x))) (+.f64 (+.f64 (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x)))) (*.f64 (/.f64 NAN.f64 x) (-.f64 (*.f64 NAN.f64 NAN.f64) 162377988252285/70368744177664))) (*.f64 (/.f64 (pow.f64 NAN.f64 3) (*.f64 x x)) -162377988252285/35184372088832)) 0.875 * * * [progress]: adding candidates to table 1.079 * [progress]: [Phase 3 of 3] Extracting. 1.079 * * [regime]: Finding splitpoints for: (# #) 1.080 * * * [regime-changes]: Trying 2 branch expressions: ((-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) x) x) 1.080 * * * * [regimes]: Trying to branch on (-.f64 (/.f64 (+.f64 162377988252285/70368744177664 (*.f64 x 609359547581365/2251799813685248)) (+.f64 1 (*.f64 x (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))))) x) from (# #) 1.092 * * * * [regimes]: Trying to branch on x from (# #) 1.099 * * * [regime]: Found split indices: #