5.180 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.364 * * * [progress]: [2/2] Setting up program. 0.366 * [progress]: [Phase 2 of 3] Improving. 0.366 * [simplify]: Simplifying using # : (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 0.377 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 0.377 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 0.377 * [simplify]: Simplified to: (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 0.379 * * [progress]: iteration 1 / 4 0.379 * * * [progress]: picking best candidate 0.381 * * * * [pick]: Picked # 0.381 * * * [progress]: localizing error 0.385 * * * [progress]: generating rewritten candidates 0.385 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.389 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.399 * * * [progress]: generating series expansions 0.399 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.399 * [approximate]: Taking taylor expansion of (- (exp x) 1) in (x) around 0 0.399 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.399 * [taylor]: Taking taylor expansion of (exp x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of 1 in x 0.399 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.399 * [taylor]: Taking taylor expansion of (exp x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of 1 in x 0.400 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 0.400 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.400 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of 1 in x 0.400 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.400 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of 1 in x 0.401 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 0.401 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.401 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.401 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.401 * [taylor]: Taking taylor expansion of -1 in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of 1 in x 0.401 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.401 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.401 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.401 * [taylor]: Taking taylor expansion of -1 in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of 1 in x 0.401 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.401 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in (x) around 0 0.401 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x 0.401 * [taylor]: Taking taylor expansion of (exp x) in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.402 * [taylor]: Taking taylor expansion of (exp x) in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of 1 in x 0.402 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x 0.402 * [taylor]: Taking taylor expansion of (exp x) in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.402 * [taylor]: Taking taylor expansion of (exp x) in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of 1 in x 0.402 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in (x) around 0 0.402 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in x 0.402 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.403 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.403 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of 1 in x 0.403 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in x 0.403 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.403 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.403 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.403 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of 1 in x 0.408 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in (x) around 0 0.408 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x 0.408 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.408 * [taylor]: Taking taylor expansion of -1 in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.408 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.408 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.408 * [taylor]: Taking taylor expansion of -1 in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.408 * [taylor]: Taking taylor expansion of 1 in x 0.408 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x 0.408 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.408 * [taylor]: Taking taylor expansion of -1 in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.408 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.408 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.409 * [taylor]: Taking taylor expansion of -1 in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of 1 in x 0.411 * * * [progress]: simplifying candidates 0.412 * [simplify]: Simplifying using # : (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 1)) (log.f64 (-.f64 (exp.f64 x) 1)) (exp.f64 (-.f64 (exp.f64 x) 1)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1))) (cbrt.f64 (-.f64 (exp.f64 x) 1)) (*.f64 (*.f64 (-.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) 1)) (-.f64 (exp.f64 x) 1)) (sqrt.f64 (-.f64 (exp.f64 x) 1)) (sqrt.f64 (-.f64 (exp.f64 x) 1)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 1 1) (*.f64 (exp.f64 x) 1))) (neg.f64 1) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1 1)) (+.f64 (exp.f64 x) 1) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1)) (+.f64 (sqrt.f64 (exp.f64 x)) 1) (-.f64 (sqrt.f64 (exp.f64 x)) 1) (+.f64 (sqrt.f64 (exp.f64 x)) 1) (-.f64 (sqrt.f64 (exp.f64 x)) 1) (-.f64 (exp.f64 x) 1) (-.f64 x (log.f64 (-.f64 (exp.f64 x) 1))) (log.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (exp.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (/.f64 (*.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (exp.f64 x)) (*.f64 (*.f64 (-.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) 1)) (-.f64 (exp.f64 x) 1))) (*.f64 (cbrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (cbrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))) (cbrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (*.f64 (*.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (sqrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (sqrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (neg.f64 (exp.f64 x)) (neg.f64 (-.f64 (exp.f64 x) 1)) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1)))) (/.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (cbrt.f64 (exp.f64 x)) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) 1) (/.f64 (cbrt.f64 (exp.f64 x)) (-.f64 (exp.f64 x) 1)) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1))) (/.f64 (cbrt.f64 (exp.f64 x)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1))) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (+.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (cbrt.f64 (exp.f64 x)) (-.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (+.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (cbrt.f64 (exp.f64 x)) (-.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) 1) (/.f64 (cbrt.f64 (exp.f64 x)) (-.f64 (exp.f64 x) 1)) (/.f64 (sqrt.f64 (exp.f64 x)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1)))) (/.f64 (sqrt.f64 (exp.f64 x)) (cbrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (sqrt.f64 (exp.f64 x)) 1) (/.f64 (sqrt.f64 (exp.f64 x)) (-.f64 (exp.f64 x) 1)) (/.f64 (sqrt.f64 (exp.f64 x)) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1))) (/.f64 (sqrt.f64 (exp.f64 x)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1))) (/.f64 (sqrt.f64 (exp.f64 x)) (+.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (sqrt.f64 (exp.f64 x)) (-.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (sqrt.f64 (exp.f64 x)) (+.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (sqrt.f64 (exp.f64 x)) (-.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (sqrt.f64 (exp.f64 x)) 1) (/.f64 (sqrt.f64 (exp.f64 x)) (-.f64 (exp.f64 x) 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1)))) (/.f64 (exp.f64 x) (cbrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (exp.f64 x) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 1 1) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1))) (/.f64 (exp.f64 x) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (exp.f64 x) (-.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (exp.f64 x) (-.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 1 1) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) (/.f64 1 (-.f64 (exp.f64 x) 1)) (/.f64 (-.f64 (exp.f64 x) 1) (exp.f64 x)) (/.f64 (exp.f64 x) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1)))) (/.f64 (exp.f64 x) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (exp.f64 x) 1) (/.f64 (exp.f64 x) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1))) (/.f64 (exp.f64 x) (+.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (exp.f64 x) (+.f64 (sqrt.f64 (exp.f64 x)) 1)) (/.f64 (exp.f64 x) 1) (/.f64 (-.f64 (exp.f64 x) 1) (cbrt.f64 (exp.f64 x))) (/.f64 (-.f64 (exp.f64 x) 1) (sqrt.f64 (exp.f64 x))) (/.f64 (-.f64 (exp.f64 x) 1) (exp.f64 x)) (/.f64 (exp.f64 x) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1 3))) (/.f64 (exp.f64 x) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1 1))) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/6 (pow.f64 x 3)) x)) (-.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) 1) (+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x))) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 0.492 * * [simplify]: iteration 0 : 4932 enodes (cost 1126 ) 0.493 * * [simplify]: iteration 1 : 4932 enodes (cost 1126 ) 0.499 * [simplify]: Simplified to: (exp.f64 (-.f64 (exp.f64 x) 1)) (log.f64 (-.f64 (exp.f64 x) 1)) (exp.f64 (-.f64 (exp.f64 x) 1)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1))) (cbrt.f64 (-.f64 (exp.f64 x) 1)) (pow.f64 (-.f64 (exp.f64 x) 1) 3) (sqrt.f64 (-.f64 (exp.f64 x) 1)) (sqrt.f64 (-.f64 (exp.f64 x) 1)) (-.f64 (pow.f64 (exp.f64 x) 3) 1) (+.f64 1 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 1))) -1 (+.f64 (pow.f64 (exp.f64 x) 2) -1) (+.f64 (exp.f64 x) 1) (+.f64 1 (sqrt.f64 (exp.f64 x))) (+.f64 -1 (sqrt.f64 (exp.f64 x))) (+.f64 1 (sqrt.f64 (exp.f64 x))) (+.f64 -1 (sqrt.f64 (exp.f64 x))) (+.f64 1 (sqrt.f64 (exp.f64 x))) (+.f64 -1 (sqrt.f64 (exp.f64 x))) (-.f64 (exp.f64 x) 1) (-.f64 x (log.f64 (-.f64 (exp.f64 x) 1))) (-.f64 x (log.f64 (-.f64 (exp.f64 x) 1))) (exp.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 3) (*.f64 (cbrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (cbrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))) (cbrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 3) (sqrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (sqrt.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))) (neg.f64 (exp.f64 x)) (-.f64 1 (exp.f64 x)) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1)))) (/.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (cbrt.f64 (exp.f64 x)) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (/.f64 (cbrt.f64 (exp.f64 x)) (-.f64 (exp.f64 x) 1)) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (cbrt.f64 (exp.f64 x)) (+.f64 -1 (sqrt.f64 (exp.f64 x)))) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (cbrt.f64 (exp.f64 x)) (+.f64 -1 (sqrt.f64 (exp.f64 x)))) (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (cbrt.f64 (exp.f64 x)) (+.f64 -1 (sqrt.f64 (exp.f64 x)))) (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (/.f64 (cbrt.f64 (exp.f64 x)) (-.f64 (exp.f64 x) 1)) (/.f64 (sqrt.f64 (exp.f64 x)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1)))) (/.f64 (sqrt.f64 (exp.f64 x)) (cbrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (sqrt.f64 (exp.f64 x)) (/.f64 (sqrt.f64 (exp.f64 x)) (-.f64 (exp.f64 x) 1)) (/.f64 (sqrt.f64 (exp.f64 x)) (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (sqrt.f64 (exp.f64 x)) (+.f64 -1 (sqrt.f64 (exp.f64 x)))) (/.f64 (sqrt.f64 (exp.f64 x)) (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (sqrt.f64 (exp.f64 x)) (+.f64 -1 (sqrt.f64 (exp.f64 x)))) (/.f64 (sqrt.f64 (exp.f64 x)) (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (sqrt.f64 (exp.f64 x)) (+.f64 -1 (sqrt.f64 (exp.f64 x)))) (sqrt.f64 (exp.f64 x)) (/.f64 (sqrt.f64 (exp.f64 x)) (-.f64 (exp.f64 x) 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1)))) (/.f64 (exp.f64 x) (cbrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1))) (/.f64 (exp.f64 x) (sqrt.f64 (-.f64 (exp.f64 x) 1))) 1 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (exp.f64 x) (+.f64 -1 (sqrt.f64 (exp.f64 x)))) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (exp.f64 x) (+.f64 -1 (sqrt.f64 (exp.f64 x)))) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (exp.f64 x) (+.f64 -1 (sqrt.f64 (exp.f64 x)))) 1 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) (/.f64 1 (-.f64 (exp.f64 x) 1)) (-.f64 1 (exp.f64 (neg.f64 x))) (/.f64 (exp.f64 x) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1)) (cbrt.f64 (-.f64 (exp.f64 x) 1)))) (/.f64 (exp.f64 x) (sqrt.f64 (-.f64 (exp.f64 x) 1))) (exp.f64 x) (/.f64 (exp.f64 x) (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (exp.f64 x) (+.f64 1 (sqrt.f64 (exp.f64 x)))) (/.f64 (exp.f64 x) (+.f64 1 (sqrt.f64 (exp.f64 x)))) (exp.f64 x) (/.f64 (-.f64 (exp.f64 x) 1) (cbrt.f64 (exp.f64 x))) (/.f64 (-.f64 (exp.f64 x) 1) (sqrt.f64 (exp.f64 x))) (-.f64 1 (exp.f64 (neg.f64 x))) (/.f64 (exp.f64 x) (-.f64 (pow.f64 (exp.f64 x) 3) 1)) (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (-.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) 1) (+.f64 1/2 (+.f64 (*.f64 x 1/12) (/.f64 1 x))) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 0.500 * * * [progress]: adding candidates to table 0.744 * * [progress]: iteration 2 / 4 0.744 * * * [progress]: picking best candidate 0.747 * * * * [pick]: Picked # 0.748 * * * [progress]: localizing error 0.756 * * * [progress]: generating rewritten candidates 0.756 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 0.760 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 0.768 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.772 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 0.777 * * * [progress]: generating series expansions 0.777 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 0.777 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0 0.777 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.777 * [taylor]: Taking taylor expansion of 1/6 in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.777 * [taylor]: Taking taylor expansion of 1/6 in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.778 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0 0.778 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 0.778 * [taylor]: Taking taylor expansion of 1/6 in x 0.778 * [taylor]: Taking taylor expansion of x in x 0.778 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 0.778 * [taylor]: Taking taylor expansion of 1/6 in x 0.778 * [taylor]: Taking taylor expansion of x in x 0.779 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0 0.779 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x 0.779 * [taylor]: Taking taylor expansion of -1/6 in x 0.779 * [taylor]: Taking taylor expansion of x in x 0.779 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x 0.779 * [taylor]: Taking taylor expansion of -1/6 in x 0.779 * [taylor]: Taking taylor expansion of x in x 0.779 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 0.779 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in (x) around 0 0.779 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x 0.779 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.779 * [taylor]: Taking taylor expansion of x in x 0.779 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 0.779 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.779 * [taylor]: Taking taylor expansion of 1/6 in x 0.779 * [taylor]: Taking taylor expansion of x in x 0.779 * [taylor]: Taking taylor expansion of 1/2 in x 0.780 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x 0.780 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 0.780 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.780 * [taylor]: Taking taylor expansion of 1/6 in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of 1/2 in x 0.781 * [approximate]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in (x) around 0 0.781 * [taylor]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x 0.781 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 0.781 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.781 * [taylor]: Taking taylor expansion of 1/6 in x 0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of 1/2 in x 0.781 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x 0.781 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 0.781 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.782 * [taylor]: Taking taylor expansion of 1/6 in x 0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of 1/2 in x 0.782 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.784 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0 0.784 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x 0.784 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 0.784 * [taylor]: Taking taylor expansion of 1/2 in x 0.784 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.784 * [taylor]: Taking taylor expansion of 1/6 in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x 0.784 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 0.784 * [taylor]: Taking taylor expansion of 1/2 in x 0.784 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.784 * [taylor]: Taking taylor expansion of 1/6 in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.786 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.786 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in (x) around 0 0.787 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in x 0.787 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.787 * [taylor]: Taking taylor expansion of 1/2 in x 0.787 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (+ x (* 1/6 (pow x 3))) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.787 * [taylor]: Taking taylor expansion of 1/6 in x 0.787 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) in x 0.787 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.787 * [taylor]: Taking taylor expansion of 1/2 in x 0.787 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (+ x (* 1/6 (pow x 3))) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.787 * [taylor]: Taking taylor expansion of 1/6 in x 0.787 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [approximate]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))) in (x) around 0 0.787 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))) in x 0.788 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 0.788 * [taylor]: Taking taylor expansion of 1/6 in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.788 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)) in x 0.788 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 0.788 * [taylor]: Taking taylor expansion of 1/2 in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))) in x 0.788 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 0.788 * [taylor]: Taking taylor expansion of 1/6 in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.788 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)) in x 0.788 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 0.788 * [taylor]: Taking taylor expansion of 1/2 in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.789 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 0.789 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 0.789 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 0.789 * [taylor]: Taking taylor expansion of 1/2 in x 0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.789 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 0.789 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 0.789 * [taylor]: Taking taylor expansion of 1/6 in x 0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.789 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 0.789 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 0.789 * [taylor]: Taking taylor expansion of 1/2 in x 0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.789 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 0.789 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 0.789 * [taylor]: Taking taylor expansion of 1/6 in x 0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.789 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.790 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.790 * [taylor]: Taking taylor expansion of x in x 0.790 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 0.790 * [approximate]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in (x) around 0 0.790 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 0.790 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.790 * [taylor]: Taking taylor expansion of 1/6 in x 0.791 * [taylor]: Taking taylor expansion of x in x 0.791 * [taylor]: Taking taylor expansion of 1/2 in x 0.791 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 0.791 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.791 * [taylor]: Taking taylor expansion of 1/6 in x 0.791 * [taylor]: Taking taylor expansion of x in x 0.791 * [taylor]: Taking taylor expansion of 1/2 in x 0.791 * [approximate]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in (x) around 0 0.791 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 0.791 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.791 * [taylor]: Taking taylor expansion of 1/6 in x 0.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.791 * [taylor]: Taking taylor expansion of x in x 0.791 * [taylor]: Taking taylor expansion of 1/2 in x 0.791 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 0.791 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.791 * [taylor]: Taking taylor expansion of 1/6 in x 0.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.791 * [taylor]: Taking taylor expansion of x in x 0.791 * [taylor]: Taking taylor expansion of 1/2 in x 0.793 * [approximate]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in (x) around 0 0.793 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 0.793 * [taylor]: Taking taylor expansion of 1/2 in x 0.793 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.793 * [taylor]: Taking taylor expansion of 1/6 in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 0.793 * [taylor]: Taking taylor expansion of 1/2 in x 0.793 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.793 * [taylor]: Taking taylor expansion of 1/6 in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.794 * * * [progress]: simplifying candidates 0.795 * [simplify]: Simplifying using # : (*.f64 x 1/6) (+.f64 (log.f64 x) (log.f64 1/6)) (log.f64 (*.f64 x 1/6)) (exp.f64 (*.f64 x 1/6)) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 1/6 1/6) 1/6)) (*.f64 (cbrt.f64 (*.f64 x 1/6)) (cbrt.f64 (*.f64 x 1/6))) (cbrt.f64 (*.f64 x 1/6)) (*.f64 (*.f64 (*.f64 x 1/6) (*.f64 x 1/6)) (*.f64 x 1/6)) (sqrt.f64 (*.f64 x 1/6)) (sqrt.f64 (*.f64 x 1/6)) (*.f64 (sqrt.f64 x) (sqrt.f64 1/6)) (*.f64 (sqrt.f64 x) (sqrt.f64 1/6)) (*.f64 x (*.f64 (cbrt.f64 1/6) (cbrt.f64 1/6))) (*.f64 x (sqrt.f64 1/6)) (*.f64 x 1) (*.f64 (cbrt.f64 x) 1/6) (*.f64 (sqrt.f64 x) 1/6) (*.f64 x 1/6) (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))) (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))) (+.f64 (+.f64 (log.f64 x) (log.f64 x)) (log.f64 (+.f64 1/2 (*.f64 x 1/6)))) (+.f64 (log.f64 (*.f64 x x)) (log.f64 (+.f64 1/2 (*.f64 x 1/6)))) (log.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (exp.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (+.f64 1/2 (*.f64 x 1/6)) (+.f64 1/2 (*.f64 x 1/6))) (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 (*.f64 (+.f64 1/2 (*.f64 x 1/6)) (+.f64 1/2 (*.f64 x 1/6))) (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 (cbrt.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (cbrt.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (cbrt.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 (*.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))) (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (sqrt.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (sqrt.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 x (sqrt.f64 (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 x (sqrt.f64 (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 (*.f64 x x) 1/2) (*.f64 (*.f64 x x) (*.f64 x 1/6)) (*.f64 1/2 (*.f64 x x)) (*.f64 (*.f64 x 1/6) (*.f64 x x)) (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 1/2 (*.f64 x 1/6))) (cbrt.f64 (+.f64 1/2 (*.f64 x 1/6))))) (*.f64 (*.f64 x x) (sqrt.f64 (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 (*.f64 x x) 1) (*.f64 x (+.f64 1/2 (*.f64 x 1/6))) (*.f64 (*.f64 x x) (+.f64 (pow.f64 1/2 3) (pow.f64 (*.f64 x 1/6) 3))) (*.f64 (*.f64 x x) (-.f64 (*.f64 1/2 1/2) (*.f64 (*.f64 x 1/6) (*.f64 x 1/6)))) (*.f64 (exp.f64 x) (exp.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (log.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (exp.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (*.f64 (cbrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (cbrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))))) (cbrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (*.f64 (*.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (sqrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (sqrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))) 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))) (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (*.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))))) (-.f64 (*.f64 x x) (*.f64 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))) (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))) (-.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (+.f64 x (*.f64 (*.f64 x x) 1/2)) (+.f64 x (*.f64 1/2 (*.f64 x x))) (*.f64 (exp.f64 1/2) (exp.f64 (*.f64 x 1/6))) (log.f64 (+.f64 1/2 (*.f64 x 1/6))) (exp.f64 (+.f64 1/2 (*.f64 x 1/6))) (*.f64 (cbrt.f64 (+.f64 1/2 (*.f64 x 1/6))) (cbrt.f64 (+.f64 1/2 (*.f64 x 1/6)))) (cbrt.f64 (+.f64 1/2 (*.f64 x 1/6))) (*.f64 (*.f64 (+.f64 1/2 (*.f64 x 1/6)) (+.f64 1/2 (*.f64 x 1/6))) (+.f64 1/2 (*.f64 x 1/6))) (sqrt.f64 (+.f64 1/2 (*.f64 x 1/6))) (sqrt.f64 (+.f64 1/2 (*.f64 x 1/6))) (+.f64 (pow.f64 1/2 3) (pow.f64 (*.f64 x 1/6) 3)) (+.f64 (*.f64 1/2 1/2) (-.f64 (*.f64 (*.f64 x 1/6) (*.f64 x 1/6)) (*.f64 1/2 (*.f64 x 1/6)))) (-.f64 (*.f64 1/2 1/2) (*.f64 (*.f64 x 1/6) (*.f64 x 1/6))) (-.f64 1/2 (*.f64 x 1/6)) (*.f64 1/6 x) (*.f64 1/6 x) (*.f64 1/6 x) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (*.f64 1/6 (pow.f64 x 3))) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (*.f64 1/6 (pow.f64 x 3))) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (*.f64 1/6 (pow.f64 x 3))) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/6 (pow.f64 x 3)) x)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 x (*.f64 1/6 (pow.f64 x 3)))) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 x (*.f64 1/6 (pow.f64 x 3)))) (+.f64 (*.f64 1/6 x) 1/2) (+.f64 (*.f64 1/6 x) 1/2) (+.f64 (*.f64 1/6 x) 1/2) 0.917 * * [simplify]: iteration 0 : 4918 enodes (cost 997 ) 0.918 * * [simplify]: iteration 1 : 4918 enodes (cost 997 ) 0.923 * [simplify]: Simplified to: (*.f64 x 1/6) (log.f64 (*.f64 x 1/6)) (log.f64 (*.f64 x 1/6)) (exp.f64 (*.f64 x 1/6)) (*.f64 (pow.f64 x 3) 1/216) (*.f64 (cbrt.f64 (*.f64 x 1/6)) (cbrt.f64 (*.f64 x 1/6))) (cbrt.f64 (*.f64 x 1/6)) (*.f64 (pow.f64 x 3) 1/216) (sqrt.f64 (*.f64 x 1/6)) (sqrt.f64 (*.f64 x 1/6)) (*.f64 (sqrt.f64 x) (sqrt.f64 1/6)) (*.f64 (sqrt.f64 x) (sqrt.f64 1/6)) (*.f64 x (*.f64 (cbrt.f64 1/6) (cbrt.f64 1/6))) (*.f64 x (sqrt.f64 1/6)) x (*.f64 1/6 (cbrt.f64 x)) (*.f64 1/6 (sqrt.f64 x)) (*.f64 x 1/6) (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)) (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)) (log.f64 (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (log.f64 (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (log.f64 (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (exp.f64 (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (*.f64 (pow.f64 x 6) (pow.f64 (+.f64 (*.f64 x 1/6) 1/2) 3)) (*.f64 (pow.f64 x 6) (pow.f64 (+.f64 (*.f64 x 1/6) 1/2) 3)) (*.f64 (cbrt.f64 (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (cbrt.f64 (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)))) (cbrt.f64 (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (*.f64 (pow.f64 x 6) (pow.f64 (+.f64 (*.f64 x 1/6) 1/2) 3)) (sqrt.f64 (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (sqrt.f64 (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (*.f64 x (sqrt.f64 (+.f64 (*.f64 x 1/6) 1/2))) (*.f64 x (sqrt.f64 (+.f64 (*.f64 x 1/6) 1/2))) (*.f64 (*.f64 x x) 1/2) (*.f64 1/6 (pow.f64 x 3)) (*.f64 (*.f64 x x) 1/2) (*.f64 1/6 (pow.f64 x 3)) (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (+.f64 (*.f64 x 1/6) 1/2)) (cbrt.f64 (+.f64 (*.f64 x 1/6) 1/2)))) (*.f64 x (*.f64 x (sqrt.f64 (+.f64 (*.f64 x 1/6) 1/2)))) (*.f64 x x) (*.f64 x (+.f64 (*.f64 x 1/6) 1/2)) (*.f64 (*.f64 x x) (+.f64 (*.f64 (pow.f64 x 3) 1/216) 1/8)) (*.f64 (*.f64 x x) (-.f64 1/4 (*.f64 (*.f64 x x) 1/36))) (pow.f64 (exp.f64 x) (+.f64 1 (*.f64 x (+.f64 (*.f64 x 1/6) 1/2)))) (log.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)))) (pow.f64 (exp.f64 x) (+.f64 1 (*.f64 x (+.f64 (*.f64 x 1/6) 1/2)))) (*.f64 (cbrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)))) (cbrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))))) (cbrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)))) (pow.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) 3) (sqrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)))) (sqrt.f64 (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)))) (+.f64 (pow.f64 x 3) (*.f64 (pow.f64 x 6) (pow.f64 (+.f64 (*.f64 x 1/6) 1/2) 3))) (+.f64 (*.f64 x x) (*.f64 (*.f64 (pow.f64 x 3) (+.f64 (*.f64 x 1/6) 1/2)) (+.f64 (*.f64 x (+.f64 (*.f64 x 1/6) 1/2)) -1))) (-.f64 (*.f64 x x) (*.f64 (*.f64 (+.f64 (*.f64 x 1/6) 1/2) (+.f64 (*.f64 x 1/6) 1/2)) (pow.f64 x 4))) (-.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (+.f64 x (*.f64 (*.f64 x x) 1/2)) (+.f64 x (*.f64 (*.f64 x x) 1/2)) (exp.f64 (+.f64 (*.f64 x 1/6) 1/2)) (log.f64 (+.f64 (*.f64 x 1/6) 1/2)) (exp.f64 (+.f64 (*.f64 x 1/6) 1/2)) (*.f64 (cbrt.f64 (+.f64 (*.f64 x 1/6) 1/2)) (cbrt.f64 (+.f64 (*.f64 x 1/6) 1/2))) (cbrt.f64 (+.f64 (*.f64 x 1/6) 1/2)) (pow.f64 (+.f64 (*.f64 x 1/6) 1/2) 3) (sqrt.f64 (+.f64 (*.f64 x 1/6) 1/2)) (sqrt.f64 (+.f64 (*.f64 x 1/6) 1/2)) (+.f64 (*.f64 (pow.f64 x 3) 1/216) 1/8) (+.f64 1/4 (*.f64 x (-.f64 (*.f64 x 1/36) 1/12))) (-.f64 1/4 (*.f64 (*.f64 x x) 1/36)) (-.f64 1/2 (*.f64 x 1/6)) (*.f64 x 1/6) (*.f64 x 1/6) (*.f64 x 1/6) (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)) (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)) (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2)) (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (+.f64 x (*.f64 (*.f64 x x) (+.f64 (*.f64 x 1/6) 1/2))) (+.f64 (*.f64 x 1/6) 1/2) (+.f64 (*.f64 x 1/6) 1/2) (+.f64 (*.f64 x 1/6) 1/2) 0.924 * * * [progress]: adding candidates to table 0.971 * * [progress]: iteration 3 / 4 0.971 * * * [progress]: picking best candidate 0.973 * * * * [pick]: Picked # 0.974 * * * [progress]: localizing error 0.978 * * * [progress]: generating rewritten candidates 0.978 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.983 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.992 * * * [progress]: generating series expansions 0.992 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.992 * [approximate]: Taking taylor expansion of (- 1 (exp (neg x))) in (x) around 0 0.992 * [taylor]: Taking taylor expansion of (- 1 (exp (neg x))) in x 0.992 * [taylor]: Taking taylor expansion of 1 in x 0.992 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 0.992 * [taylor]: Taking taylor expansion of (neg x) in x 0.992 * [taylor]: Taking taylor expansion of x in x 0.992 * [taylor]: Taking taylor expansion of (- 1 (exp (neg x))) in x 0.992 * [taylor]: Taking taylor expansion of 1 in x 0.992 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 0.992 * [taylor]: Taking taylor expansion of (neg x) in x 0.992 * [taylor]: Taking taylor expansion of x in x 0.993 * [approximate]: Taking taylor expansion of (- 1 (exp (neg (/ 1 x)))) in (x) around 0 0.993 * [taylor]: Taking taylor expansion of (- 1 (exp (neg (/ 1 x)))) in x 0.993 * [taylor]: Taking taylor expansion of 1 in x 0.993 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 0.993 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.993 * [taylor]: Taking taylor expansion of (- 1 (exp (neg (/ 1 x)))) in x 0.993 * [taylor]: Taking taylor expansion of 1 in x 0.993 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 0.993 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.993 * [approximate]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0 0.993 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x 0.993 * [taylor]: Taking taylor expansion of 1 in x 0.993 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.994 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x 0.994 * [taylor]: Taking taylor expansion of 1 in x 0.994 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.994 * [taylor]: Taking taylor expansion of x in x 0.994 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.994 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (exp (neg x)))) in (x) around 0 0.994 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (exp (neg x)))) in x 0.994 * [taylor]: Taking taylor expansion of (- 1 (exp (neg x))) in x 0.994 * [taylor]: Taking taylor expansion of 1 in x 0.994 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 0.994 * [taylor]: Taking taylor expansion of (neg x) in x 0.994 * [taylor]: Taking taylor expansion of x in x 0.994 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (exp (neg x)))) in x 0.994 * [taylor]: Taking taylor expansion of (- 1 (exp (neg x))) in x 0.994 * [taylor]: Taking taylor expansion of 1 in x 0.994 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 0.994 * [taylor]: Taking taylor expansion of (neg x) in x 0.994 * [taylor]: Taking taylor expansion of x in x 0.995 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (exp (neg (/ 1 x))))) in (x) around 0 0.995 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (exp (neg (/ 1 x))))) in x 0.995 * [taylor]: Taking taylor expansion of (- 1 (exp (neg (/ 1 x)))) in x 0.995 * [taylor]: Taking taylor expansion of 1 in x 0.995 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 0.995 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.995 * [taylor]: Taking taylor expansion of x in x 0.995 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (exp (neg (/ 1 x))))) in x 0.995 * [taylor]: Taking taylor expansion of (- 1 (exp (neg (/ 1 x)))) in x 0.995 * [taylor]: Taking taylor expansion of 1 in x 0.995 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 0.995 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.995 * [taylor]: Taking taylor expansion of x in x 0.997 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (exp (/ 1 x)))) in (x) around 0 0.997 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (exp (/ 1 x)))) in x 0.997 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x 0.997 * [taylor]: Taking taylor expansion of 1 in x 0.997 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.997 * [taylor]: Taking taylor expansion of x in x 0.998 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (exp (/ 1 x)))) in x 0.998 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x 0.998 * [taylor]: Taking taylor expansion of 1 in x 0.998 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.998 * [taylor]: Taking taylor expansion of x in x 0.999 * * * [progress]: simplifying candidates 1.000 * [simplify]: Simplifying using # : (/.f64 (exp.f64 1) (exp.f64 (exp.f64 (neg.f64 x)))) (log.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (exp.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (*.f64 (*.f64 (-.f64 1 (exp.f64 (neg.f64 x))) (-.f64 1 (exp.f64 (neg.f64 x)))) (-.f64 1 (exp.f64 (neg.f64 x)))) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (-.f64 (pow.f64 1 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 1 (exp.f64 (neg.f64 x))))) (neg.f64 (exp.f64 (neg.f64 x))) (-.f64 (*.f64 1 1) (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x)))) (+.f64 1 (exp.f64 (neg.f64 x))) (+.f64 (sqrt.f64 1) (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 (sqrt.f64 1) (sqrt.f64 (exp.f64 (neg.f64 x)))) (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 1 (exp.f64 (neg.f64 x))) (neg.f64 1) (neg.f64 (log.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (-.f64 0 (log.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (-.f64 (log.f64 1) (log.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (log.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (exp.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (-.f64 1 (exp.f64 (neg.f64 x))) (-.f64 1 (exp.f64 (neg.f64 x)))) (-.f64 1 (exp.f64 (neg.f64 x))))) (*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (*.f64 (*.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (sqrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (sqrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (neg.f64 1) (neg.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 (cbrt.f64 1) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (+.f64 (sqrt.f64 1) (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (cbrt.f64 1) (-.f64 (sqrt.f64 1) (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (cbrt.f64 1) (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))))) (/.f64 (sqrt.f64 1) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 (sqrt.f64 1) (+.f64 (sqrt.f64 1) (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 1) (-.f64 (sqrt.f64 1) (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 1) (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 1) (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))))) (/.f64 1 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 1 (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 1 (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 1 1) (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 (sqrt.f64 1) (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 1) (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 (-.f64 1 (exp.f64 (neg.f64 x))) 1) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))))) (/.f64 1 (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 1 1) (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 1) (/.f64 (-.f64 1 (exp.f64 (neg.f64 x))) (cbrt.f64 1)) (/.f64 (-.f64 1 (exp.f64 (neg.f64 x))) (sqrt.f64 1)) (/.f64 (-.f64 1 (exp.f64 (neg.f64 x))) 1) (/.f64 1 (-.f64 (pow.f64 1 3) (pow.f64 (exp.f64 (neg.f64 x)) 3))) (/.f64 1 (-.f64 (*.f64 1 1) (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))))) (-.f64 (+.f64 (*.f64 1/6 (pow.f64 x 3)) x) (*.f64 1/2 (pow.f64 x 2))) (-.f64 1 (exp.f64 (neg.f64 x))) (-.f64 1 (exp.f64 (*.f64 -1 x))) (+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x))) (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (-.f64 1 (exp.f64 (*.f64 -1 x)))) 1.079 * * [simplify]: iteration 0 : 5282 enodes (cost 1034 ) 1.087 * [simplify]: Simplified to: (exp.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (log.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (exp.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (pow.f64 (-.f64 1 (exp.f64 (neg.f64 x))) 3) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (-.f64 1 (pow.f64 (exp.f64 x) -3)) (+.f64 1 (+.f64 (exp.f64 (neg.f64 x)) (pow.f64 (exp.f64 x) -2))) (/.f64 -1 (exp.f64 x)) (-.f64 1 (pow.f64 (exp.f64 x) -2)) (+.f64 1 (exp.f64 (neg.f64 x))) (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x)))) (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 1 (exp.f64 (neg.f64 x))) -1 (neg.f64 (log.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (neg.f64 (log.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (neg.f64 (log.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (neg.f64 (log.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (exp.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (pow.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) 3) (*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (pow.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) 3) (sqrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (sqrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) -1 (+.f64 (exp.f64 (neg.f64 x)) -1) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 (cbrt.f64 1) (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (cbrt.f64 1) (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (cbrt.f64 1) (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))))) (/.f64 1 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 1 (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 1 (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) 1 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) 1 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))))) (/.f64 1 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 1 (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) (/.f64 1 (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) 1 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) 1 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (-.f64 1 (exp.f64 (neg.f64 x))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 1 (exp.f64 (neg.f64 x)))))) (/.f64 1 (sqrt.f64 (-.f64 1 (exp.f64 (neg.f64 x))))) 1 (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) 1 (/.f64 (-.f64 1 (exp.f64 (neg.f64 x))) (cbrt.f64 1)) (-.f64 1 (exp.f64 (neg.f64 x))) (-.f64 1 (exp.f64 (neg.f64 x))) (/.f64 1 (-.f64 1 (pow.f64 (exp.f64 x) -3))) (/.f64 1 (-.f64 1 (pow.f64 (exp.f64 x) -2))) (+.f64 x (*.f64 x (*.f64 x (+.f64 -1/2 (*.f64 x 1/6))))) (-.f64 1 (exp.f64 (neg.f64 x))) (-.f64 1 (exp.f64 (neg.f64 x))) (+.f64 1/2 (+.f64 (*.f64 x 1/12) (/.f64 1 x))) (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x)))) 1.087 * * * [progress]: adding candidates to table 1.120 * * [progress]: iteration 4 / 4 1.120 * * * [progress]: picking best candidate 1.121 * * * * [pick]: Picked # 1.121 * * * [progress]: localizing error 1.129 * * * [progress]: generating rewritten candidates 1.130 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 1.135 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.151 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 1.160 * * * [progress]: generating series expansions 1.160 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 1.160 * [approximate]: Taking taylor expansion of (- (exp x) (exp (neg x))) in (x) around 0 1.160 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x 1.160 * [taylor]: Taking taylor expansion of (exp x) in x 1.160 * [taylor]: Taking taylor expansion of x in x 1.160 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 1.160 * [taylor]: Taking taylor expansion of (neg x) in x 1.160 * [taylor]: Taking taylor expansion of x in x 1.160 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x 1.160 * [taylor]: Taking taylor expansion of (exp x) in x 1.160 * [taylor]: Taking taylor expansion of x in x 1.160 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 1.160 * [taylor]: Taking taylor expansion of (neg x) in x 1.160 * [taylor]: Taking taylor expansion of x in x 1.162 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in (x) around 0 1.162 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 1.162 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.162 * [taylor]: Taking taylor expansion of x in x 1.162 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 1.162 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 1.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.162 * [taylor]: Taking taylor expansion of x in x 1.163 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 1.163 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.163 * [taylor]: Taking taylor expansion of x in x 1.163 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 1.163 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 1.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.163 * [taylor]: Taking taylor expansion of x in x 1.163 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 1.163 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1.163 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.163 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.163 * [taylor]: Taking taylor expansion of -1 in x 1.163 * [taylor]: Taking taylor expansion of x in x 1.163 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.163 * [taylor]: Taking taylor expansion of x in x 1.163 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1.164 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.164 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.164 * [taylor]: Taking taylor expansion of -1 in x 1.164 * [taylor]: Taking taylor expansion of x in x 1.164 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.164 * [taylor]: Taking taylor expansion of x in x 1.164 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.164 * [approximate]: Taking taylor expansion of (/ (+ (exp x) 1) (- (exp x) (exp (neg x)))) in (x) around 0 1.164 * [taylor]: Taking taylor expansion of (/ (+ (exp x) 1) (- (exp x) (exp (neg x)))) in x 1.164 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 1.164 * [taylor]: Taking taylor expansion of (exp x) in x 1.164 * [taylor]: Taking taylor expansion of x in x 1.164 * [taylor]: Taking taylor expansion of 1 in x 1.164 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x 1.164 * [taylor]: Taking taylor expansion of (exp x) in x 1.164 * [taylor]: Taking taylor expansion of x in x 1.164 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 1.164 * [taylor]: Taking taylor expansion of (neg x) in x 1.164 * [taylor]: Taking taylor expansion of x in x 1.165 * [taylor]: Taking taylor expansion of (/ (+ (exp x) 1) (- (exp x) (exp (neg x)))) in x 1.165 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 1.165 * [taylor]: Taking taylor expansion of (exp x) in x 1.165 * [taylor]: Taking taylor expansion of x in x 1.165 * [taylor]: Taking taylor expansion of 1 in x 1.165 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x 1.165 * [taylor]: Taking taylor expansion of (exp x) in x 1.165 * [taylor]: Taking taylor expansion of x in x 1.165 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 1.165 * [taylor]: Taking taylor expansion of (neg x) in x 1.165 * [taylor]: Taking taylor expansion of x in x 1.166 * [approximate]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) 1) (- (exp (/ 1 x)) (exp (neg (/ 1 x))))) in (x) around 0 1.166 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) 1) (- (exp (/ 1 x)) (exp (neg (/ 1 x))))) in x 1.166 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1.166 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.166 * [taylor]: Taking taylor expansion of x in x 1.166 * [taylor]: Taking taylor expansion of 1 in x 1.166 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 1.166 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.166 * [taylor]: Taking taylor expansion of x in x 1.166 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 1.166 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 1.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.166 * [taylor]: Taking taylor expansion of x in x 1.166 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) 1) (- (exp (/ 1 x)) (exp (neg (/ 1 x))))) in x 1.166 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1.166 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.166 * [taylor]: Taking taylor expansion of x in x 1.166 * [taylor]: Taking taylor expansion of 1 in x 1.166 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 1.166 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.167 * [taylor]: Taking taylor expansion of x in x 1.167 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 1.167 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 1.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.167 * [taylor]: Taking taylor expansion of x in x 1.170 * [approximate]: Taking taylor expansion of (/ (+ (exp (/ -1 x)) 1) (- (exp (/ -1 x)) (exp (/ 1 x)))) in (x) around 0 1.170 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ -1 x)) 1) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 1.170 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1.170 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.170 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.170 * [taylor]: Taking taylor expansion of -1 in x 1.170 * [taylor]: Taking taylor expansion of x in x 1.170 * [taylor]: Taking taylor expansion of 1 in x 1.170 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1.170 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.170 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.170 * [taylor]: Taking taylor expansion of -1 in x 1.170 * [taylor]: Taking taylor expansion of x in x 1.170 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.170 * [taylor]: Taking taylor expansion of x in x 1.171 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ -1 x)) 1) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 1.171 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1.171 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.171 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.171 * [taylor]: Taking taylor expansion of -1 in x 1.171 * [taylor]: Taking taylor expansion of x in x 1.171 * [taylor]: Taking taylor expansion of 1 in x 1.171 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1.171 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.171 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.171 * [taylor]: Taking taylor expansion of -1 in x 1.171 * [taylor]: Taking taylor expansion of x in x 1.171 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.171 * [taylor]: Taking taylor expansion of x in x 1.174 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 1.174 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0 1.174 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 1.174 * [taylor]: Taking taylor expansion of (exp x) in x 1.174 * [taylor]: Taking taylor expansion of x in x 1.174 * [taylor]: Taking taylor expansion of 1 in x 1.174 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 1.174 * [taylor]: Taking taylor expansion of (exp x) in x 1.174 * [taylor]: Taking taylor expansion of x in x 1.174 * [taylor]: Taking taylor expansion of 1 in x 1.175 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0 1.175 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1.175 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.175 * [taylor]: Taking taylor expansion of x in x 1.175 * [taylor]: Taking taylor expansion of 1 in x 1.175 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1.175 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.175 * [taylor]: Taking taylor expansion of x in x 1.175 * [taylor]: Taking taylor expansion of 1 in x 1.175 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0 1.175 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1.175 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.175 * [taylor]: Taking taylor expansion of -1 in x 1.175 * [taylor]: Taking taylor expansion of x in x 1.175 * [taylor]: Taking taylor expansion of 1 in x 1.175 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1.175 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.175 * [taylor]: Taking taylor expansion of -1 in x 1.175 * [taylor]: Taking taylor expansion of x in x 1.175 * [taylor]: Taking taylor expansion of 1 in x 1.176 * * * [progress]: simplifying candidates 1.177 * [simplify]: Simplifying using # : (sinh.f64 x) (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 (exp.f64 (neg.f64 x)))) (log.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (exp.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (neg.f64 (exp.f64 (neg.f64 x))) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (+.f64 (neg.f64 (log.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (log.f64 (+.f64 (exp.f64 x) 1))) (+.f64 (-.f64 0 (log.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (log.f64 (+.f64 (exp.f64 x) 1))) (+.f64 (-.f64 (log.f64 1) (log.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (log.f64 (+.f64 (exp.f64 x) 1))) (+.f64 (log.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (log.f64 (+.f64 (exp.f64 x) 1))) (log.f64 (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1))) (exp.f64 (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1))) (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (*.f64 (*.f64 (+.f64 (exp.f64 x) 1) (+.f64 (exp.f64 x) 1)) (+.f64 (exp.f64 x) 1))) (*.f64 (*.f64 (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (*.f64 (*.f64 (+.f64 (exp.f64 x) 1) (+.f64 (exp.f64 x) 1)) (+.f64 (exp.f64 x) 1))) (*.f64 (cbrt.f64 (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1))) (cbrt.f64 (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)))) (cbrt.f64 (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1))) (*.f64 (*.f64 (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1))) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1))) (sqrt.f64 (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1))) (sqrt.f64 (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1))) (*.f64 1 (+.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1 3))) (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (-.f64 (*.f64 1 1) (*.f64 (exp.f64 x) 1)))) (*.f64 1 (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1 1))) (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (-.f64 (exp.f64 x) 1)) (*.f64 (sqrt.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (+.f64 (exp.f64 x) 1))) (*.f64 (sqrt.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (+.f64 (exp.f64 x) 1))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (+.f64 (exp.f64 x) 1))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (+.f64 (exp.f64 x) 1))) (*.f64 (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (+.f64 (exp.f64 x) 1))) (*.f64 (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (+.f64 (exp.f64 x) 1))) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (exp.f64 x)) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1) (*.f64 (exp.f64 x) (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (*.f64 1 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (cbrt.f64 (+.f64 (exp.f64 x) 1)) (cbrt.f64 (+.f64 (exp.f64 x) 1)))) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (sqrt.f64 (+.f64 (exp.f64 x) 1))) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1) (*.f64 (cbrt.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (sqrt.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (cbrt.f64 1) (sinh.f64 x)) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (cbrt.f64 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (cbrt.f64 1) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (cbrt.f64 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (sqrt.f64 1) (sinh.f64 x)) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (sqrt.f64 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (sqrt.f64 1) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 (sqrt.f64 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (sinh.f64 x)) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1)) (*.f64 (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (exp.f64 x) 1)) (*.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) 1)) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1 3))) (*.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1 1))) (*.f64 1 (+.f64 (exp.f64 x) 1)) (*.f64 (exp.f64 (exp.f64 x)) (exp.f64 1)) (log.f64 (+.f64 (exp.f64 x) 1)) (exp.f64 (+.f64 (exp.f64 x) 1)) (*.f64 (cbrt.f64 (+.f64 (exp.f64 x) 1)) (cbrt.f64 (+.f64 (exp.f64 x) 1))) (cbrt.f64 (+.f64 (exp.f64 x) 1)) (*.f64 (*.f64 (+.f64 (exp.f64 x) 1) (+.f64 (exp.f64 x) 1)) (+.f64 (exp.f64 x) 1)) (sqrt.f64 (+.f64 (exp.f64 x) 1)) (sqrt.f64 (+.f64 (exp.f64 x) 1)) (+.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (-.f64 (*.f64 1 1) (*.f64 (exp.f64 x) 1))) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1 1)) (-.f64 (exp.f64 x) 1) (+.f64 (exp.f64 x) 1) (+.f64 (*.f64 1/3 (pow.f64 x 3)) (+.f64 (*.f64 1/60 (pow.f64 x 5)) (*.f64 2 x))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) (+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 x 2)) (+.f64 (exp.f64 x) 1) (+.f64 (exp.f64 x) 1) 1.256 * * [simplify]: iteration 0 : 5035 enodes (cost 1607 ) 1.264 * [simplify]: Simplified to: (sinh.f64 x) (exp.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (log.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (exp.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 3) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 x) -3)) (+.f64 (pow.f64 (exp.f64 x) 2) (+.f64 (pow.f64 (exp.f64 x) -2) 1)) (/.f64 -1 (exp.f64 x)) (-.f64 (pow.f64 (exp.f64 x) 2) (pow.f64 (exp.f64 x) -2)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x)))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (log.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (log.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (log.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (log.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (log.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (exp.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (pow.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3) (pow.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3) (*.f64 (cbrt.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (cbrt.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))) (cbrt.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (pow.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3) (sqrt.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (+.f64 (pow.f64 (exp.f64 x) 3) 1) (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (pow.f64 (exp.f64 x) 2) (-.f64 1 (exp.f64 x)))) (+.f64 (pow.f64 (exp.f64 x) 2) -1) (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (-.f64 (exp.f64 x) 1)) (*.f64 (sqrt.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (+.f64 (exp.f64 x) 1))) (*.f64 (sqrt.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (+.f64 (exp.f64 x) 1))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (pow.f64 (exp.f64 x) -2))) (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 1 (-.f64 1 (pow.f64 (exp.f64 x) -2))) (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 x) 1)) (cbrt.f64 (+.f64 (exp.f64 x) 1))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 x) 1)) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (+.f64 (exp.f64 x) 1) (cbrt.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))) (*.f64 (+.f64 (exp.f64 x) 1) (sqrt.f64 (/.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))) (*.f64 (+.f64 (exp.f64 x) 1) (/.f64 (cbrt.f64 1) (sinh.f64 x))) (*.f64 (+.f64 (exp.f64 x) 1) (/.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))) (*.f64 (+.f64 (exp.f64 x) 1) (/.f64 (cbrt.f64 1) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))) (*.f64 (+.f64 (exp.f64 x) 1) (/.f64 (cbrt.f64 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (*.f64 (+.f64 (exp.f64 x) 1) (/.f64 (cbrt.f64 1) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x)))))) (*.f64 (+.f64 (exp.f64 x) 1) (/.f64 (cbrt.f64 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 (+.f64 (exp.f64 x) 1) (sinh.f64 x)) (/.f64 (+.f64 (exp.f64 x) 1) (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 (+.f64 (exp.f64 x) 1) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (exp.f64 x) 1) (sinh.f64 x)) (/.f64 (+.f64 (exp.f64 x) 1) (cbrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 (+.f64 (exp.f64 x) 1) (sqrt.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (*.f64 (+.f64 (pow.f64 (exp.f64 x) 2) (+.f64 (pow.f64 (exp.f64 x) -2) 1)) (+.f64 (exp.f64 x) 1)) (*.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) 1)) (/.f64 (+.f64 (pow.f64 (exp.f64 x) 3) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (pow.f64 (exp.f64 x) 2) -1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) 1) (exp.f64 (+.f64 (exp.f64 x) 1)) (log.f64 (+.f64 (exp.f64 x) 1)) (exp.f64 (+.f64 (exp.f64 x) 1)) (*.f64 (cbrt.f64 (+.f64 (exp.f64 x) 1)) (cbrt.f64 (+.f64 (exp.f64 x) 1))) (cbrt.f64 (+.f64 (exp.f64 x) 1)) (pow.f64 (+.f64 (exp.f64 x) 1) 3) (sqrt.f64 (+.f64 (exp.f64 x) 1)) (sqrt.f64 (+.f64 (exp.f64 x) 1)) (+.f64 (pow.f64 (exp.f64 x) 3) 1) (+.f64 (pow.f64 (exp.f64 x) 2) (-.f64 1 (exp.f64 x))) (+.f64 (pow.f64 (exp.f64 x) 2) -1) (-.f64 (exp.f64 x) 1) (+.f64 (exp.f64 x) 1) (+.f64 (*.f64 1/3 (pow.f64 x 3)) (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 1/2 (+.f64 (*.f64 x 1/12) (/.f64 1 x))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (/.f64 (+.f64 (exp.f64 x) 1) (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (+.f64 (*.f64 1/2 (*.f64 x x)) (+.f64 x 2)) (+.f64 (exp.f64 x) 1) (+.f64 (exp.f64 x) 1) 1.265 * * * [progress]: adding candidates to table 1.313 * [progress]: [Phase 3 of 3] Extracting. 1.313 * * [regime]: Finding splitpoints for: (# # #) 1.313 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.313 * * * * [regimes]: Trying to branch on x from (# # #) 1.328 * * * [regime]: Found split indices: #