8.731 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.040 * * * [progress]: [2/2] Setting up program.
0.042 * [progress]: [Phase 2 of 3] Improving.
0.042 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp x) (- (exp x) 1.0))
0.043 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
0.044 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
0.044 * * [simplify]: iteration  2 :  8  enodes  (cost  7 )
0.045 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
0.045 * [simplify]: Simplified to:
   (/ (exp x) (- (exp x) 1.0))
0.046 * * [progress]: iteration 1 / 4
0.046 * * * [progress]: picking best candidate
0.047 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (- (exp x) 1.0)))>
0.047 * * * [progress]: localizing error
0.051 * * * [progress]: generating rewritten candidates
0.051 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.056 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.067 * * * [progress]: generating series expansions
0.067 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.067 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.067 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.067 * [taylor]: Taking taylor expansion of (exp x) in x
0.067 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of 1.0 in x
0.068 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.068 * [taylor]: Taking taylor expansion of (exp x) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of 1.0 in x
0.073 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.073 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.073 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of 1.0 in x
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.074 * [taylor]: Taking taylor expansion of 1.0 in x
0.077 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.077 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.077 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.077 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.077 * [taylor]: Taking taylor expansion of -1 in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of 1.0 in x
0.078 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.078 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.078 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.078 * [taylor]: Taking taylor expansion of -1 in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of 1.0 in x
0.082 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.082 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0
0.082 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.082 * [taylor]: Taking taylor expansion of (exp x) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.082 * [taylor]: Taking taylor expansion of (exp x) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of 1.0 in x
0.084 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.084 * [taylor]: Taking taylor expansion of (exp x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.084 * [taylor]: Taking taylor expansion of (exp x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of 1.0 in x
0.092 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0
0.092 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.092 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.092 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.093 * [taylor]: Taking taylor expansion of 1.0 in x
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.104 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0
0.104 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.104 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.104 * [taylor]: Taking taylor expansion of -1 in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.104 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.104 * [taylor]: Taking taylor expansion of -1 in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.105 * [taylor]: Taking taylor expansion of 1.0 in x
0.105 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.105 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.105 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.105 * [taylor]: Taking taylor expansion of -1 in x
0.105 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.106 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.106 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.106 * [taylor]: Taking taylor expansion of -1 in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of 1.0 in x
0.112 * * * [progress]: simplifying candidates
0.113 * [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.117 * * [simplify]: iteration  0 :  117  enodes  (cost  900 )
0.137 * * [simplify]: iteration  1 :  235  enodes  (cost  790 )
0.203 * * [simplify]: iteration  2 :  646  enodes  (cost  697 )
0.607 * * [simplify]: iteration  3 :  3615  enodes  (cost  679 )
2.259 * * [simplify]: iteration  done :  5001  enodes  (cost  678 )
2.259 * [simplify]: Simplified to:
   (- (pow (cbrt (exp x)) 3) 1.0)
  (* 1.0 0)
  (- (pow (cbrt (exp x)) 3) 1.0)
  (* 1.0 0)
  (- (pow (cbrt (exp x)) 3) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 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))
2.260 * * * [progress]: adding candidates to table
2.399 * * [progress]: iteration 2 / 4
2.399 * * * [progress]: picking best candidate
2.406 * * * * [pick]: Picked  #<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))>
2.406 * * * [progress]: localizing error
2.411 * * * [progress]: generating rewritten candidates
2.411 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.412 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.415 * * * [progress]: generating series expansions
2.415 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.415 * [approximate]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in (x) around 0
2.415 * [taylor]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in x
2.416 * [taylor]: Rewrote expression to (+ (* 1/12 x) (/ 1 x))
2.416 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
2.416 * [taylor]: Taking taylor expansion of 1/12 in x
2.416 * [taylor]: Taking taylor expansion of x in x
2.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.416 * [taylor]: Taking taylor expansion of x in x
2.416 * [taylor]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in x
2.416 * [taylor]: Rewrote expression to (+ (* 1/12 x) (/ 1 x))
2.416 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
2.416 * [taylor]: Taking taylor expansion of 1/12 in x
2.416 * [taylor]: Taking taylor expansion of x in x
2.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.417 * [taylor]: Taking taylor expansion of x in x
2.428 * [approximate]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in (x) around 0
2.428 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in x
2.428 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) x)
2.428 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
2.428 * [taylor]: Taking taylor expansion of 1/12 in x
2.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.428 * [taylor]: Taking taylor expansion of x in x
2.428 * [taylor]: Taking taylor expansion of x in x
2.428 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in x
2.428 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) x)
2.429 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
2.429 * [taylor]: Taking taylor expansion of 1/12 in x
2.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.429 * [taylor]: Taking taylor expansion of x in x
2.429 * [taylor]: Taking taylor expansion of x in x
2.441 * [approximate]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in (x) around 0
2.441 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in x
2.441 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) (* -1 x))
2.441 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
2.441 * [taylor]: Taking taylor expansion of 1/12 in x
2.441 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.441 * [taylor]: Taking taylor expansion of -1 in x
2.441 * [taylor]: Taking taylor expansion of x in x
2.441 * [taylor]: Taking taylor expansion of (* -1 x) in x
2.441 * [taylor]: Taking taylor expansion of -1 in x
2.441 * [taylor]: Taking taylor expansion of x in x
2.441 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in x
2.442 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) (* -1 x))
2.442 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
2.442 * [taylor]: Taking taylor expansion of 1/12 in x
2.442 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.442 * [taylor]: Taking taylor expansion of -1 in x
2.442 * [taylor]: Taking taylor expansion of x in x
2.442 * [taylor]: Taking taylor expansion of (* -1 x) in x
2.442 * [taylor]: Taking taylor expansion of -1 in x
2.442 * [taylor]: Taking taylor expansion of x in x
2.463 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.463 * [approximate]: Taking taylor expansion of (+ 1/2 (fma 1/12 x (/ 1 x))) in (x) around 0
2.463 * [taylor]: Taking taylor expansion of (+ 1/2 (fma 1/12 x (/ 1 x))) in x
2.464 * [taylor]: Taking taylor expansion of 1/2 in x
2.464 * [taylor]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in x
2.464 * [taylor]: Rewrote expression to (+ (* 1/12 x) (/ 1 x))
2.464 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
2.464 * [taylor]: Taking taylor expansion of 1/12 in x
2.464 * [taylor]: Taking taylor expansion of x in x
2.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.464 * [taylor]: Taking taylor expansion of x in x
2.464 * [taylor]: Taking taylor expansion of (+ 1/2 (fma 1/12 x (/ 1 x))) in x
2.464 * [taylor]: Taking taylor expansion of 1/2 in x
2.464 * [taylor]: Taking taylor expansion of (fma 1/12 x (/ 1 x)) in x
2.464 * [taylor]: Rewrote expression to (+ (* 1/12 x) (/ 1 x))
2.464 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
2.464 * [taylor]: Taking taylor expansion of 1/12 in x
2.464 * [taylor]: Taking taylor expansion of x in x
2.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.464 * [taylor]: Taking taylor expansion of x in x
2.468 * [approximate]: Taking taylor expansion of (+ (fma 1/12 (/ 1 x) x) 1/2) in (x) around 0
2.468 * [taylor]: Taking taylor expansion of (+ (fma 1/12 (/ 1 x) x) 1/2) in x
2.468 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in x
2.468 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) x)
2.468 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
2.468 * [taylor]: Taking taylor expansion of 1/12 in x
2.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.468 * [taylor]: Taking taylor expansion of x in x
2.468 * [taylor]: Taking taylor expansion of x in x
2.468 * [taylor]: Taking taylor expansion of 1/2 in x
2.468 * [taylor]: Taking taylor expansion of (+ (fma 1/12 (/ 1 x) x) 1/2) in x
2.468 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) x) in x
2.469 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) x)
2.469 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
2.469 * [taylor]: Taking taylor expansion of 1/12 in x
2.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.469 * [taylor]: Taking taylor expansion of x in x
2.469 * [taylor]: Taking taylor expansion of x in x
2.469 * [taylor]: Taking taylor expansion of 1/2 in x
2.473 * [approximate]: Taking taylor expansion of (+ (fma 1/12 (/ -1 x) (* -1 x)) 1/2) in (x) around 0
2.473 * [taylor]: Taking taylor expansion of (+ (fma 1/12 (/ -1 x) (* -1 x)) 1/2) in x
2.473 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in x
2.473 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) (* -1 x))
2.473 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
2.473 * [taylor]: Taking taylor expansion of 1/12 in x
2.473 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.473 * [taylor]: Taking taylor expansion of -1 in x
2.473 * [taylor]: Taking taylor expansion of x in x
2.473 * [taylor]: Taking taylor expansion of (* -1 x) in x
2.473 * [taylor]: Taking taylor expansion of -1 in x
2.473 * [taylor]: Taking taylor expansion of x in x
2.473 * [taylor]: Taking taylor expansion of 1/2 in x
2.473 * [taylor]: Taking taylor expansion of (+ (fma 1/12 (/ -1 x) (* -1 x)) 1/2) in x
2.473 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) (* -1 x)) in x
2.474 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) (* -1 x))
2.474 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
2.474 * [taylor]: Taking taylor expansion of 1/12 in x
2.474 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.474 * [taylor]: Taking taylor expansion of -1 in x
2.474 * [taylor]: Taking taylor expansion of x in x
2.474 * [taylor]: Taking taylor expansion of (* -1 x) in x
2.474 * [taylor]: Taking taylor expansion of -1 in x
2.474 * [taylor]: Taking taylor expansion of x in x
2.474 * [taylor]: Taking taylor expansion of 1/2 in x
2.478 * * * [progress]: simplifying candidates
2.479 * [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)))
2.481 * * [simplify]: iteration  0 :  41  enodes  (cost  329 )
2.489 * * [simplify]: iteration  1 :  94  enodes  (cost  303 )
2.506 * * [simplify]: iteration  2 :  241  enodes  (cost  286 )
2.596 * * [simplify]: iteration  3 :  913  enodes  (cost  280 )
3.142 * * [simplify]: iteration  4 :  4921  enodes  (cost  280 )
4.632 * * [simplify]: iteration  done :  5000  enodes  (cost  280 )
4.632 * [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)
  (- 1/4 (* (fma 1/12 x (/ 1 x)) (- 1/2 (fma 1/12 x (/ 1 x)))))
  (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))
4.632 * * * [progress]: adding candidates to table
4.697 * * [progress]: iteration 3 / 4
4.697 * * * [progress]: picking best candidate
4.702 * * * * [pick]: Picked  #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))>
4.702 * * * [progress]: localizing error
4.707 * * * [progress]: generating rewritten candidates
4.708 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
4.718 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.739 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
4.748 * * * [progress]: generating series expansions
4.748 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
4.748 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in (x) around 0
4.748 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
4.748 * [taylor]: Taking taylor expansion of 1 in x
4.748 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
4.748 * [taylor]: Taking taylor expansion of 1.0 in x
4.748 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.748 * [taylor]: Taking taylor expansion of (exp x) in x
4.748 * [taylor]: Taking taylor expansion of x in x
4.749 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
4.749 * [taylor]: Taking taylor expansion of 1 in x
4.749 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
4.749 * [taylor]: Taking taylor expansion of 1.0 in x
4.749 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.749 * [taylor]: Taking taylor expansion of (exp x) in x
4.749 * [taylor]: Taking taylor expansion of x in x
4.761 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in (x) around 0
4.761 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
4.761 * [taylor]: Taking taylor expansion of 1 in x
4.761 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
4.761 * [taylor]: Taking taylor expansion of 1.0 in x
4.762 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.762 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.762 * [taylor]: Taking taylor expansion of x in x
4.762 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
4.762 * [taylor]: Taking taylor expansion of 1 in x
4.762 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
4.762 * [taylor]: Taking taylor expansion of 1.0 in x
4.762 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.762 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.762 * [taylor]: Taking taylor expansion of x in x
4.772 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in (x) around 0
4.772 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
4.772 * [taylor]: Taking taylor expansion of 1 in x
4.772 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
4.772 * [taylor]: Taking taylor expansion of 1.0 in x
4.772 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.772 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.772 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.772 * [taylor]: Taking taylor expansion of -1 in x
4.772 * [taylor]: Taking taylor expansion of x in x
4.773 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
4.773 * [taylor]: Taking taylor expansion of 1 in x
4.773 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
4.773 * [taylor]: Taking taylor expansion of 1.0 in x
4.773 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.773 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.773 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.773 * [taylor]: Taking taylor expansion of -1 in x
4.773 * [taylor]: Taking taylor expansion of x in x
4.783 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.783 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in (x) around 0
4.783 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x
4.783 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
4.783 * [taylor]: Taking taylor expansion of 1 in x
4.783 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
4.783 * [taylor]: Taking taylor expansion of 1.0 in x
4.783 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.783 * [taylor]: Taking taylor expansion of (exp x) in x
4.783 * [taylor]: Taking taylor expansion of x in x
4.787 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x
4.787 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
4.787 * [taylor]: Taking taylor expansion of 1 in x
4.787 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
4.787 * [taylor]: Taking taylor expansion of 1.0 in x
4.787 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.787 * [taylor]: Taking taylor expansion of (exp x) in x
4.787 * [taylor]: Taking taylor expansion of x in x
4.804 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in (x) around 0
4.804 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x
4.804 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
4.804 * [taylor]: Taking taylor expansion of 1 in x
4.804 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
4.804 * [taylor]: Taking taylor expansion of 1.0 in x
4.804 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.804 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.804 * [taylor]: Taking taylor expansion of x in x
4.804 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x
4.804 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
4.804 * [taylor]: Taking taylor expansion of 1 in x
4.804 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
4.804 * [taylor]: Taking taylor expansion of 1.0 in x
4.804 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.805 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.805 * [taylor]: Taking taylor expansion of x in x
4.822 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in (x) around 0
4.822 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x
4.822 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
4.822 * [taylor]: Taking taylor expansion of 1 in x
4.822 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
4.822 * [taylor]: Taking taylor expansion of 1.0 in x
4.822 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.822 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.822 * [taylor]: Taking taylor expansion of -1 in x
4.822 * [taylor]: Taking taylor expansion of x in x
4.823 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x
4.823 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
4.823 * [taylor]: Taking taylor expansion of 1 in x
4.823 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
4.823 * [taylor]: Taking taylor expansion of 1.0 in x
4.823 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.823 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.823 * [taylor]: Taking taylor expansion of -1 in x
4.823 * [taylor]: Taking taylor expansion of x in x
4.836 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
4.836 * [approximate]: Taking taylor expansion of (/ 1.0 (exp x)) in (x) around 0
4.836 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x
4.836 * [taylor]: Taking taylor expansion of 1.0 in x
4.836 * [taylor]: Taking taylor expansion of (exp x) in x
4.836 * [taylor]: Taking taylor expansion of x in x
4.836 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x
4.836 * [taylor]: Taking taylor expansion of 1.0 in x
4.836 * [taylor]: Taking taylor expansion of (exp x) in x
4.836 * [taylor]: Taking taylor expansion of x in x
4.843 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in (x) around 0
4.843 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x
4.843 * [taylor]: Taking taylor expansion of 1.0 in x
4.843 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.843 * [taylor]: Taking taylor expansion of x in x
4.844 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x
4.844 * [taylor]: Taking taylor expansion of 1.0 in x
4.844 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.844 * [taylor]: Taking taylor expansion of x in x
4.846 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in (x) around 0
4.846 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x
4.846 * [taylor]: Taking taylor expansion of 1.0 in x
4.846 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.846 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.846 * [taylor]: Taking taylor expansion of -1 in x
4.846 * [taylor]: Taking taylor expansion of x in x
4.846 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x
4.846 * [taylor]: Taking taylor expansion of 1.0 in x
4.846 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.846 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.846 * [taylor]: Taking taylor expansion of -1 in x
4.846 * [taylor]: Taking taylor expansion of x in x
4.848 * * * [progress]: simplifying candidates
4.851 * [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))
4.858 * * [simplify]: iteration  0 :  257  enodes  (cost  3113 )
4.948 * * [simplify]: iteration  1 :  536  enodes  (cost  2570 )
5.075 * * [simplify]: iteration  2 :  1462  enodes  (cost  2062 )
5.560 * * [simplify]: iteration  done :  5001  enodes  (cost  2056 )
5.561 * [simplify]: Simplified to:
   (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (pow (/ (cbrt 1.0) (cbrt (exp x))) 3))
  (- (pow (/ (cbrt 1.0) (cbrt (exp x))) 3) (pow (/ (cbrt 1.0) (cbrt (exp x))) 3))
  (- 1 (/ (/ (pow (cbrt 1.0) 3) (sqrt (exp x))) (sqrt (exp x))))
  (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (+ (- (/ (cbrt 1.0) (sqrt (exp x)))) (/ (cbrt 1.0) (sqrt (exp x)))))
  (- 1 (/ (pow (cbrt 1.0) 3) (exp x)))
  (- (/ (pow (cbrt 1.0) 3) (exp x)) (/ (pow (cbrt 1.0) 3) (exp x)))
  (- 1 (/ (/ 1.0 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (+ (- (/ 1.0 (cbrt (exp x)))) (/ 1.0 (cbrt (exp x)))))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (/ 1.0 (sqrt (exp x))) (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ (/ 1.0 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (+ (- (/ 1.0 (cbrt (exp x)))) (/ 1.0 (cbrt (exp x)))))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (/ 1.0 (sqrt (exp x))) (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (pow (/ (cbrt 1.0) (cbrt (exp x))) 3))
  (- (pow (/ (cbrt 1.0) (cbrt (exp x))) 3) (pow (/ (cbrt 1.0) (cbrt (exp x))) 3))
  (- 1 (/ (/ (pow (cbrt 1.0) 3) (sqrt (exp x))) (sqrt (exp x))))
  (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (+ (- (/ (cbrt 1.0) (sqrt (exp x)))) (/ (cbrt 1.0) (sqrt (exp x)))))
  (- 1 (/ (pow (cbrt 1.0) 3) (exp x)))
  (- (/ (pow (cbrt 1.0) 3) (exp x)) (/ (pow (cbrt 1.0) 3) (exp x)))
  (- 1 (/ (/ 1.0 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (+ (- (/ 1.0 (cbrt (exp x)))) (/ 1.0 (cbrt (exp x)))))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (/ 1.0 (sqrt (exp x))) (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ (/ 1.0 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (+ (- (/ 1.0 (cbrt (exp x)))) (/ 1.0 (cbrt (exp x)))))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (/ 1.0 (sqrt (exp x))) (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (pow (/ (cbrt 1.0) (cbrt (exp x))) 3))
  (- (pow (/ (cbrt 1.0) (cbrt (exp x))) 3) (pow (/ (cbrt 1.0) (cbrt (exp x))) 3))
  (- 1 (/ (/ (pow (cbrt 1.0) 3) (sqrt (exp x))) (sqrt (exp x))))
  (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (+ (- (/ (cbrt 1.0) (sqrt (exp x)))) (/ (cbrt 1.0) (sqrt (exp x)))))
  (- 1 (/ (pow (cbrt 1.0) 3) (exp x)))
  (- (/ (pow (cbrt 1.0) 3) (exp x)) (/ (pow (cbrt 1.0) 3) (exp x)))
  (- 1 (/ (/ 1.0 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (+ (- (/ 1.0 (cbrt (exp x)))) (/ 1.0 (cbrt (exp x)))))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (/ 1.0 (sqrt (exp x))) (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ (/ 1.0 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (+ (- (/ 1.0 (cbrt (exp x)))) (/ 1.0 (cbrt (exp x)))))
  (- 1 (/ (/ 1.0 (sqrt (exp x))) (sqrt (exp x))))
  (* (/ 1.0 (sqrt (exp x))) (+ (/ -1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (* (exp (- x)) (+ (- 1.0) 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 (/ 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 (/ (* 1.0 1.0) (exp (+ x x))))
  (fma 1.0 (exp (- x)) 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 (/ 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 (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 (/ (* 1.0 1.0) (exp (+ x x)))))
  (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 0.16666666666666666 (pow x 3) (* 1.0 x)) (* 0.5 (pow x 2)))
  (- 1 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (+ 0.5 (fma x 0.08333333333333334 (/ 1.0 x)))
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (- (fma 0.5 (pow x 2) 1.0) (* 1.0 x))
  (/ 1.0 (exp x))
  (/ 1.0 (exp x))
5.562 * * * [progress]: adding candidates to table
5.748 * * [progress]: iteration 4 / 4
5.748 * * * [progress]: picking best candidate
5.752 * * * * [pick]: Picked  #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))>
5.752 * * * [progress]: localizing error
5.758 * * * [progress]: generating rewritten candidates
5.758 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
5.763 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
5.785 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
5.787 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.810 * * * [progress]: generating series expansions
5.810 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
5.810 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
5.810 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
5.811 * [taylor]: Taking taylor expansion of (exp x) in x
5.811 * [taylor]: Taking taylor expansion of x in x
5.811 * [taylor]: Taking taylor expansion of 1.0 in x
5.811 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
5.811 * [taylor]: Taking taylor expansion of (exp x) in x
5.811 * [taylor]: Taking taylor expansion of x in x
5.811 * [taylor]: Taking taylor expansion of 1.0 in x
5.816 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
5.816 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
5.816 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.816 * [taylor]: Taking taylor expansion of x in x
5.817 * [taylor]: Taking taylor expansion of 1.0 in x
5.817 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
5.817 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.817 * [taylor]: Taking taylor expansion of x in x
5.817 * [taylor]: Taking taylor expansion of 1.0 in x
5.820 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
5.821 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
5.821 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.821 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.821 * [taylor]: Taking taylor expansion of -1 in x
5.821 * [taylor]: Taking taylor expansion of x in x
5.821 * [taylor]: Taking taylor expansion of 1.0 in x
5.821 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
5.821 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.821 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.821 * [taylor]: Taking taylor expansion of -1 in x
5.821 * [taylor]: Taking taylor expansion of x in x
5.821 * [taylor]: Taking taylor expansion of 1.0 in x
5.825 * * * * [progress]: [ 2 / 4 ] generating series at (2)
5.825 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0
5.825 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
5.825 * [taylor]: Taking taylor expansion of (exp x) in x
5.825 * [taylor]: Taking taylor expansion of x in x
5.825 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
5.825 * [taylor]: Taking taylor expansion of (exp x) in x
5.825 * [taylor]: Taking taylor expansion of x in x
5.825 * [taylor]: Taking taylor expansion of 1.0 in x
5.827 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
5.827 * [taylor]: Taking taylor expansion of (exp x) in x
5.827 * [taylor]: Taking taylor expansion of x in x
5.827 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
5.827 * [taylor]: Taking taylor expansion of (exp x) in x
5.827 * [taylor]: Taking taylor expansion of x in x
5.827 * [taylor]: Taking taylor expansion of 1.0 in x
5.835 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0
5.835 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
5.835 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.835 * [taylor]: Taking taylor expansion of x in x
5.835 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
5.835 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.835 * [taylor]: Taking taylor expansion of x in x
5.836 * [taylor]: Taking taylor expansion of 1.0 in x
5.836 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
5.836 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.836 * [taylor]: Taking taylor expansion of x in x
5.837 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
5.837 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.837 * [taylor]: Taking taylor expansion of x in x
5.837 * [taylor]: Taking taylor expansion of 1.0 in x
5.843 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0
5.843 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
5.843 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.843 * [taylor]: Taking taylor expansion of -1 in x
5.843 * [taylor]: Taking taylor expansion of x in x
5.843 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
5.843 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.843 * [taylor]: Taking taylor expansion of -1 in x
5.843 * [taylor]: Taking taylor expansion of x in x
5.844 * [taylor]: Taking taylor expansion of 1.0 in x
5.844 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
5.844 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.844 * [taylor]: Taking taylor expansion of -1 in x
5.844 * [taylor]: Taking taylor expansion of x in x
5.845 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
5.845 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.845 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.845 * [taylor]: Taking taylor expansion of -1 in x
5.845 * [taylor]: Taking taylor expansion of x in x
5.845 * [taylor]: Taking taylor expansion of 1.0 in x
5.857 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
5.857 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
5.857 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.857 * [taylor]: Taking taylor expansion of (exp x) in x
5.857 * [taylor]: Taking taylor expansion of x in x
5.858 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.858 * [taylor]: Taking taylor expansion of (exp x) in x
5.858 * [taylor]: Taking taylor expansion of x in x
5.861 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
5.861 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.861 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.861 * [taylor]: Taking taylor expansion of x in x
5.862 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.862 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.862 * [taylor]: Taking taylor expansion of x in x
5.865 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
5.865 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.865 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.865 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.865 * [taylor]: Taking taylor expansion of -1 in x
5.865 * [taylor]: Taking taylor expansion of x in x
5.866 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.866 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.866 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.866 * [taylor]: Taking taylor expansion of -1 in x
5.866 * [taylor]: Taking taylor expansion of x in x
5.869 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.869 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
5.869 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.869 * [taylor]: Taking taylor expansion of (exp x) in x
5.869 * [taylor]: Taking taylor expansion of x in x
5.870 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
5.870 * [taylor]: Taking taylor expansion of (exp x) in x
5.870 * [taylor]: Taking taylor expansion of x in x
5.873 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
5.873 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.873 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.873 * [taylor]: Taking taylor expansion of x in x
5.873 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
5.873 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.873 * [taylor]: Taking taylor expansion of x in x
5.877 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
5.877 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.877 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.877 * [taylor]: Taking taylor expansion of -1 in x
5.877 * [taylor]: Taking taylor expansion of x in x
5.877 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
5.877 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.877 * [taylor]: Taking taylor expansion of -1 in x
5.877 * [taylor]: Taking taylor expansion of x in x
5.881 * * * [progress]: simplifying candidates
5.886 * [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))
5.903 * * [simplify]: iteration  0 :  374  enodes  (cost  7550 )
6.073 * * [simplify]: iteration  1 :  823  enodes  (cost  6679 )
6.531 * * [simplify]: iteration  2 :  3106  enodes  (cost  6042 )
7.243 * * [simplify]: iteration  done :  5001  enodes  (cost  6039 )
7.245 * [simplify]: Simplified to:
   (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0)
  (* 1.0 0)
  (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0)
  (* 1.0 0)
  (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 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))))))
  (/ (sqrt (cbrt (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 (sqrt (exp x)))))
  (/ (sqrt (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))))
  (/ (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)))))
  (/ (sqrt (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))))
  (/ (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)))))
  (/ (sqrt (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 (sqrt (exp x)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (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)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (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))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (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))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (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))))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (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)))))
  (/ (* (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))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (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))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (exp x)))))
  (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (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))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (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))))))
  (/ (sqrt (cbrt (exp x))) (/ (cbrt (- (exp x) 1.0)) (cbrt (sqrt (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)))))
  (/ (sqrt (cbrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (sqrt (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))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (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))))))
  (/ (sqrt (cbrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (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))))
  (/ (sqrt (cbrt (exp x))) (/ (- (exp x) 1.0) (cbrt (sqrt (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)))))
  (/ (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))) (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)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (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))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (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))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (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))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (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)))))
  (/ (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))) (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)))))
  (/ (sqrt (sqrt (exp x))) (/ (sqrt (- (exp x) 1.0)) (cbrt (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))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (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))))))
  (/ (sqrt (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (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))))
  (/ (sqrt (sqrt (exp x))) (/ (- (exp x) 1.0) (cbrt (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))
7.249 * * * [progress]: adding candidates to table
7.643 * [progress]: [Phase 3 of 3] Extracting.
7.643 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))>)
7.643 * * * [regime-changes]: Trying 2 branch expressions: ((exp x) x)
7.643 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))>)
7.661 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))>)
7.674 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))>)
7.697 * * * [regime]: Found split indices: #<option (#s(si 2 83) #s(si 3 255))>
7.697 * [binary-search]: Only using regimes for bounds on (exp x) and (#<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))>)
7.698 * [regimes]: Found splitpoints: (#s(sp 2 (exp x) 0.00315224065076236) #s(sp 3 (exp x) +nan.0)) , with alts (#<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1.0) (sqrt (exp x)))))> #<alt (λ (x) (+ (fma 1/12 x (/ 1 x)) 1/2))>)
7.698 * [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))
7.698 * * [simplify]: iteration  0 :  16  enodes  (cost  25 )
7.699 * * [simplify]: iteration  1 :  19  enodes  (cost  25 )
7.699 * * [simplify]: iteration  done :  19  enodes  (cost  25 )
7.699 * [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))
8.953 * [regime-testing]: Baseline error score: 21.32318346713761
8.954 * [regime-testing]: Oracle error score: 0.019539185197342924
8.955 * [regime-testing]: End program error score: 0.7260109372125918
8.982 * [regime-testing]: Target error score: 40.96986450591154