8.919 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.042 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.044 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp x) (- (exp x) 1.0))
0.045 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
0.045 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
0.046 * * [simplify]: iteration  2 :  8  enodes  (cost  7 )
0.047 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
0.047 * [simplify]: Simplified to:
   (/ (exp x) (- (exp x) 1.0))
0.047 * * [progress]: iteration 1 / 4
0.047 * * * [progress]: picking best candidate
0.049 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (- (exp x) 1.0)))>
0.049 * * * [progress]: localizing error
0.052 * * * [progress]: generating rewritten candidates
0.053 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.058 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.068 * * * [progress]: generating series expansions
0.068 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.069 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.069 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.069 * [taylor]: Taking taylor expansion of (exp x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of 1.0 in x
0.069 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.069 * [taylor]: Taking taylor expansion of (exp x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of 1.0 in x
0.074 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.074 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.075 * [taylor]: Taking taylor expansion of 1.0 in x
0.075 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.075 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.075 * [taylor]: Taking taylor expansion of 1.0 in x
0.079 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.079 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.079 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.079 * [taylor]: Taking taylor expansion of -1 in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of 1.0 in x
0.079 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.079 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.079 * [taylor]: Taking taylor expansion of -1 in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of 1.0 in x
0.083 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.083 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0
0.083 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.083 * [taylor]: Taking taylor expansion of (exp x) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.083 * [taylor]: Taking taylor expansion of (exp x) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of 1.0 in x
0.085 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.085 * [taylor]: Taking taylor expansion of (exp x) in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.086 * [taylor]: Taking taylor expansion of (exp x) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of 1.0 in x
0.093 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0
0.093 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.093 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.094 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of 1.0 in x
0.094 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.095 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.095 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of 1.0 in x
0.101 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0
0.101 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.101 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.101 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.101 * [taylor]: Taking taylor expansion of -1 in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.101 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.101 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.101 * [taylor]: Taking taylor expansion of -1 in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of 1.0 in x
0.102 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.102 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.102 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.102 * [taylor]: Taking taylor expansion of -1 in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of 1.0 in x
0.109 * * * [progress]: simplifying candidates
0.110 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (exp x) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (exp x) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (exp x) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (exp x)) (exp 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))
  (- 1.0)
  (- (* (exp x) (exp x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (expm1 (/ (exp x) (- (exp x) 1.0)))
  (log1p (/ (exp x) (- (exp x) 1.0)))
  (- x (log (- (exp x) 1.0)))
  (log (/ (exp x) (- (exp x) 1.0)))
  (exp (/ (exp x) (- (exp x) 1.0)))
  (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)))
  (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0))))
  (cbrt (/ (exp x) (- (exp x) 1.0)))
  (* (* (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0))) (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (- (exp x))
  (- (- (exp x) 1.0))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (/ 1 1)
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 1)
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (- (exp x) 1.0))
  (/ (- (exp x) 1.0) (exp x))
  (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (/ (exp x) 1)
  (/ (exp x) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (exp x) 1)
  (/ (- (exp x) 1.0) (cbrt (exp x)))
  (/ (- (exp x) 1.0) (sqrt (exp x)))
  (/ (- (exp x) 1.0) (exp x))
  (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))
  (/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0)))
  (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (/ (exp x) (- (exp x) 1.0))
  (/ (exp x) (- (exp x) 1.0))
0.113 * * [simplify]: iteration  0 :  117  enodes  (cost  900 )
0.137 * * [simplify]: iteration  1 :  235  enodes  (cost  790 )
0.206 * * [simplify]: iteration  2 :  530  enodes  (cost  706 )
0.550 * * [simplify]: iteration  3 :  1717  enodes  (cost  679 )
1.471 * * [simplify]: iteration  done :  5001  enodes  (cost  678 )
1.472 * [simplify]: Simplified to:
   (- (pow (cbrt (exp x)) 3) 1.0)
  (- 1.0 1.0)
  (- (pow (cbrt (exp x)) 3) 1.0)
  (- 1.0 1.0)
  (- (pow (cbrt (exp x)) 3) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp x) 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (pow (- (exp x) 1.0) 3)
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (fma 1.0 (+ (exp x) 1.0) (exp (+ x x)))
  (- 1.0)
  (- (exp (+ x x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (expm1 (/ (exp x) (- (exp x) 1.0)))
  (log1p (/ (exp x) (- (exp x) 1.0)))
  (- x (log (- (exp x) 1.0)))
  (- x (log (- (exp x) 1.0)))
  (exp (/ (exp x) (- (exp x) 1.0)))
  (pow (/ (exp x) (- (exp x) 1.0)) 3)
  (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0))))
  (cbrt (/ (exp x) (- (exp x) 1.0)))
  (pow (/ (exp x) (- (exp x) 1.0)) 3)
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (- (exp x))
  (- 1.0 (exp x))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (- (exp x) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (exp x)
  (/ (exp x) (+ (sqrt (exp x)) (sqrt 1.0)))
  (exp x)
  (/ (- (exp x) 1.0) (cbrt (exp x)))
  (/ (- (exp x) 1.0) (sqrt (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))
  (/ (exp x) (- (exp (+ x x)) (* 1.0 1.0)))
  (fma 1/2 (pow x 2) (fma 1/6 (pow x 3) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (fma 1/12 x (/ 1 x)) 1/2)
  (/ (exp x) (- (exp x) 1.0))
  (/ (exp x) (- (exp x) 1.0))
1.473 * * * [progress]: adding candidates to table
1.613 * * [progress]: iteration 2 / 4
1.613 * * * [progress]: picking best candidate
1.619 * * * * [pick]: Picked  #<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))>
1.620 * * * [progress]: localizing error
1.628 * * * [progress]: generating rewritten candidates
1.628 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1.628 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.632 * * * [progress]: generating series expansions
1.632 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1.632 * [approximate]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in (x) around 0
1.632 * [taylor]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in x
1.632 * [taylor]: Rewrote expression to (+ (* 1/12 x) (/ 1 x))
1.632 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.632 * [taylor]: Taking taylor expansion of 1/12 in x
1.632 * [taylor]: Taking taylor expansion of x in x
1.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.632 * [taylor]: Taking taylor expansion of x in x
1.633 * [taylor]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in x
1.633 * [taylor]: Rewrote expression to (+ (* 1/12 x) (/ 1 x))
1.633 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.633 * [taylor]: Taking taylor expansion of 1/12 in x
1.633 * [taylor]: Taking taylor expansion of x in x
1.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.633 * [taylor]: Taking taylor expansion of x in x
1.644 * [approximate]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in (x) around 0
1.644 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in x
1.644 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) x)
1.644 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.644 * [taylor]: Taking taylor expansion of 1/12 in x
1.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.644 * [taylor]: Taking taylor expansion of x in x
1.645 * [taylor]: Taking taylor expansion of x in x
1.645 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in x
1.645 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) x)
1.645 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.645 * [taylor]: Taking taylor expansion of 1/12 in x
1.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.645 * [taylor]: Taking taylor expansion of x in x
1.645 * [taylor]: Taking taylor expansion of x in x
1.657 * [approximate]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in (x) around 0
1.657 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in x
1.657 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) (* -1 x))
1.657 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
1.657 * [taylor]: Taking taylor expansion of 1/12 in x
1.657 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.657 * [taylor]: Taking taylor expansion of -1 in x
1.657 * [taylor]: Taking taylor expansion of x in x
1.658 * [taylor]: Taking taylor expansion of (* -1 x) in x
1.658 * [taylor]: Taking taylor expansion of -1 in x
1.658 * [taylor]: Taking taylor expansion of x in x
1.658 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in x
1.658 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) (* -1 x))
1.658 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
1.658 * [taylor]: Taking taylor expansion of 1/12 in x
1.658 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.658 * [taylor]: Taking taylor expansion of -1 in x
1.658 * [taylor]: Taking taylor expansion of x in x
1.658 * [taylor]: Taking taylor expansion of (* -1 x) in x
1.658 * [taylor]: Taking taylor expansion of -1 in x
1.658 * [taylor]: Taking taylor expansion of x in x
1.675 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.675 * [approximate]: Taking taylor expansion of (+ 1/2 (fma 1/12 x (/ 1 x))) in (x) around 0
1.675 * [taylor]: Taking taylor expansion of (+ 1/2 (fma 1/12 x (/ 1 x))) in x
1.675 * [taylor]: Taking taylor expansion of 1/2 in x
1.675 * [taylor]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in x
1.675 * [taylor]: Rewrote expression to (+ (* 1/12 x) (/ 1 x))
1.675 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.675 * [taylor]: Taking taylor expansion of 1/12 in x
1.675 * [taylor]: Taking taylor expansion of x in x
1.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.675 * [taylor]: Taking taylor expansion of x in x
1.676 * [taylor]: Taking taylor expansion of (+ 1/2 (fma 1/12 x (/ 1 x))) in x
1.676 * [taylor]: Taking taylor expansion of 1/2 in x
1.676 * [taylor]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in x
1.676 * [taylor]: Rewrote expression to (+ (* 1/12 x) (/ 1 x))
1.676 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.676 * [taylor]: Taking taylor expansion of 1/12 in x
1.676 * [taylor]: Taking taylor expansion of x in x
1.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.676 * [taylor]: Taking taylor expansion of x in x
1.679 * [approximate]: Taking taylor expansion of (+ (fma 1/12 (/ 1 x) x) 1/2) in (x) around 0
1.679 * [taylor]: Taking taylor expansion of (+ (fma 1/12 (/ 1 x) x) 1/2) in x
1.679 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in x
1.680 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) x)
1.680 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.680 * [taylor]: Taking taylor expansion of 1/12 in x
1.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.680 * [taylor]: Taking taylor expansion of 1/2 in x
1.680 * [taylor]: Taking taylor expansion of (+ (fma 1/12 (/ 1 x) x) 1/2) in x
1.680 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in x
1.680 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) x)
1.680 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.680 * [taylor]: Taking taylor expansion of 1/12 in x
1.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.680 * [taylor]: Taking taylor expansion of 1/2 in x
1.685 * [approximate]: Taking taylor expansion of (+ (fma 1/12 (/ -1 x) (* -1 x)) 1/2) in (x) around 0
1.685 * [taylor]: Taking taylor expansion of (+ (fma 1/12 (/ -1 x) (* -1 x)) 1/2) in x
1.685 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in x
1.685 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) (* -1 x))
1.685 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
1.685 * [taylor]: Taking taylor expansion of 1/12 in x
1.685 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.685 * [taylor]: Taking taylor expansion of -1 in x
1.685 * [taylor]: Taking taylor expansion of x in x
1.685 * [taylor]: Taking taylor expansion of (* -1 x) in x
1.685 * [taylor]: Taking taylor expansion of -1 in x
1.685 * [taylor]: Taking taylor expansion of x in x
1.685 * [taylor]: Taking taylor expansion of 1/2 in x
1.685 * [taylor]: Taking taylor expansion of (+ (fma 1/12 (/ -1 x) (* -1 x)) 1/2) in x
1.685 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in x
1.686 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) (* -1 x))
1.686 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
1.686 * [taylor]: Taking taylor expansion of 1/12 in x
1.686 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.686 * [taylor]: Taking taylor expansion of -1 in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of (* -1 x) in x
1.686 * [taylor]: Taking taylor expansion of -1 in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of 1/2 in x
1.690 * * * [progress]: simplifying candidates
1.691 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma 1/12 x (/ 1 x)))
  (log1p (fma 1/12 x (/ 1 x)))
  (* 1/12 x)
  (log (fma 1/12 x (/ 1 x)))
  (exp (fma 1/12 x (/ 1 x)))
  (* (cbrt (fma 1/12 x (/ 1 x))) (cbrt (fma 1/12 x (/ 1 x))))
  (cbrt (fma 1/12 x (/ 1 x)))
  (* (* (fma 1/12 x (/ 1 x)) (fma 1/12 x (/ 1 x))) (fma 1/12 x (/ 1 x)))
  (sqrt (fma 1/12 x (/ 1 x)))
  (sqrt (fma 1/12 x (/ 1 x)))
  (expm1 (+ (fma 1/12 x (/ 1 x)) 1/2))
  (log1p (+ (fma 1/12 x (/ 1 x)) 1/2))
  (* (exp (fma 1/12 x (/ 1 x))) (exp 1/2))
  (log (+ (fma 1/12 x (/ 1 x)) 1/2))
  (exp (+ (fma 1/12 x (/ 1 x)) 1/2))
  (* (cbrt (+ (fma 1/12 x (/ 1 x)) 1/2)) (cbrt (+ (fma 1/12 x (/ 1 x)) 1/2)))
  (cbrt (+ (fma 1/12 x (/ 1 x)) 1/2))
  (* (* (+ (fma 1/12 x (/ 1 x)) 1/2) (+ (fma 1/12 x (/ 1 x)) 1/2)) (+ (fma 1/12 x (/ 1 x)) 1/2))
  (sqrt (+ (fma 1/12 x (/ 1 x)) 1/2))
  (sqrt (+ (fma 1/12 x (/ 1 x)) 1/2))
  (+ (pow (fma 1/12 x (/ 1 x)) 3) (pow 1/2 3))
  (+ (* (fma 1/12 x (/ 1 x)) (fma 1/12 x (/ 1 x))) (- (* 1/2 1/2) (* (fma 1/12 x (/ 1 x)) 1/2)))
  (- (* (fma 1/12 x (/ 1 x)) (fma 1/12 x (/ 1 x))) (* 1/2 1/2))
  (- (fma 1/12 x (/ 1 x)) 1/2)
  (+ (fma 1/12 x (/ 1 x)) 1/2)
  (+ (/ 1 x) 1/2)
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
1.693 * * [simplify]: iteration  0 :  41  enodes  (cost  329 )
1.704 * * [simplify]: iteration  1 :  94  enodes  (cost  303 )
1.719 * * [simplify]: iteration  2 :  235  enodes  (cost  286 )
1.816 * * [simplify]: iteration  3 :  890  enodes  (cost  280 )
2.595 * * [simplify]: iteration  4 :  4673  enodes  (cost  279 )
3.742 * * [simplify]: iteration  done :  5000  enodes  (cost  279 )
3.742 * [simplify]: Simplified to:
   (expm1 (fma 1/12 x (/ 1 x)))
  (log1p (fma 1/12 x (/ 1 x)))
  (* 1/12 x)
  (log (fma 1/12 x (/ 1 x)))
  (exp (fma 1/12 x (/ 1 x)))
  (* (cbrt (fma 1/12 x (/ 1 x))) (cbrt (fma 1/12 x (/ 1 x))))
  (cbrt (fma 1/12 x (/ 1 x)))
  (pow (fma 1/12 x (/ 1 x)) 3)
  (sqrt (fma 1/12 x (/ 1 x)))
  (sqrt (fma 1/12 x (/ 1 x)))
  (expm1 (+ (fma 1/12 x (/ 1 x)) 1/2))
  (log1p (+ (fma 1/12 x (/ 1 x)) 1/2))
  (exp (+ (fma 1/12 x (/ 1 x)) 1/2))
  (log (+ (fma 1/12 x (/ 1 x)) 1/2))
  (exp (+ (fma 1/12 x (/ 1 x)) 1/2))
  (* (cbrt (+ (fma 1/12 x (/ 1 x)) 1/2)) (cbrt (+ (fma 1/12 x (/ 1 x)) 1/2)))
  (cbrt (+ (fma 1/12 x (/ 1 x)) 1/2))
  (pow (+ (fma 1/12 x (/ 1 x)) 1/2) 3)
  (sqrt (+ (fma 1/12 x (/ 1 x)) 1/2))
  (sqrt (+ (fma 1/12 x (/ 1 x)) 1/2))
  (+ (pow (fma 1/12 x (/ 1 x)) 3) 1/8)
  (fma (fma x 1/12 (/ 1 x)) (- (fma 1/12 x (/ 1 x)) 1/2) 1/4)
  (fma (fma 1/12 x (/ 1 x)) (fma 1/12 x (/ 1 x)) -1/4)
  (- (fma 1/12 x (/ 1 x)) 1/2)
  (+ (fma x 1/12 1/2) (/ 1 x))
  (+ (/ 1 x) 1/2)
  (fma x 1/12 (/ 1 x))
  (fma x 1/12 (/ 1 x))
  (fma x 1/12 (/ 1 x))
  (+ (fma x 1/12 1/2) (/ 1 x))
  (+ (fma x 1/12 1/2) (/ 1 x))
  (+ (fma x 1/12 1/2) (/ 1 x))
3.742 * * * [progress]: adding candidates to table
3.806 * * [progress]: iteration 3 / 4
3.806 * * * [progress]: picking best candidate
3.812 * * * * [pick]: Picked  #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))>
3.812 * * * [progress]: localizing error
3.817 * * * [progress]: generating rewritten candidates
3.818 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
3.828 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.845 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
3.856 * * * [progress]: generating series expansions
3.856 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
3.856 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in (x) around 0
3.856 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
3.856 * [taylor]: Taking taylor expansion of 1 in x
3.857 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
3.857 * [taylor]: Taking taylor expansion of 1.0 in x
3.857 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.857 * [taylor]: Taking taylor expansion of (exp x) in x
3.857 * [taylor]: Taking taylor expansion of x in x
3.857 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
3.857 * [taylor]: Taking taylor expansion of 1 in x
3.857 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
3.857 * [taylor]: Taking taylor expansion of 1.0 in x
3.857 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.857 * [taylor]: Taking taylor expansion of (exp x) in x
3.857 * [taylor]: Taking taylor expansion of x in x
3.870 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in (x) around 0
3.870 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
3.870 * [taylor]: Taking taylor expansion of 1 in x
3.870 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
3.870 * [taylor]: Taking taylor expansion of 1.0 in x
3.870 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.870 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.870 * [taylor]: Taking taylor expansion of x in x
3.870 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
3.871 * [taylor]: Taking taylor expansion of 1 in x
3.871 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
3.871 * [taylor]: Taking taylor expansion of 1.0 in x
3.871 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.871 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.871 * [taylor]: Taking taylor expansion of x in x
3.880 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in (x) around 0
3.881 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
3.881 * [taylor]: Taking taylor expansion of 1 in x
3.881 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
3.881 * [taylor]: Taking taylor expansion of 1.0 in x
3.881 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.881 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.881 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.881 * [taylor]: Taking taylor expansion of -1 in x
3.881 * [taylor]: Taking taylor expansion of x in x
3.881 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
3.881 * [taylor]: Taking taylor expansion of 1 in x
3.881 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
3.881 * [taylor]: Taking taylor expansion of 1.0 in x
3.881 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.881 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.881 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.881 * [taylor]: Taking taylor expansion of -1 in x
3.881 * [taylor]: Taking taylor expansion of x in x
3.891 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.891 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in (x) around 0
3.891 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x
3.891 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
3.891 * [taylor]: Taking taylor expansion of 1 in x
3.891 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
3.891 * [taylor]: Taking taylor expansion of 1.0 in x
3.891 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.891 * [taylor]: Taking taylor expansion of (exp x) in x
3.891 * [taylor]: Taking taylor expansion of x in x
3.895 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x
3.895 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
3.895 * [taylor]: Taking taylor expansion of 1 in x
3.895 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
3.895 * [taylor]: Taking taylor expansion of 1.0 in x
3.895 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.895 * [taylor]: Taking taylor expansion of (exp x) in x
3.895 * [taylor]: Taking taylor expansion of x in x
3.912 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in (x) around 0
3.912 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x
3.912 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
3.912 * [taylor]: Taking taylor expansion of 1 in x
3.912 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
3.912 * [taylor]: Taking taylor expansion of 1.0 in x
3.912 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.912 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.912 * [taylor]: Taking taylor expansion of x in x
3.913 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x
3.913 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
3.913 * [taylor]: Taking taylor expansion of 1 in x
3.913 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
3.913 * [taylor]: Taking taylor expansion of 1.0 in x
3.913 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.913 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.913 * [taylor]: Taking taylor expansion of x in x
3.925 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in (x) around 0
3.925 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x
3.925 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
3.925 * [taylor]: Taking taylor expansion of 1 in x
3.925 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
3.925 * [taylor]: Taking taylor expansion of 1.0 in x
3.925 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.925 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.925 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.925 * [taylor]: Taking taylor expansion of -1 in x
3.925 * [taylor]: Taking taylor expansion of x in x
3.926 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x
3.926 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
3.926 * [taylor]: Taking taylor expansion of 1 in x
3.926 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
3.926 * [taylor]: Taking taylor expansion of 1.0 in x
3.926 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.926 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.926 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.926 * [taylor]: Taking taylor expansion of -1 in x
3.926 * [taylor]: Taking taylor expansion of x in x
3.941 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
3.941 * [approximate]: Taking taylor expansion of (/ 1.0 (exp x)) in (x) around 0
3.941 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x
3.941 * [taylor]: Taking taylor expansion of 1.0 in x
3.941 * [taylor]: Taking taylor expansion of (exp x) in x
3.941 * [taylor]: Taking taylor expansion of x in x
3.942 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x
3.942 * [taylor]: Taking taylor expansion of 1.0 in x
3.942 * [taylor]: Taking taylor expansion of (exp x) in x
3.942 * [taylor]: Taking taylor expansion of x in x
3.949 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in (x) around 0
3.949 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x
3.949 * [taylor]: Taking taylor expansion of 1.0 in x
3.949 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.949 * [taylor]: Taking taylor expansion of x in x
3.949 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x
3.949 * [taylor]: Taking taylor expansion of 1.0 in x
3.949 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.949 * [taylor]: Taking taylor expansion of x in x
3.951 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in (x) around 0
3.951 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x
3.951 * [taylor]: Taking taylor expansion of 1.0 in x
3.951 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.951 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.951 * [taylor]: Taking taylor expansion of -1 in x
3.951 * [taylor]: Taking taylor expansion of x in x
3.952 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x
3.952 * [taylor]: Taking taylor expansion of 1.0 in x
3.952 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.952 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.952 * [taylor]: Taking taylor expansion of -1 in x
3.952 * [taylor]: Taking taylor expansion of x in x
3.954 * * * [progress]: simplifying candidates
3.956 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (cbrt (/ 1.0 (exp x))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))))))
  (fma (- (cbrt (/ 1.0 (exp x)))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))) (* (cbrt (/ 1.0 (exp x))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x))))))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x))))))
  (fma (- (sqrt (/ 1.0 (exp x)))) (sqrt (/ 1.0 (exp x))) (* (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x)))))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))))))
  (fma (- (/ (cbrt 1.0) (cbrt (exp x)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1.0) (sqrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))))))
  (fma (- (/ (cbrt 1.0) (sqrt (exp x)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (* (/ (cbrt 1.0) (sqrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x)))))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1.0) (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))))
  (fma (- (/ (cbrt 1.0) (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))))))
  (fma (- (/ (sqrt 1.0) (cbrt (exp x)))) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))))))
  (fma (- (/ (sqrt 1.0) (sqrt (exp x)))) (/ (sqrt 1.0) (sqrt (exp x))) (* (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x)))))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (sqrt 1.0) (exp x)) (/ (sqrt 1.0) 1))))
  (fma (- (/ (sqrt 1.0) (exp x))) (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) (exp x)) (/ (sqrt 1.0) 1)))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1.0 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))))))
  (fma (- (/ 1.0 (cbrt (exp x)))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ 1.0 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1.0 (sqrt (exp x))) (/ 1 (sqrt (exp x))))))
  (fma (- (/ 1.0 (sqrt (exp x)))) (/ 1 (sqrt (exp x))) (* (/ 1.0 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1.0 (exp x)) (/ 1 1))))
  (fma (- (/ 1.0 (exp x))) (/ 1 1) (* (/ 1.0 (exp x)) (/ 1 1)))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1.0 (exp x)) 1)))
  (fma (- (/ 1.0 (exp x))) 1 (* (/ 1.0 (exp x)) 1))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (exp x)) 1.0)))
  (fma (- (/ 1 (exp x))) 1.0 (* (/ 1 (exp x)) 1.0))
  (fma (sqrt 1) (sqrt 1) (- (* (cbrt (/ 1.0 (exp x))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))))))
  (fma (- (cbrt (/ 1.0 (exp x)))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))) (* (cbrt (/ 1.0 (exp x))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x))))))
  (fma (sqrt 1) (sqrt 1) (- (* (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x))))))
  (fma (- (sqrt (/ 1.0 (exp x)))) (sqrt (/ 1.0 (exp x))) (* (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x)))))
  (fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))))))
  (fma (- (/ (cbrt 1.0) (cbrt (exp x)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1.0) (sqrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))))))
  (fma (- (/ (cbrt 1.0) (sqrt (exp x)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (* (/ (cbrt 1.0) (sqrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x)))))
  (fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1.0) (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))))
  (fma (- (/ (cbrt 1.0) (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))))))
  (fma (- (/ (sqrt 1.0) (cbrt (exp x)))) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))))))
  (fma (- (/ (sqrt 1.0) (sqrt (exp x)))) (/ (sqrt 1.0) (sqrt (exp x))) (* (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x)))))
  (fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1.0) (exp x)) (/ (sqrt 1.0) 1))))
  (fma (- (/ (sqrt 1.0) (exp x))) (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) (exp x)) (/ (sqrt 1.0) 1)))
  (fma (sqrt 1) (sqrt 1) (- (* (/ 1.0 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))))))
  (fma (- (/ 1.0 (cbrt (exp x)))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ 1.0 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (sqrt 1) (sqrt 1) (- (* (/ 1.0 (sqrt (exp x))) (/ 1 (sqrt (exp x))))))
  (fma (- (/ 1.0 (sqrt (exp x)))) (/ 1 (sqrt (exp x))) (* (/ 1.0 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))
  (fma (sqrt 1) (sqrt 1) (- (* (/ 1.0 (exp x)) (/ 1 1))))
  (fma (- (/ 1.0 (exp x))) (/ 1 1) (* (/ 1.0 (exp x)) (/ 1 1)))
  (fma (sqrt 1) (sqrt 1) (- (* (/ 1.0 (exp x)) 1)))
  (fma (- (/ 1.0 (exp x))) 1 (* (/ 1.0 (exp x)) 1))
  (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp x)) 1.0)))
  (fma (- (/ 1 (exp x))) 1.0 (* (/ 1 (exp x)) 1.0))
  (fma 1 1 (- (* (cbrt (/ 1.0 (exp x))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))))))
  (fma (- (cbrt (/ 1.0 (exp x)))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))) (* (cbrt (/ 1.0 (exp x))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x))))))
  (fma 1 1 (- (* (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x))))))
  (fma (- (sqrt (/ 1.0 (exp x)))) (sqrt (/ 1.0 (exp x))) (* (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x)))))
  (fma 1 1 (- (* (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))))))
  (fma (- (/ (cbrt 1.0) (cbrt (exp x)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma 1 1 (- (* (/ (cbrt 1.0) (sqrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))))))
  (fma (- (/ (cbrt 1.0) (sqrt (exp x)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (* (/ (cbrt 1.0) (sqrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x)))))
  (fma 1 1 (- (* (/ (cbrt 1.0) (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))))
  (fma (- (/ (cbrt 1.0) (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (fma 1 1 (- (* (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))))))
  (fma (- (/ (sqrt 1.0) (cbrt (exp x)))) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma 1 1 (- (* (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))))))
  (fma (- (/ (sqrt 1.0) (sqrt (exp x)))) (/ (sqrt 1.0) (sqrt (exp x))) (* (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x)))))
  (fma 1 1 (- (* (/ (sqrt 1.0) (exp x)) (/ (sqrt 1.0) 1))))
  (fma (- (/ (sqrt 1.0) (exp x))) (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) (exp x)) (/ (sqrt 1.0) 1)))
  (fma 1 1 (- (* (/ 1.0 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))))))
  (fma (- (/ 1.0 (cbrt (exp x)))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ 1.0 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma 1 1 (- (* (/ 1.0 (sqrt (exp x))) (/ 1 (sqrt (exp x))))))
  (fma (- (/ 1.0 (sqrt (exp x)))) (/ 1 (sqrt (exp x))) (* (/ 1.0 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))
  (fma 1 1 (- (* (/ 1.0 (exp x)) (/ 1 1))))
  (fma (- (/ 1.0 (exp x))) (/ 1 1) (* (/ 1.0 (exp x)) (/ 1 1)))
  (fma 1 1 (- (* (/ 1.0 (exp x)) 1)))
  (fma (- (/ 1.0 (exp x))) 1 (* (/ 1.0 (exp x)) 1))
  (fma 1 1 (- (* (/ 1 (exp x)) 1.0)))
  (fma (- (/ 1 (exp x))) 1.0 (* (/ 1 (exp x)) 1.0))
  (expm1 (- 1 (/ 1.0 (exp x))))
  (log1p (- 1 (/ 1.0 (exp x))))
  (- (/ 1.0 (exp x)))
  (- (/ 1.0 (exp x)))
  (- (/ 1.0 (exp x)))
  (/ (exp 1) (exp (/ 1.0 (exp x))))
  (log (- 1 (/ 1.0 (exp x))))
  (exp (- 1 (/ 1.0 (exp x))))
  (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (cbrt (- 1 (/ 1.0 (exp x))))
  (* (* (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x))))
  (sqrt (- 1 (/ 1.0 (exp x))))
  (sqrt (- 1 (/ 1.0 (exp x))))
  (- (pow 1 3) (pow (/ 1.0 (exp x)) 3))
  (+ (* 1 1) (+ (* (/ 1.0 (exp x)) (/ 1.0 (exp x))) (* 1 (/ 1.0 (exp x)))))
  (- (/ 1.0 (exp x)))
  (- (* 1 1) (* (/ 1.0 (exp x)) (/ 1.0 (exp x))))
  (+ 1 (/ 1.0 (exp x)))
  (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))
  (- (sqrt 1) (sqrt (/ 1.0 (exp x))))
  (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))
  (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))
  (+ 1 (sqrt (/ 1.0 (exp x))))
  (- 1 (sqrt (/ 1.0 (exp x))))
  (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (- (/ 1.0 (exp x)))
  (expm1 (/ 1 (- 1 (/ 1.0 (exp x)))))
  (log1p (/ 1 (- 1 (/ 1.0 (exp x)))))
  (- 1)
  (- (log (- 1 (/ 1.0 (exp x)))))
  (- 0 (log (- 1 (/ 1.0 (exp x)))))
  (- (log 1) (log (- 1 (/ 1.0 (exp x)))))
  (log (/ 1 (- 1 (/ 1.0 (exp x)))))
  (exp (/ 1 (- 1 (/ 1.0 (exp x)))))
  (/ (* (* 1 1) 1) (* (* (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x)))))
  (* (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))))
  (cbrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (* (* (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x))))) (/ 1 (- 1 (/ 1.0 (exp x)))))
  (sqrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (sqrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (- 1)
  (- (- 1 (/ 1.0 (exp x))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))))
  (/ (cbrt 1) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ (cbrt 1) (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- 1 (/ 1.0 (exp x))))
  (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ (cbrt 1) (- (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (cbrt 1) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ (cbrt 1) (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (cbrt 1) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- 1 (/ 1.0 (exp x))))
  (/ (sqrt 1) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))))
  (/ (sqrt 1) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ (sqrt 1) (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ (sqrt 1) (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- 1 (/ 1.0 (exp x))))
  (/ (sqrt 1) (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ (sqrt 1) (- (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ (sqrt 1) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ (sqrt 1) (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ (sqrt 1) (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- 1 (/ 1.0 (exp x))))
  (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))))
  (/ 1 (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 1)
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 1)
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ (- 1 (/ 1.0 (exp x))) 1)
  (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 1)
  (/ 1 (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 1)
  (/ (- 1 (/ 1.0 (exp x))) (cbrt 1))
  (/ (- 1 (/ 1.0 (exp x))) (sqrt 1))
  (/ (- 1 (/ 1.0 (exp x))) 1)
  (/ 1 (- (pow 1 3) (pow (/ 1.0 (exp x)) 3)))
  (/ 1 (- (* 1 1) (* (/ 1.0 (exp x)) (/ 1.0 (exp x)))))
  (expm1 (/ 1.0 (exp x)))
  (log1p (/ 1.0 (exp x)))
  (- (log 1.0) x)
  (log (/ 1.0 (exp x)))
  (exp (/ 1.0 (exp x)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x))))
  (cbrt (/ 1.0 (exp x)))
  (* (* (/ 1.0 (exp x)) (/ 1.0 (exp x))) (/ 1.0 (exp x)))
  (sqrt (/ 1.0 (exp x)))
  (sqrt (/ 1.0 (exp x)))
  (- 1.0)
  (- (exp x))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt 1.0) (cbrt (exp x)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x)))
  (/ (cbrt 1.0) (sqrt (exp x)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) 1)
  (/ (cbrt 1.0) (exp x))
  (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt 1.0) (cbrt (exp x)))
  (/ (sqrt 1.0) (sqrt (exp x)))
  (/ (sqrt 1.0) (sqrt (exp x)))
  (/ (sqrt 1.0) 1)
  (/ (sqrt 1.0) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1.0 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1.0 (sqrt (exp x)))
  (/ 1 1)
  (/ 1.0 (exp x))
  (/ 1 (exp x))
  (/ (exp x) 1.0)
  (/ 1.0 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1.0 (sqrt (exp x)))
  (/ 1.0 1)
  (/ (exp x) (cbrt 1.0))
  (/ (exp x) (sqrt 1.0))
  (/ (exp x) 1.0)
  (- (+ (* 0.16666666666666666 (pow x 3)) (* 1.0 x)) (* 0.5 (pow x 2)))
  (- 1 (* 1.0 (/ 1 (exp x))))
  (- 1 (* 1.0 (/ 1 (exp x))))
  (+ 0.5 (+ (* 0.08333333333333334 x) (* 1.0 (/ 1 x))))
  (/ 1 (- 1 (* 1.0 (/ 1 (exp x)))))
  (/ 1 (- 1 (* 1.0 (/ 1 (exp x)))))
  (- (+ (* 0.5 (pow x 2)) 1.0) (* 1.0 x))
  (/ 1.0 (exp x))
  (/ 1.0 (exp x))
3.964 * * [simplify]: iteration  0 :  257  enodes  (cost  3113 )
4.065 * * [simplify]: iteration  1 :  536  enodes  (cost  2570 )
4.202 * * [simplify]: iteration  2 :  1248  enodes  (cost  2062 )
5.792 * * [simplify]: iteration  3 :  4489  enodes  (cost  1861 )
6.908 * * [simplify]: iteration  done :  5001  enodes  (cost  1861 )
6.909 * [simplify]: Simplified to:
   (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- (/ 1.0 (pow (cbrt (exp x)) 3)) (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (/ 1.0 (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- (/ 1.0 (pow (cbrt (exp x)) 3)) (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (/ 1.0 (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- (/ 1.0 (pow (cbrt (exp x)) 3)) (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (/ 1.0 (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- (/ 1.0 (pow (cbrt (exp x)) 3)) (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (/ 1.0 (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- (/ 1.0 (pow (cbrt (exp x)) 3)) (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (/ 1.0 (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- (/ 1.0 (pow (cbrt (exp x)) 3)) (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (/ 1.0 (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- (/ 1.0 (pow (cbrt (exp x)) 3)) (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (/ 1.0 (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- (/ 1.0 (pow (cbrt (exp x)) 3)) (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (/ 1.0 (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- (/ 1.0 (pow (cbrt (exp x)) 3)) (/ 1.0 (pow (cbrt (exp x)) 3)))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (/ 1.0 (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (* 0 (/ 1.0 (exp x)))
  (expm1 (- 1 (/ 1.0 (exp x))))
  (log1p (- 1 (/ 1.0 (exp x))))
  (- (/ 1.0 (exp x)))
  (- (/ 1.0 (exp x)))
  (- (/ 1.0 (exp x)))
  (exp (- 1 (/ 1.0 (exp x))))
  (log1p (- (/ 1.0 (exp x))))
  (exp (- 1 (/ 1.0 (exp x))))
  (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (cbrt (- 1 (/ 1.0 (exp x))))
  (pow (- 1 (/ 1.0 (exp x))) 3)
  (sqrt (- 1 (/ 1.0 (exp x))))
  (sqrt (- 1 (/ 1.0 (exp x))))
  (- 1 (pow (/ 1.0 (exp x)) 3))
  (fma (/ 1.0 (exp x)) (+ 1 (/ 1.0 (exp x))) 1)
  (- (/ 1.0 (exp x)))
  (- 1 (pow (cbrt (/ 1.0 (exp x))) 6))
  (fma (exp (- x)) 1.0 1)
  (+ 1 (sqrt (/ 1.0 (exp x))))
  (- 1 (sqrt (/ 1.0 (exp x))))
  (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (+ 1 (sqrt (/ 1.0 (exp x))))
  (- 1 (sqrt (/ 1.0 (exp x))))
  (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (- (/ 1.0 (exp x)))
  (expm1 (/ 1 (- 1 (/ 1.0 (exp x)))))
  (log1p (/ 1 (- 1 (/ 1.0 (exp x)))))
  -1
  (- (log1p (- (/ 1.0 (exp x)))))
  (- (log1p (- (/ 1.0 (exp x)))))
  (- (log1p (- (/ 1.0 (exp x)))))
  (- (log1p (- (/ 1.0 (exp x)))))
  (exp (/ 1 (- 1 (/ 1.0 (exp x)))))
  (pow (/ 1 (- 1 (/ 1.0 (exp x)))) 3)
  (* (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))))
  (cbrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (pow (/ 1 (- 1 (/ 1.0 (exp x)))) 3)
  (sqrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (sqrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  -1
  (+ (/ 1.0 (exp x)) -1)
  (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  1
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  1
  (- 1 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (/ 1 (- 1 (pow (/ 1.0 (exp x)) 3)))
  (/ 1 (- 1 (pow (cbrt (/ 1.0 (exp x))) 6)))
  (expm1 (/ 1.0 (exp x)))
  (log1p (/ 1.0 (exp x)))
  (- (log 1.0) x)
  (- (log 1.0) x)
  (exp (/ 1.0 (exp x)))
  (pow (/ 1.0 (exp x)) 3)
  (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x))))
  (cbrt (/ 1.0 (exp x)))
  (pow (/ 1.0 (exp x)) 3)
  (sqrt (/ 1.0 (exp x)))
  (sqrt (/ 1.0 (exp x)))
  (- 1.0)
  (- (exp x))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt 1.0) (cbrt (exp x)))
  (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (exp x))))
  (/ (cbrt 1.0) (sqrt (exp x)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (exp x))
  (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt 1.0) (cbrt (exp x)))
  (/ (sqrt 1.0) (sqrt (exp x)))
  (/ (sqrt 1.0) (sqrt (exp x)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1.0 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1.0 (sqrt (exp x)))
  1
  (/ 1.0 (exp x))
  (exp (- x))
  (/ (exp x) 1.0)
  (/ (/ 1.0 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1.0 (sqrt (exp x)))
  1.0
  (/ (exp x) (cbrt 1.0))
  (/ (exp x) (sqrt 1.0))
  (/ (exp x) 1.0)
  (fma x 1.0 (* (pow x 2) (- (* x 0.16666666666666666) 0.5)))
  (- 1 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (+ 0.5 (fma 0.08333333333333334 x (/ 1.0 x)))
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (+ (* x (- (* 0.5 x) 1.0)) 1.0)
  (/ 1.0 (exp x))
  (/ 1.0 (exp x))
6.910 * * * [progress]: adding candidates to table
7.082 * * [progress]: iteration 4 / 4
7.082 * * * [progress]: picking best candidate
7.086 * * * * [pick]: Picked  #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))>
7.086 * * * [progress]: localizing error
7.092 * * * [progress]: generating rewritten candidates
7.092 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
7.098 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
7.116 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
7.117 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.138 * * * [progress]: generating series expansions
7.138 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
7.138 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
7.138 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.138 * [taylor]: Taking taylor expansion of (exp x) in x
7.138 * [taylor]: Taking taylor expansion of x in x
7.138 * [taylor]: Taking taylor expansion of 1.0 in x
7.138 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.139 * [taylor]: Taking taylor expansion of (exp x) in x
7.139 * [taylor]: Taking taylor expansion of x in x
7.139 * [taylor]: Taking taylor expansion of 1.0 in x
7.150 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
7.151 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.151 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.151 * [taylor]: Taking taylor expansion of x in x
7.151 * [taylor]: Taking taylor expansion of 1.0 in x
7.151 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.151 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.151 * [taylor]: Taking taylor expansion of x in x
7.151 * [taylor]: Taking taylor expansion of 1.0 in x
7.155 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
7.155 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.155 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.155 * [taylor]: Taking taylor expansion of -1 in x
7.155 * [taylor]: Taking taylor expansion of x in x
7.155 * [taylor]: Taking taylor expansion of 1.0 in x
7.155 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.155 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.155 * [taylor]: Taking taylor expansion of -1 in x
7.155 * [taylor]: Taking taylor expansion of x in x
7.156 * [taylor]: Taking taylor expansion of 1.0 in x
7.159 * * * * [progress]: [ 2 / 4 ] generating series at (2)
7.159 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0
7.159 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
7.159 * [taylor]: Taking taylor expansion of (exp x) in x
7.159 * [taylor]: Taking taylor expansion of x in x
7.159 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.159 * [taylor]: Taking taylor expansion of (exp x) in x
7.159 * [taylor]: Taking taylor expansion of x in x
7.159 * [taylor]: Taking taylor expansion of 1.0 in x
7.161 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
7.161 * [taylor]: Taking taylor expansion of (exp x) in x
7.161 * [taylor]: Taking taylor expansion of x in x
7.161 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
7.161 * [taylor]: Taking taylor expansion of (exp x) in x
7.161 * [taylor]: Taking taylor expansion of x in x
7.161 * [taylor]: Taking taylor expansion of 1.0 in x
7.169 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0
7.169 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
7.169 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.169 * [taylor]: Taking taylor expansion of x in x
7.169 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.169 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.169 * [taylor]: Taking taylor expansion of x in x
7.170 * [taylor]: Taking taylor expansion of 1.0 in x
7.170 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
7.170 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.170 * [taylor]: Taking taylor expansion of x in x
7.171 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
7.171 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.171 * [taylor]: Taking taylor expansion of x in x
7.171 * [taylor]: Taking taylor expansion of 1.0 in x
7.177 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0
7.177 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
7.177 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.177 * [taylor]: Taking taylor expansion of -1 in x
7.177 * [taylor]: Taking taylor expansion of x in x
7.178 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.178 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.178 * [taylor]: Taking taylor expansion of -1 in x
7.178 * [taylor]: Taking taylor expansion of x in x
7.178 * [taylor]: Taking taylor expansion of 1.0 in x
7.179 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
7.179 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.179 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.179 * [taylor]: Taking taylor expansion of -1 in x
7.179 * [taylor]: Taking taylor expansion of x in x
7.180 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
7.180 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.180 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.180 * [taylor]: Taking taylor expansion of -1 in x
7.180 * [taylor]: Taking taylor expansion of x in x
7.180 * [taylor]: Taking taylor expansion of 1.0 in x
7.186 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
7.186 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
7.186 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
7.186 * [taylor]: Taking taylor expansion of (exp x) in x
7.186 * [taylor]: Taking taylor expansion of x in x
7.187 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
7.187 * [taylor]: Taking taylor expansion of (exp x) in x
7.187 * [taylor]: Taking taylor expansion of x in x
7.190 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
7.190 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
7.190 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.190 * [taylor]: Taking taylor expansion of x in x
7.190 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
7.190 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.190 * [taylor]: Taking taylor expansion of x in x
7.194 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
7.194 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
7.194 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.194 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.194 * [taylor]: Taking taylor expansion of -1 in x
7.194 * [taylor]: Taking taylor expansion of x in x
7.195 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
7.195 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.195 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.195 * [taylor]: Taking taylor expansion of -1 in x
7.195 * [taylor]: Taking taylor expansion of x in x
7.198 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.198 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
7.198 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
7.198 * [taylor]: Taking taylor expansion of (exp x) in x
7.198 * [taylor]: Taking taylor expansion of x in x
7.199 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
7.199 * [taylor]: Taking taylor expansion of (exp x) in x
7.199 * [taylor]: Taking taylor expansion of x in x
7.202 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
7.202 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
7.202 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.202 * [taylor]: Taking taylor expansion of x in x
7.203 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
7.203 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.203 * [taylor]: Taking taylor expansion of x in x
7.206 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
7.206 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
7.206 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.206 * [taylor]: Taking taylor expansion of -1 in x
7.206 * [taylor]: Taking taylor expansion of x in x
7.207 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
7.207 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.207 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.207 * [taylor]: Taking taylor expansion of -1 in x
7.207 * [taylor]: Taking taylor expansion of x in x
7.210 * * * [progress]: simplifying candidates
7.215 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (exp x) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (exp x) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (exp x) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (exp x)) (exp 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))
  (- 1.0)
  (- (* (exp x) (exp x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (expm1 (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (log1p (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (- (log (sqrt (exp x))) (- (log (- (exp x) 1.0)) (log (sqrt (exp x)))))
  (- (log (sqrt (exp x))) (log (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (log (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (exp (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (/ (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))))
  (/ (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (* (* (/ (- (exp x) 1.0) (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x)))) (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (* (cbrt (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))) (cbrt (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (cbrt (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (* (* (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (sqrt (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (sqrt (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (- (sqrt (exp x)))
  (- (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt 1)))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt 1)))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) 1))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (sqrt 1)))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 1))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt 1)))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (sqrt 1)))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ 1 1))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) 1)
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (- (exp x) 1.0))
  (/ (cbrt (sqrt (exp x))) (/ 1 (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt 1)))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt 1)))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) 1))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt 1)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 1))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt 1)))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt 1)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 1))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1)
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (- (exp x) 1.0))
  (/ (sqrt (cbrt (exp x))) (/ 1 (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) 1))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 1))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 1))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- (exp x) 1.0))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (exp x))))
  (/ (sqrt 1) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (exp x)) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt 1) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt 1)))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt 1) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt 1) (/ (sqrt (- (exp x) 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ (sqrt (- (exp x) 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt 1) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ (sqrt (- (exp x) 1.0)) (sqrt 1)))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt 1) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ (sqrt (- (exp x) 1.0)) 1))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt 1) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ 1 (sqrt 1)))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt 1) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt 1) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt 1)))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (sqrt 1) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (sqrt 1) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ 1 (sqrt 1)))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt 1) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt 1) 1)
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt 1) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (/ 1 (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) 1))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 1))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt 1)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ 1 1))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- (exp x) 1.0))
  (/ (sqrt (sqrt (exp x))) (/ 1 (sqrt (exp x))))
  (/ 1 (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (exp x)) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ 1 (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ 1 (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ 1 (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ 1 (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ 1 (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt 1)))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ 1 (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1))
  (/ (sqrt (exp x)) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (/ (sqrt (- (exp x) 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ 1 (/ (sqrt (- (exp x) 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ 1 (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ 1 (/ (sqrt (- (exp x) 1.0)) (sqrt 1)))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ 1 (/ (sqrt (- (exp x) 1.0)) 1))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ 1 (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ 1 (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ 1 (/ 1 (sqrt 1)))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ 1 (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ 1 (/ 1 1))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ 1 (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x)))))
  (/ 1 (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x)))))
  (/ 1 (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ 1 (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt 1)))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ 1 (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ 1 (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1))
  (/ (sqrt (exp x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x))))
  (/ 1 (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (/ 1 (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (/ 1 (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ 1 (/ 1 (sqrt 1)))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ 1 (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (/ 1 (/ 1 1))
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ 1 1)
  (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ 1 (- (exp x) 1.0))
  (/ (sqrt (exp x)) (/ 1 (sqrt (exp x))))
  (/ 1 (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (sqrt (exp x)))
  (/ (sqrt (exp x)) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (exp x)) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt 1)))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt 1)))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) 1))
  (/ (sqrt (exp x)) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ 1 (sqrt 1)))
  (/ (sqrt (exp x)) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ 1 1))
  (/ (sqrt (exp x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt 1)))
  (/ (sqrt (exp x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1))
  (/ (sqrt (exp x)) (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))))
  (/ (sqrt (exp x)) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ 1 (sqrt 1)))
  (/ (sqrt (exp x)) (/ 1 (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ 1 1))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (sqrt (exp x)))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (/ (exp x) (- (exp x) 1.0))
  (/ (exp x) (- (exp x) 1.0))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
7.236 * * [simplify]: iteration  0 :  374  enodes  (cost  7550 )
7.409 * * [simplify]: iteration  1 :  823  enodes  (cost  6679 )
8.290 * * [simplify]: iteration  2 :  2962  enodes  (cost  6051 )
9.202 * * [simplify]: iteration  done :  5000  enodes  (cost  6039 )
9.205 * [simplify]: Simplified to:
   (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0)
  (- 1.0 1.0)
  (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0)
  (- 1.0 1.0)
  (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (- (exp x) 1.0)
  (- 1.0 1.0)
  (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp x) 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (pow (- (exp x) 1.0) 3)
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (fma 1.0 (+ (exp x) 1.0) (exp (+ x x)))
  (- 1.0)
  (- (exp (+ x x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt 1.0) (sqrt (exp x)))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (expm1 (/ (exp x) (- (exp x) 1.0)))
  (log1p (/ (exp x) (- (exp x) 1.0)))
  (log (/ (exp x) (- (exp x) 1.0)))
  (log (/ (exp x) (- (exp x) 1.0)))
  (log (/ (exp x) (- (exp x) 1.0)))
  (exp (/ (exp x) (- (exp x) 1.0)))
  (pow (/ (exp x) (- (exp x) 1.0)) 3)
  (pow (/ (exp x) (- (exp x) 1.0)) 3)
  (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0))))
  (cbrt (/ (exp x) (- (exp x) 1.0)))
  (pow (/ (exp x) (- (exp x) 1.0)) 3)
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (- (sqrt (exp x)))
  (- (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (* (/ (fabs (cbrt (exp x))) (sqrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (- (exp x) 1.0))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (fabs (cbrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (- (exp x) 1.0))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (fabs (cbrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (- (exp x) 1.0))
  (* (cbrt (sqrt (exp x))) (sqrt (exp x)))
  (/ (fabs (cbrt (exp x))) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (cbrt (exp x))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (fabs (cbrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (fabs (cbrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (* (/ (fabs (cbrt (exp x))) (sqrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (cbrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (fabs (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (fabs (cbrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x)))))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (fabs (cbrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (cbrt (exp x)))))
  (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (fabs (cbrt (exp x))) (- (exp x) 1.0))
  (* (sqrt (cbrt (exp x))) (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (fabs (cbrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- (exp x) 1.0))
  (* (sqrt (sqrt (exp x))) (sqrt (exp x)))
  (/ 1 (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (exp x)) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ 1 (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (fabs (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  1
  (/ (exp x) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  1
  (/ (exp x) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  1
  (/ (exp x) (- (exp x) 1.0))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (- (exp x) 1.0))
  (exp x)
  (/ (sqrt (sqrt (exp x))) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (sqrt (exp x))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (fabs (cbrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (sqrt (exp x)))))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- (exp x) 1.0))
  (* (sqrt (sqrt (exp x))) (sqrt (exp x)))
  (/ 1 (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (exp x)) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ 1 (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (fabs (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (sqrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ (cbrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  1
  (/ (exp x) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (fabs (cbrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (cbrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  1
  (/ (exp x) (- (exp x) 1.0))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))))
  1
  (/ (exp x) (- (exp x) 1.0))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (- (exp x) 1.0))
  (exp x)
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (/ (sqrt (exp x)) (* (cbrt (/ (- (exp x) 1.0) (sqrt (exp x)))) (cbrt (/ (- (exp x) 1.0) (sqrt (exp x))))))
  (/ (sqrt (exp x)) (sqrt (/ (- (exp x) 1.0) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (fabs (cbrt (exp x)))))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (sqrt (exp x)) (/ (sqrt (- (exp x) 1.0)) (fabs (cbrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (* (sqrt (exp x)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (* (sqrt (exp x)) (fabs (cbrt (exp x))))
  (* (sqrt (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (exp x))
  (* (sqrt (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (* (/ (sqrt (exp x)) (+ (sqrt 1.0) (sqrt (exp x)))) (fabs (cbrt (exp x))))
  (/ (sqrt (exp x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (exp x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (+ (sqrt 1.0) (sqrt (exp x))))
  (* (sqrt (exp x)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (* (sqrt (exp x)) (fabs (cbrt (exp x))))
  (* (sqrt (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (exp x))
  (* (sqrt (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (exp x))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (/ (/ (- (exp x) 1.0) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (pow (sqrt (exp x)) 3)
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (pow (sqrt (exp x)) 3)
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (fma 1/2 (pow x 2) (fma 1/6 (pow x 3) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (fma 1/12 x (/ 1 x)) 1/2)
  (/ (exp x) (- (exp x) 1.0))
  (/ (exp x) (- (exp x) 1.0))
  (fma 1/8 (pow x 2) (fma 1/2 x 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (fma 1/8 (pow x 2) (fma 1/2 x 1))
  (sqrt (exp x))
  (sqrt (exp x))
9.207 * * * [progress]: adding candidates to table
9.593 * [progress]: [Phase 3 of 3] Extracting.
9.593 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))> #<alt (λ (x) (* (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))) (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))>)
9.594 * * * [regime-changes]: Trying 2 branch expressions: ((exp x) x)
9.594 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))> #<alt (λ (x) (* (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))) (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))>)
9.612 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (* (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))) (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))>)
9.626 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))> #<alt (λ (x) (* (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))) (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))>)
9.649 * * * [regime]: Found split indices: #<option (#s(si 2 83) #s(si 0 255))>
9.650 * [binary-search]: Only using regimes for bounds on (exp x) and (#<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))> #<alt (λ (x) (* (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))) (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))>)
9.650 * [regimes]: Found splitpoints: (#s(sp 2 (exp x) 0.00315224065076236) #s(sp 0 (exp x) +nan.0)) , with alts (#<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))> #<alt (λ (x) (* (/ (fabs (cbrt (exp x))) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))) (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x)))))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))>)
9.650 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (exp x) 0.00315224065076236) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))) (+ (fma 1/12 x (/ 1 x)) 1/2))
9.650 * * [simplify]: iteration  0 :  16  enodes  (cost  25 )
9.651 * * [simplify]: iteration  1 :  19  enodes  (cost  25 )
9.651 * * [simplify]: iteration  done :  19  enodes  (cost  25 )
9.651 * [simplify]: Simplified to:
   (if (<= (exp x) 0.00315224065076236) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))) (+ (fma 1/12 x (/ 1 x)) 1/2))
10.923 * [regime-testing]: Baseline error score: 21.32318346713761
10.924 * [regime-testing]: Oracle error score: 0.01964501779296501
10.925 * [regime-testing]: End program error score: 0.7260109372125918
10.952 * [regime-testing]: Target error score: 40.96986450591154