1.023 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.572 * * * [progress]: [2/2] Setting up program. 0.576 * [progress]: [Phase 2 of 3] Improving. 0.578 * [simplify]: Simplifying using # : (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) 1.045 * * [simplify]: iteration 0 : 5131 enodes (cost 12 ) 1.046 * [simplify]: Simplified to: (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) 1.048 * * [progress]: iteration 1 / 4 1.048 * * * [progress]: picking best candidate 1.051 * * * * [pick]: Picked # 1.051 * * * [progress]: localizing error 1.061 * * * [progress]: generating rewritten candidates 1.061 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.068 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.082 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.093 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.109 * * * [progress]: generating series expansions 1.109 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.113 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.114 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.114 * [taylor]: Taking taylor expansion of (exp x) in x 1.114 * [taylor]: Taking taylor expansion of x in x 1.114 * [taylor]: Taking taylor expansion of 1.0 in x 1.114 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.114 * [taylor]: Taking taylor expansion of (exp x) in x 1.114 * [taylor]: Taking taylor expansion of x in x 1.114 * [taylor]: Taking taylor expansion of 1.0 in x 1.119 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.119 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.119 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.119 * [taylor]: Taking taylor expansion of 1.0 in x 1.119 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.119 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of 1.0 in x 1.120 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.120 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.120 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.120 * [taylor]: Taking taylor expansion of -1 in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of 1.0 in x 1.120 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.120 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.120 * [taylor]: Taking taylor expansion of -1 in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.121 * [taylor]: Taking taylor expansion of 1.0 in x 1.121 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.121 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 1.121 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.121 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.121 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.121 * [taylor]: Taking taylor expansion of 2.0 in x 1.121 * [taylor]: Taking taylor expansion of x in x 1.121 * [taylor]: Taking taylor expansion of 1.0 in x 1.121 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.121 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.121 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.121 * [taylor]: Taking taylor expansion of 2.0 in x 1.121 * [taylor]: Taking taylor expansion of x in x 1.121 * [taylor]: Taking taylor expansion of 1.0 in x 1.123 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 1.123 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.123 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.123 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.123 * [taylor]: Taking taylor expansion of 2.0 in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.123 * [taylor]: Taking taylor expansion of 1.0 in x 1.123 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.123 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.123 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.123 * [taylor]: Taking taylor expansion of 2.0 in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.123 * [taylor]: Taking taylor expansion of 1.0 in x 1.123 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 1.123 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.123 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.123 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.123 * [taylor]: Taking taylor expansion of -2.0 in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.124 * [taylor]: Taking taylor expansion of 1.0 in x 1.124 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.124 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.124 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.124 * [taylor]: Taking taylor expansion of -2.0 in x 1.124 * [taylor]: Taking taylor expansion of x in x 1.124 * [taylor]: Taking taylor expansion of 1.0 in x 1.124 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.124 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in (x) around 0 1.124 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.124 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.124 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.124 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.124 * [taylor]: Taking taylor expansion of 2.0 in x 1.124 * [taylor]: Taking taylor expansion of x in x 1.124 * [taylor]: Taking taylor expansion of 1.0 in x 1.124 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.124 * [taylor]: Taking taylor expansion of (exp x) in x 1.124 * [taylor]: Taking taylor expansion of x in x 1.125 * [taylor]: Taking taylor expansion of 1.0 in x 1.125 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.125 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.125 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.125 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.125 * [taylor]: Taking taylor expansion of 2.0 in x 1.125 * [taylor]: Taking taylor expansion of x in x 1.125 * [taylor]: Taking taylor expansion of 1.0 in x 1.125 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.125 * [taylor]: Taking taylor expansion of (exp x) in x 1.125 * [taylor]: Taking taylor expansion of x in x 1.125 * [taylor]: Taking taylor expansion of 1.0 in x 1.127 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in (x) around 0 1.127 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.127 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.127 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.127 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.127 * [taylor]: Taking taylor expansion of 2.0 in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of 1.0 in x 1.127 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.127 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of 1.0 in x 1.127 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.127 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.127 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.127 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.127 * [taylor]: Taking taylor expansion of 2.0 in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of 1.0 in x 1.127 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.127 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of 1.0 in x 1.130 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in (x) around 0 1.130 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.131 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.131 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.131 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.131 * [taylor]: Taking taylor expansion of -2.0 in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.131 * [taylor]: Taking taylor expansion of 1.0 in x 1.131 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.131 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.131 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.131 * [taylor]: Taking taylor expansion of -1 in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.131 * [taylor]: Taking taylor expansion of 1.0 in x 1.131 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.131 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.131 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.131 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.131 * [taylor]: Taking taylor expansion of -2.0 in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.131 * [taylor]: Taking taylor expansion of 1.0 in x 1.131 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.131 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.131 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.131 * [taylor]: Taking taylor expansion of -1 in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.131 * [taylor]: Taking taylor expansion of 1.0 in x 1.134 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.134 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in (x) around 0 1.134 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.134 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.134 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.134 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.135 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.135 * [taylor]: Taking taylor expansion of 2.0 in x 1.135 * [taylor]: Taking taylor expansion of x in x 1.135 * [taylor]: Taking taylor expansion of 1.0 in x 1.135 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.135 * [taylor]: Taking taylor expansion of (exp x) in x 1.135 * [taylor]: Taking taylor expansion of x in x 1.135 * [taylor]: Taking taylor expansion of 1.0 in x 1.135 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.135 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.135 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.136 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.136 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.136 * [taylor]: Taking taylor expansion of 2.0 in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.136 * [taylor]: Taking taylor expansion of 1.0 in x 1.136 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.136 * [taylor]: Taking taylor expansion of (exp x) in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.136 * [taylor]: Taking taylor expansion of 1.0 in x 1.138 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in (x) around 0 1.138 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.138 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.138 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.138 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.138 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.138 * [taylor]: Taking taylor expansion of 2.0 in x 1.138 * [taylor]: Taking taylor expansion of x in x 1.139 * [taylor]: Taking taylor expansion of 1.0 in x 1.139 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.139 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.139 * [taylor]: Taking taylor expansion of 1.0 in x 1.139 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.139 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.139 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.139 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.139 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.139 * [taylor]: Taking taylor expansion of 2.0 in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.140 * [taylor]: Taking taylor expansion of 1.0 in x 1.140 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.140 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.140 * [taylor]: Taking taylor expansion of x in x 1.140 * [taylor]: Taking taylor expansion of 1.0 in x 1.144 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in (x) around 0 1.144 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.144 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.144 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.144 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.144 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.144 * [taylor]: Taking taylor expansion of -2.0 in x 1.144 * [taylor]: Taking taylor expansion of x in x 1.144 * [taylor]: Taking taylor expansion of 1.0 in x 1.144 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.144 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.144 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.144 * [taylor]: Taking taylor expansion of -1 in x 1.144 * [taylor]: Taking taylor expansion of x in x 1.144 * [taylor]: Taking taylor expansion of 1.0 in x 1.145 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.145 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.145 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.145 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.145 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.145 * [taylor]: Taking taylor expansion of -2.0 in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of 1.0 in x 1.145 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.145 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.145 * [taylor]: Taking taylor expansion of -1 in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of 1.0 in x 1.149 * * * [progress]: simplifying candidates 1.151 * [simplify]: Simplifying using # : (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (*.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0)) (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 1.0 1.0) (*.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (/.f64 (exp.f64 (exp.f64 (*.f64 2.0 x))) (exp.f64 1.0)) (log.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (exp.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (*.f64 (*.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (pow.f64 (exp.f64 (*.f64 2.0 x)) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 (exp.f64 (*.f64 2.0 x)) (exp.f64 (*.f64 2.0 x))) (+.f64 (*.f64 1.0 1.0) (*.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (neg.f64 1.0) (-.f64 (*.f64 (exp.f64 (*.f64 2.0 x)) (exp.f64 (*.f64 2.0 x))) (*.f64 1.0 1.0)) (+.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (log.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0))) (log.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (exp.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (/.f64 (*.f64 (*.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (*.f64 (*.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0)) (-.f64 (exp.f64 x) 1.0))) (*.f64 (cbrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (cbrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (*.f64 (*.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (neg.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (neg.f64 (-.f64 (exp.f64 x) 1.0)) (/.f64 (exp.f64 (*.f64 2.0 x)) (-.f64 (exp.f64 x) 1.0)) (/.f64 1.0 (-.f64 (exp.f64 x) 1.0)) (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) 1) (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) 1) (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) 1) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) 1) (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 1 1) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 1 1) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) 1) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) 1) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 1 1) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 1 1) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (-.f64 (exp.f64 x) 1.0)) (/.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) 1) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) 1) (/.f64 (-.f64 (exp.f64 x) 1.0) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (/.f64 (-.f64 (exp.f64 x) 1.0) (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (/.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (/.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0))) (/.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3))) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1.0 1.0))) (*.f64 (-.f64 (exp.f64 x) 1.0) (+.f64 (*.f64 (exp.f64 (*.f64 2.0 x)) (exp.f64 (*.f64 2.0 x))) (+.f64 (*.f64 1.0 1.0) (*.f64 (exp.f64 (*.f64 2.0 x)) 1.0)))) (*.f64 (-.f64 (exp.f64 x) 1.0) (+.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (log.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (exp.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (cbrt.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))))) (cbrt.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (*.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (cbrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) 1)) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0))) 1)) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) 1)) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) 1)) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 1 1)) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 1 1)) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) 1)) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) 1)) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 2.0 x))) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 1 1)) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 1 1)) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 1) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (/.f64 1 (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)))) (sqrt.f64 (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 1.0 1.0) (*.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1.0 1.0)))) (sqrt.f64 (+.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)))) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/6 (pow.f64 x 3)) x)) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (+.f64 (*.f64 2.0 (pow.f64 x 2)) (+.f64 (*.f64 1.3333333333333333 (pow.f64 x 3)) (*.f64 2.0 x))) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (+.f64 (*.f64 0.5 (pow.f64 x 2)) (+.f64 (*.f64 1.0 x) 2.0)) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0)) (-.f64 (+.f64 (*.f64 0.25 (/.f64 (pow.f64 x 2) (sqrt.f64 2.0))) (+.f64 (sqrt.f64 2.0) (*.f64 0.5 (/.f64 x (sqrt.f64 2.0))))) (*.f64 0.125 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 2.0) 3)))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2.0 x)) 1.0) (-.f64 (exp.f64 x) 1.0))) 1.182 * * [simplify]: iteration 0 : 5066 enodes (cost 2150 ) 1.190 * [simplify]: Simplified to: (exp.f64 (-.f64 (exp.f64 x) 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (pow.f64 (-.f64 (exp.f64 x) 1.0) 3) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 (+.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (exp.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (log.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (exp.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (pow.f64 (pow.f64 (exp.f64 x) 2.0) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 1.0 1.0) (*.f64 (pow.f64 (exp.f64 x) 2.0) (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0)))) (neg.f64 1.0) (-.f64 (pow.f64 (exp.f64 x) (+.f64 2.0 2.0)) (*.f64 1.0 1.0)) (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0)) (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (log.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (log.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (exp.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (pow.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (pow.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)) 3) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (-.f64 1.0 (pow.f64 (exp.f64 x) 2.0)) (-.f64 1.0 (exp.f64 x)) (/.f64 (pow.f64 (exp.f64 x) 2.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 1.0 (-.f64 (exp.f64 x) 1.0)) (/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) 1 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) 1 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) 1 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) 1 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 1 (-.f64 (exp.f64 x) 1.0)) (/.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0))) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0))) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (/.f64 (-.f64 (exp.f64 x) 1.0) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (/.f64 (-.f64 (exp.f64 x) 1.0) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (/.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (/.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (/.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 1.0))) (*.f64 (-.f64 (exp.f64 x) 1.0) (+.f64 (*.f64 1.0 1.0) (*.f64 (pow.f64 (exp.f64 x) 2.0) (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0))))) (*.f64 (-.f64 (exp.f64 x) 1.0) (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0))) (log.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (exp.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (cbrt.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))))) (cbrt.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (pow.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) 3) (fabs.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (fabs.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (fabs.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (fabs.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (sqrt.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) 1 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) 1 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)))) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)))) (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)))) 1 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)))) 1 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) 1 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (/.f64 1 (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)))) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 (+.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 1.0)))) (sqrt.f64 (+.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) 1/2 (sqrt.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (sqrt.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)))) (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (+.f64 (*.f64 x 2.0) (*.f64 (*.f64 x x) (+.f64 2.0 (*.f64 x 1.3333333333333333)))) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)) (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0)) (+.f64 (sqrt.f64 2.0) (+.f64 (*.f64 0.5 (/.f64 x (sqrt.f64 2.0))) (*.f64 (/.f64 (*.f64 x x) (sqrt.f64 2.0)) (-.f64 0.25 (/.f64 0.125 2.0))))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) (sqrt.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (exp.f64 x) 1.0))) 1.191 * * * [progress]: adding candidates to table 1.344 * * [progress]: iteration 2 / 4 1.344 * * * [progress]: picking best candidate 1.351 * * * * [pick]: Picked # 1.351 * * * [progress]: localizing error 1.359 * * * [progress]: generating rewritten candidates 1.359 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.363 * * * [progress]: generating series expansions 1.363 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.363 * [approximate]: Taking taylor expansion of (sqrt (+ (* 0.5 (pow x 2)) (+ (* 1.0 x) 2.0))) in (x) around 0 1.363 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (pow x 2)) (+ (* 1.0 x) 2.0))) in x 1.363 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow x 2)) (+ (* 1.0 x) 2.0)) in x 1.363 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x 1.363 * [taylor]: Taking taylor expansion of 0.5 in x 1.363 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.363 * [taylor]: Taking taylor expansion of x in x 1.363 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 2.0) in x 1.363 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.363 * [taylor]: Taking taylor expansion of 1.0 in x 1.363 * [taylor]: Taking taylor expansion of x in x 1.363 * [taylor]: Taking taylor expansion of 2.0 in x 1.364 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (pow x 2)) (+ (* 1.0 x) 2.0))) in x 1.364 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow x 2)) (+ (* 1.0 x) 2.0)) in x 1.364 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x 1.364 * [taylor]: Taking taylor expansion of 0.5 in x 1.364 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.364 * [taylor]: Taking taylor expansion of x in x 1.364 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 2.0) in x 1.364 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.364 * [taylor]: Taking taylor expansion of 1.0 in x 1.364 * [taylor]: Taking taylor expansion of x in x 1.364 * [taylor]: Taking taylor expansion of 2.0 in x 1.365 * [approximate]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) 2.0))) in (x) around 0 1.365 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) 2.0))) in x 1.365 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) 2.0)) in x 1.365 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 1.365 * [taylor]: Taking taylor expansion of 0.5 in x 1.365 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.365 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.365 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 2.0) in x 1.366 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of 1.0 in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of 2.0 in x 1.366 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) 2.0))) in x 1.366 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) 2.0)) in x 1.366 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 1.366 * [taylor]: Taking taylor expansion of 0.5 in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.366 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 2.0) in x 1.366 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of 1.0 in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of 2.0 in x 1.368 * [approximate]: Taking taylor expansion of (sqrt (- (+ (* 0.5 (/ 1 (pow x 2))) 2.0) (* 1.0 (/ 1 x)))) in (x) around 0 1.368 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 0.5 (/ 1 (pow x 2))) 2.0) (* 1.0 (/ 1 x)))) in x 1.368 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (pow x 2))) 2.0) (* 1.0 (/ 1 x))) in x 1.368 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow x 2))) 2.0) in x 1.368 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 1.368 * [taylor]: Taking taylor expansion of 0.5 in x 1.368 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.368 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.368 * [taylor]: Taking taylor expansion of 2.0 in x 1.368 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.368 * [taylor]: Taking taylor expansion of 1.0 in x 1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.368 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 0.5 (/ 1 (pow x 2))) 2.0) (* 1.0 (/ 1 x)))) in x 1.368 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (pow x 2))) 2.0) (* 1.0 (/ 1 x))) in x 1.368 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow x 2))) 2.0) in x 1.368 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 1.368 * [taylor]: Taking taylor expansion of 0.5 in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.369 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.369 * [taylor]: Taking taylor expansion of x in x 1.369 * [taylor]: Taking taylor expansion of 2.0 in x 1.369 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.369 * [taylor]: Taking taylor expansion of 1.0 in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.369 * [taylor]: Taking taylor expansion of x in x 1.370 * * * [progress]: simplifying candidates 1.370 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (exp.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (cbrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))))) (cbrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))) (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))) (cbrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))))) (sqrt.f64 (cbrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 1) (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))) (sqrt.f64 (+.f64 (pow.f64 2.0 3) (pow.f64 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)) 3))) (sqrt.f64 (+.f64 (*.f64 2.0 2.0) (-.f64 (*.f64 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)) (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))) (*.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))))) (sqrt.f64 (-.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)) (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (-.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (-.f64 (+.f64 (*.f64 0.25 (/.f64 (pow.f64 x 2) (sqrt.f64 2.0))) (+.f64 (sqrt.f64 2.0) (*.f64 0.5 (/.f64 x (sqrt.f64 2.0))))) (*.f64 0.125 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 2.0) 3)))) (-.f64 (+.f64 (*.f64 1.0 (/.f64 1 (*.f64 x (sqrt.f64 0.5)))) (+.f64 (*.f64 x (sqrt.f64 0.5)) (*.f64 0.5 (/.f64 1 (sqrt.f64 0.5))))) (*.f64 0.125 (/.f64 1 (*.f64 x (pow.f64 (sqrt.f64 0.5) 3))))) (-.f64 (*.f64 0.125 (/.f64 1 (*.f64 x (pow.f64 (sqrt.f64 0.5) 3)))) (+.f64 (*.f64 1.0 (/.f64 1 (*.f64 x (sqrt.f64 0.5)))) (+.f64 (*.f64 x (sqrt.f64 0.5)) (*.f64 0.5 (/.f64 1 (sqrt.f64 0.5)))))) 1.395 * * [simplify]: iteration 0 : 5259 enodes (cost 280 ) 1.396 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (exp.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (cbrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))))) (cbrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (pow.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))) 3) (fabs.f64 (cbrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (cbrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) 1 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))) (sqrt.f64 (+.f64 (pow.f64 2.0 3) (pow.f64 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)) 3))) (sqrt.f64 (+.f64 (*.f64 2.0 2.0) (*.f64 x (*.f64 (+.f64 (*.f64 x 0.5) 1.0) (-.f64 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)) 2.0))))) (sqrt.f64 (-.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)) (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (-.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0)))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (sqrt.f64 (sqrt.f64 (+.f64 2.0 (*.f64 x (+.f64 (*.f64 x 0.5) 1.0))))) (+.f64 (sqrt.f64 2.0) (+.f64 (*.f64 0.5 (/.f64 x (sqrt.f64 2.0))) (*.f64 (/.f64 (*.f64 x x) (sqrt.f64 2.0)) (-.f64 0.25 (/.f64 0.125 2.0))))) (-.f64 (+.f64 (/.f64 1.0 (*.f64 x (sqrt.f64 0.5))) (+.f64 (sqrt.f64 0.5) (*.f64 x (sqrt.f64 0.5)))) (/.f64 0.125 (*.f64 x (*.f64 0.5 (sqrt.f64 0.5))))) (-.f64 (/.f64 0.125 (*.f64 x (*.f64 0.5 (sqrt.f64 0.5)))) (+.f64 (/.f64 1.0 (*.f64 x (sqrt.f64 0.5))) (+.f64 (sqrt.f64 0.5) (*.f64 x (sqrt.f64 0.5))))) 1.396 * * * [progress]: adding candidates to table 1.416 * * [progress]: iteration 3 / 4 1.416 * * * [progress]: picking best candidate 1.421 * * * * [pick]: Picked # 1.421 * * * [progress]: localizing error 1.438 * * * [progress]: generating rewritten candidates 1.438 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1) 1.445 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1) 1.450 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1) 1.455 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 1.465 * * * [progress]: generating series expansions 1.466 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1) 1.466 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.466 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.466 * [taylor]: Taking taylor expansion of (exp x) in x 1.466 * [taylor]: Taking taylor expansion of x in x 1.466 * [taylor]: Taking taylor expansion of 1.0 in x 1.466 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.466 * [taylor]: Taking taylor expansion of (exp x) in x 1.466 * [taylor]: Taking taylor expansion of x in x 1.466 * [taylor]: Taking taylor expansion of 1.0 in x 1.467 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.467 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.467 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.467 * [taylor]: Taking taylor expansion of 1.0 in x 1.467 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.467 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.467 * [taylor]: Taking taylor expansion of 1.0 in x 1.467 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.467 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.467 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.467 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.467 * [taylor]: Taking taylor expansion of -1 in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.468 * [taylor]: Taking taylor expansion of 1.0 in x 1.468 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.468 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.468 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.468 * [taylor]: Taking taylor expansion of -1 in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.468 * [taylor]: Taking taylor expansion of 1.0 in x 1.468 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1) 1.468 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.468 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.468 * [taylor]: Taking taylor expansion of (exp x) in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.468 * [taylor]: Taking taylor expansion of 1.0 in x 1.468 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.468 * [taylor]: Taking taylor expansion of (exp x) in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.468 * [taylor]: Taking taylor expansion of 1.0 in x 1.469 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.469 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.469 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.469 * [taylor]: Taking taylor expansion of x in x 1.469 * [taylor]: Taking taylor expansion of 1.0 in x 1.469 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.469 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.469 * [taylor]: Taking taylor expansion of x in x 1.469 * [taylor]: Taking taylor expansion of 1.0 in x 1.470 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.470 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.470 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.470 * [taylor]: Taking taylor expansion of -1 in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.470 * [taylor]: Taking taylor expansion of 1.0 in x 1.470 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.470 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.470 * [taylor]: Taking taylor expansion of -1 in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.470 * [taylor]: Taking taylor expansion of 1.0 in x 1.470 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1) 1.470 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.470 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.471 * [taylor]: Taking taylor expansion of (exp x) in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of 1.0 in x 1.471 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.471 * [taylor]: Taking taylor expansion of (exp x) in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of 1.0 in x 1.471 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.471 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.471 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of 1.0 in x 1.471 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.472 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of 1.0 in x 1.472 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.472 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.472 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.472 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.472 * [taylor]: Taking taylor expansion of -1 in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of 1.0 in x 1.472 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.472 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.472 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.472 * [taylor]: Taking taylor expansion of -1 in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of 1.0 in x 1.473 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 1.473 * [approximate]: Taking taylor expansion of (- (exp x) (sqrt 1.0)) in (x) around 0 1.473 * [taylor]: Taking taylor expansion of (- (exp x) (sqrt 1.0)) in x 1.473 * [taylor]: Taking taylor expansion of (exp x) in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.473 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.473 * [taylor]: Taking taylor expansion of 1.0 in x 1.473 * [taylor]: Taking taylor expansion of (- (exp x) (sqrt 1.0)) in x 1.473 * [taylor]: Taking taylor expansion of (exp x) in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.473 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.473 * [taylor]: Taking taylor expansion of 1.0 in x 1.474 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (sqrt 1.0)) in (x) around 0 1.474 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (sqrt 1.0)) in x 1.474 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.474 * [taylor]: Taking taylor expansion of x in x 1.474 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.474 * [taylor]: Taking taylor expansion of 1.0 in x 1.474 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (sqrt 1.0)) in x 1.474 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.474 * [taylor]: Taking taylor expansion of x in x 1.474 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.474 * [taylor]: Taking taylor expansion of 1.0 in x 1.475 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (sqrt 1.0)) in (x) around 0 1.475 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (sqrt 1.0)) in x 1.475 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.475 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.475 * [taylor]: Taking taylor expansion of -1 in x 1.475 * [taylor]: Taking taylor expansion of x in x 1.475 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.475 * [taylor]: Taking taylor expansion of 1.0 in x 1.476 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (sqrt 1.0)) in x 1.476 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.476 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.476 * [taylor]: Taking taylor expansion of -1 in x 1.476 * [taylor]: Taking taylor expansion of x in x 1.476 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.476 * [taylor]: Taking taylor expansion of 1.0 in x 1.477 * * * [progress]: simplifying candidates 1.478 * [simplify]: Simplifying using # : (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (*.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0)) (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 1.0 1.0) (*.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (*.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0)) (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 1.0 1.0) (*.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (*.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0)) (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 1.0 1.0) (*.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (/.f64 (exp.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (exp.f64 (sqrt.f64 1.0))) (log.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (exp.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (cbrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)))) (cbrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (*.f64 (*.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (sqrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (sqrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (-.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) 3) (pow.f64 (sqrt.f64 1.0) 3)) (+.f64 (*.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (+.f64 (*.f64 (sqrt.f64 1.0) (sqrt.f64 1.0)) (*.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)))) (neg.f64 (sqrt.f64 1.0)) (-.f64 (*.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (*.f64 (sqrt.f64 1.0) (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2))) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2))) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/6 (pow.f64 x 3)) x)) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/6 (pow.f64 x 3)) x)) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/6 (pow.f64 x 3)) x)) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 x 1)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) (sqrt.f64 1.0)) 1.552 * * [simplify]: iteration 0 : 4871 enodes (cost 674 ) 1.553 * * [simplify]: iteration 1 : 4871 enodes (cost 674 ) 1.556 * [simplify]: Simplified to: (exp.f64 (-.f64 (exp.f64 x) 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (pow.f64 (-.f64 (exp.f64 x) 1.0) 3) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 (+.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (pow.f64 (-.f64 (exp.f64 x) 1.0) 3) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 (+.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (pow.f64 (-.f64 (exp.f64 x) 1.0) 3) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 (+.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (exp.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (log.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (exp.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (cbrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)))) (cbrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (pow.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3) (sqrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (sqrt.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0))) (-.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) 3) (*.f64 1.0 (sqrt.f64 1.0))) (+.f64 (pow.f64 (exp.f64 x) 2.0) (+.f64 1.0 (*.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))))) (neg.f64 (sqrt.f64 1.0)) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (+.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 1.0)) (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)))) (-.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 1.0)) (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)))) (-.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 1.0)) (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 1.0)) (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 1.0)) (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)))) (-.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (+.f64 (sqrt.f64 (sqrt.f64 1.0)) (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)))) (-.f64 (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (sqrt.f64 (sqrt.f64 1.0))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (-.f64 (+.f64 (*.f64 1/2 (*.f64 x x)) (+.f64 x 1)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) (sqrt.f64 1.0)) 1.557 * * * [progress]: adding candidates to table 1.658 * * [progress]: iteration 4 / 4 1.658 * * * [progress]: picking best candidate 1.660 * * * * [pick]: Picked # 1.660 * * * [progress]: localizing error 1.670 * * * [progress]: generating rewritten candidates 1.670 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.675 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1.681 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.689 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.699 * * * [progress]: generating series expansions 1.699 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.699 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.699 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.699 * [taylor]: Taking taylor expansion of (exp x) in x 1.699 * [taylor]: Taking taylor expansion of x in x 1.699 * [taylor]: Taking taylor expansion of 1.0 in x 1.700 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.700 * [taylor]: Taking taylor expansion of (exp x) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.700 * [taylor]: Taking taylor expansion of 1.0 in x 1.700 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.700 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.700 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.701 * [taylor]: Taking taylor expansion of 1.0 in x 1.701 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.701 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.701 * [taylor]: Taking taylor expansion of x in x 1.701 * [taylor]: Taking taylor expansion of 1.0 in x 1.701 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.701 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.701 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.701 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.701 * [taylor]: Taking taylor expansion of -1 in x 1.701 * [taylor]: Taking taylor expansion of x in x 1.701 * [taylor]: Taking taylor expansion of 1.0 in x 1.701 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.701 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.701 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.701 * [taylor]: Taking taylor expansion of -1 in x 1.701 * [taylor]: Taking taylor expansion of x in x 1.701 * [taylor]: Taking taylor expansion of 1.0 in x 1.702 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 1.702 * [approximate]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in (x) around 0 1.702 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 1.702 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.702 * [taylor]: Taking taylor expansion of (exp x) in x 1.702 * [taylor]: Taking taylor expansion of x in x 1.702 * [taylor]: Taking taylor expansion of 1.0 in x 1.702 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 1.702 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.702 * [taylor]: Taking taylor expansion of (exp x) in x 1.702 * [taylor]: Taking taylor expansion of x in x 1.702 * [taylor]: Taking taylor expansion of 1.0 in x 1.703 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in (x) around 0 1.703 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 1.703 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.703 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.703 * [taylor]: Taking taylor expansion of x in x 1.703 * [taylor]: Taking taylor expansion of 1.0 in x 1.703 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 1.703 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.703 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.703 * [taylor]: Taking taylor expansion of x in x 1.703 * [taylor]: Taking taylor expansion of 1.0 in x 1.705 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in (x) around 0 1.705 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 1.705 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.705 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.705 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.705 * [taylor]: Taking taylor expansion of -1 in x 1.705 * [taylor]: Taking taylor expansion of x in x 1.705 * [taylor]: Taking taylor expansion of 1.0 in x 1.705 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 1.705 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.705 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.705 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.705 * [taylor]: Taking taylor expansion of -1 in x 1.705 * [taylor]: Taking taylor expansion of x in x 1.705 * [taylor]: Taking taylor expansion of 1.0 in x 1.707 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.707 * [approximate]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in (x) around 0 1.707 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 1.707 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.707 * [taylor]: Taking taylor expansion of (exp x) in x 1.707 * [taylor]: Taking taylor expansion of x in x 1.707 * [taylor]: Taking taylor expansion of 1.0 in x 1.707 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 1.707 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.707 * [taylor]: Taking taylor expansion of (exp x) in x 1.707 * [taylor]: Taking taylor expansion of x in x 1.707 * [taylor]: Taking taylor expansion of 1.0 in x 1.708 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in (x) around 0 1.708 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 1.708 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.708 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.708 * [taylor]: Taking taylor expansion of x in x 1.708 * [taylor]: Taking taylor expansion of 1.0 in x 1.708 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 1.708 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.708 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.708 * [taylor]: Taking taylor expansion of x in x 1.708 * [taylor]: Taking taylor expansion of 1.0 in x 1.712 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in (x) around 0 1.712 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 1.712 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.712 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.712 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.712 * [taylor]: Taking taylor expansion of -1 in x 1.712 * [taylor]: Taking taylor expansion of x in x 1.712 * [taylor]: Taking taylor expansion of 1.0 in x 1.712 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 1.713 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.713 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.713 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.713 * [taylor]: Taking taylor expansion of -1 in x 1.713 * [taylor]: Taking taylor expansion of x in x 1.713 * [taylor]: Taking taylor expansion of 1.0 in x 1.714 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.714 * [approximate]: Taking taylor expansion of (pow (- (pow (exp x) 2) 1.0) 3) in (x) around 0 1.714 * [taylor]: Taking taylor expansion of (pow (- (pow (exp x) 2) 1.0) 3) in x 1.715 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 1.715 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.715 * [taylor]: Taking taylor expansion of (exp x) in x 1.715 * [taylor]: Taking taylor expansion of x in x 1.715 * [taylor]: Taking taylor expansion of 1.0 in x 1.715 * [taylor]: Taking taylor expansion of (pow (- (pow (exp x) 2) 1.0) 3) in x 1.715 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 1.715 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.715 * [taylor]: Taking taylor expansion of (exp x) in x 1.715 * [taylor]: Taking taylor expansion of x in x 1.715 * [taylor]: Taking taylor expansion of 1.0 in x 1.717 * [approximate]: Taking taylor expansion of (pow (- (pow (exp (/ 1 x)) 2) 1.0) 3) in (x) around 0 1.717 * [taylor]: Taking taylor expansion of (pow (- (pow (exp (/ 1 x)) 2) 1.0) 3) in x 1.717 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 1.717 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.717 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of 1.0 in x 1.717 * [taylor]: Taking taylor expansion of (pow (- (pow (exp (/ 1 x)) 2) 1.0) 3) in x 1.717 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 1.717 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.717 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of 1.0 in x 1.723 * [approximate]: Taking taylor expansion of (pow (- (pow (exp (/ -1 x)) 2) 1.0) 3) in (x) around 0 1.723 * [taylor]: Taking taylor expansion of (pow (- (pow (exp (/ -1 x)) 2) 1.0) 3) in x 1.723 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 1.723 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.723 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.723 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.723 * [taylor]: Taking taylor expansion of -1 in x 1.723 * [taylor]: Taking taylor expansion of x in x 1.723 * [taylor]: Taking taylor expansion of 1.0 in x 1.723 * [taylor]: Taking taylor expansion of (pow (- (pow (exp (/ -1 x)) 2) 1.0) 3) in x 1.723 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 1.723 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.723 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.723 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.723 * [taylor]: Taking taylor expansion of -1 in x 1.723 * [taylor]: Taking taylor expansion of x in x 1.723 * [taylor]: Taking taylor expansion of 1.0 in x 1.729 * * * [progress]: simplifying candidates 1.730 * [simplify]: Simplifying using # : (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (*.f64 (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0)) (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 1.0 1.0) (*.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (/.f64 (exp.f64 (pow.f64 (exp.f64 x) 2.0)) (exp.f64 1.0)) (log.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (exp.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (*.f64 (*.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (pow.f64 (pow.f64 (exp.f64 x) 2.0) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 (pow.f64 (exp.f64 x) 2.0) (pow.f64 (exp.f64 x) 2.0)) (+.f64 (*.f64 1.0 1.0) (*.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (neg.f64 1.0) (-.f64 (*.f64 (pow.f64 (exp.f64 x) 2.0) (pow.f64 (exp.f64 x) 2.0)) (*.f64 1.0 1.0)) (+.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (+.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (+.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (log.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (exp.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (cbrt.f64 (*.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (*.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (/.f64 3 2))) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (/.f64 3 2))) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (pow.f64 (exp.f64 x) 2.0) 3) (pow.f64 1.0 3)) 3)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (exp.f64 x) 2.0) (pow.f64 (exp.f64 x) 2.0)) (+.f64 (*.f64 1.0 1.0) (*.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) 3)) (cbrt.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (exp.f64 x) 2.0) (pow.f64 (exp.f64 x) 2.0)) (*.f64 1.0 1.0)) 3)) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (*.f64 (log.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3) (*.f64 (log.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3) (*.f64 1 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (sqrt.f64 3)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 1) (pow.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) 3) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3) (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3) (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3) (pow.f64 1 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (pow.f64 (+.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3) (pow.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3) (pow.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3) (pow.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3) (pow.f64 (+.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3) (pow.f64 1 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (*.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (log.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (exp.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (*.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (*.f64 (*.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (pow.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) 3) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3) (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3) (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) 3) (pow.f64 1 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (pow.f64 (+.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3) (pow.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3) (pow.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3) (pow.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3) (pow.f64 (+.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3) (pow.f64 1 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (pow.f64 (-.f64 (pow.f64 (pow.f64 (exp.f64 x) 2.0) 3) (pow.f64 1.0 3)) 3) (pow.f64 (+.f64 (*.f64 (pow.f64 (exp.f64 x) 2.0) (pow.f64 (exp.f64 x) 2.0)) (+.f64 (*.f64 1.0 1.0) (*.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) 3) (pow.f64 (-.f64 (*.f64 (pow.f64 (exp.f64 x) 2.0) (pow.f64 (exp.f64 x) 2.0)) (*.f64 1.0 1.0)) 3) (pow.f64 (+.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (*.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (sqrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (/.f64 3 2)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (/.f64 3 2)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/6 (pow.f64 x 3)) x)) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (*.f64 4/3 (pow.f64 x 3)) (*.f64 2 x))) (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (*.f64 4/3 (pow.f64 x 3)) (*.f64 2 x))) (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) (+.f64 (*.f64 8 (pow.f64 x 3)) (+.f64 (*.f64 40 (pow.f64 x 5)) (*.f64 24 (pow.f64 x 4)))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) 3) 1.750 * * [simplify]: iteration 0 : 5001 enodes (cost 1138 ) 1.756 * [simplify]: Simplified to: (exp.f64 (-.f64 (exp.f64 x) 1.0)) (log.f64 (-.f64 (exp.f64 x) 1.0)) (exp.f64 (-.f64 (exp.f64 x) 1.0)) (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (cbrt.f64 (-.f64 (exp.f64 x) 1.0))) (cbrt.f64 (-.f64 (exp.f64 x) 1.0)) (pow.f64 (-.f64 (exp.f64 x) 1.0) 3) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (sqrt.f64 (-.f64 (exp.f64 x) 1.0)) (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 1.0 3)) (+.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 (+.f64 (exp.f64 x) 1.0))) (neg.f64 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) (*.f64 1.0 1.0)) (+.f64 (exp.f64 x) 1.0) (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 1.0)) (-.f64 (exp.f64 x) 1.0) (exp.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (log.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (exp.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (pow.f64 (pow.f64 (exp.f64 x) 2.0) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 1.0 1.0) (*.f64 (pow.f64 (exp.f64 x) 2.0) (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0)))) (neg.f64 1.0) (-.f64 (pow.f64 (exp.f64 x) (*.f64 2.0 2)) (*.f64 1.0 1.0)) (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0)) (+.f64 (sqrt.f64 1.0) (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 1.0) (pow.f64 (exp.f64 x) (/.f64 2.0 2))) (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (log.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (exp.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 1) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (+.f64 (sqrt.f64 1.0) (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 1.0) (pow.f64 (exp.f64 x) (/.f64 2.0 2))) (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) (cbrt.f64 1) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 1) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (+.f64 (sqrt.f64 1.0) (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) (+.f64 (sqrt.f64 1.0) (pow.f64 (exp.f64 x) (/.f64 2.0 2))) (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) (cbrt.f64 1) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2)) (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3))) (cbrt.f64 1) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (-.f64 (pow.f64 (pow.f64 (exp.f64 x) 2.0) 3) (pow.f64 1.0 3)) (+.f64 (*.f64 1.0 1.0) (*.f64 (pow.f64 (exp.f64 x) 2.0) (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0)))) (-.f64 (pow.f64 (exp.f64 x) (*.f64 2.0 2)) (*.f64 1.0 1.0)) (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0)) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2)) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0)) (*.f64 3 (log.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (*.f64 3 (log.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) 3 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (sqrt.f64 3)) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3/2) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3/2) 1 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (pow.f64 (+.f64 (sqrt.f64 1.0) (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) 3) (pow.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3) (pow.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) 3) (pow.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3) (pow.f64 (+.f64 (sqrt.f64 1.0) (pow.f64 (exp.f64 x) (/.f64 2.0 2))) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3) 1 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2) (*.f64 3 (log.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0))) (exp.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (pow.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2) (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3/2) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3/2) 1 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (pow.f64 (+.f64 (sqrt.f64 1.0) (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0)) 3) (pow.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) 2.0) (sqrt.f64 1.0)) 3) (pow.f64 (+.f64 (sqrt.f64 1.0) (sqrt.f64 (pow.f64 (exp.f64 x) 2.0))) 3) (pow.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2.0)) (sqrt.f64 1.0)) 3) (pow.f64 (+.f64 (sqrt.f64 1.0) (pow.f64 (exp.f64 x) (/.f64 2.0 2))) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) (/.f64 2.0 2)) (sqrt.f64 1.0)) 3) 1 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3) (pow.f64 (-.f64 (pow.f64 (pow.f64 (exp.f64 x) 2.0) 3) (pow.f64 1.0 3)) 3) (pow.f64 (+.f64 (*.f64 1.0 1.0) (*.f64 (pow.f64 (exp.f64 x) 2.0) (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0)))) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) (*.f64 2.0 2)) (*.f64 1.0 1.0)) 3) (pow.f64 (+.f64 1.0 (pow.f64 (exp.f64 x) 2.0)) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 2) (sqrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (sqrt.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3/2) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2.0) 1.0) 3/2) (+.f64 x (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))) (-.f64 (exp.f64 x) 1.0) (-.f64 (exp.f64 x) 1.0) (+.f64 x (+.f64 x (*.f64 (*.f64 x x) (+.f64 2 (*.f64 x 4/3))))) (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) (+.f64 x (+.f64 x (*.f64 (*.f64 x x) (+.f64 2 (*.f64 x 4/3))))) (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) (+.f64 (*.f64 (pow.f64 x 3) 8) (+.f64 (*.f64 40 (pow.f64 x 5)) (*.f64 24 (pow.f64 x 4)))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) 3) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2) 1.0) 3) 1.756 * * * [progress]: adding candidates to table 1.840 * [progress]: [Phase 3 of 3] Extracting. 1.840 * * [regime]: Finding splitpoints for: (# # #) 1.841 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.842 * * * * [regimes]: Trying to branch on x from (# # #) 1.877 * * * [regime]: Found split indices: #