64.638 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.019 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
0.019 * [simplify]: Simplifying:
  (/ 2 (+ (exp x) (exp (- x))))
0.019 * * [simplify]: iteration 1: (7 enodes)
0.020 * * [simplify]: iteration 2: (10 enodes)
0.022 * * [simplify]: Extracting #0: cost 1 inf + 0
0.022 * * [simplify]: Extracting #1: cost 3 inf + 0
0.022 * * [simplify]: Extracting #2: cost 4 inf + 1
0.022 * * [simplify]: Extracting #3: cost 7 inf + 1
0.022 * * [simplify]: Extracting #4: cost 0 inf + 709
0.022 * [simplify]: Simplified to:
  (/ 2 (+ (exp x) (exp (- x))))
0.026 * * [progress]: iteration 1 / 4
0.026 * * * [progress]: picking best candidate
0.028 * * * * [pick]: Picked  #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
0.028 * * * [progress]: localizing error
0.045 * * * [progress]: generating rewritten candidates
0.045 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.062 * * * [progress]: generating series expansions
0.062 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.062 * [backup-simplify]: Simplify (/ 2 (+ (exp x) (exp (- x)))) into (/ 2 (+ (exp x) (exp (- x))))
0.062 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0
0.062 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
0.062 * [taylor]: Taking taylor expansion of 2 in x
0.062 * [backup-simplify]: Simplify 2 into 2
0.062 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.062 * [taylor]: Taking taylor expansion of (exp x) in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify 1 into 1
0.062 * [backup-simplify]: Simplify (exp 0) into 1
0.062 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.062 * [taylor]: Taking taylor expansion of (- x) in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify 1 into 1
0.063 * [backup-simplify]: Simplify (- 0) into 0
0.063 * [backup-simplify]: Simplify (- 1) into -1
0.063 * [backup-simplify]: Simplify (exp 0) into 1
0.064 * [backup-simplify]: Simplify (+ 1 1) into 2
0.064 * [backup-simplify]: Simplify (/ 2 2) into 1
0.064 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
0.064 * [taylor]: Taking taylor expansion of 2 in x
0.064 * [backup-simplify]: Simplify 2 into 2
0.064 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.064 * [taylor]: Taking taylor expansion of (exp x) in x
0.064 * [taylor]: Taking taylor expansion of x in x
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify 1 into 1
0.064 * [backup-simplify]: Simplify (exp 0) into 1
0.064 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.064 * [taylor]: Taking taylor expansion of (- x) in x
0.064 * [taylor]: Taking taylor expansion of x in x
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify 1 into 1
0.064 * [backup-simplify]: Simplify (- 0) into 0
0.065 * [backup-simplify]: Simplify (- 1) into -1
0.065 * [backup-simplify]: Simplify (exp 0) into 1
0.065 * [backup-simplify]: Simplify (+ 1 1) into 2
0.065 * [backup-simplify]: Simplify (/ 2 2) into 1
0.065 * [backup-simplify]: Simplify 1 into 1
0.066 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.066 * [backup-simplify]: Simplify (- 1) into -1
0.067 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.067 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.068 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.069 * [backup-simplify]: Simplify (- 1) into -1
0.070 * [backup-simplify]: Simplify (- 0) into 0
0.072 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.072 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.074 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2
0.074 * [backup-simplify]: Simplify -1/2 into -1/2
0.076 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.076 * [backup-simplify]: Simplify (- 1) into -1
0.077 * [backup-simplify]: Simplify (- 1) into -1
0.077 * [backup-simplify]: Simplify (- 0) into 0
0.078 * [backup-simplify]: Simplify (- 0) into 0
0.079 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.079 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
0.080 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0
0.080 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.083 * [backup-simplify]: Simplify (- 1) into -1
0.083 * [backup-simplify]: Simplify (- 1) into -1
0.083 * [backup-simplify]: Simplify (- 0) into 0
0.083 * [backup-simplify]: Simplify (- 1) into -1
0.084 * [backup-simplify]: Simplify (- 0) into 0
0.084 * [backup-simplify]: Simplify (- 0) into 0
0.084 * [backup-simplify]: Simplify (- 0) into 0
0.086 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.086 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
0.087 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24
0.087 * [backup-simplify]: Simplify 5/24 into 5/24
0.088 * [backup-simplify]: Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
0.088 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.088 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
0.088 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.088 * [taylor]: Taking taylor expansion of 2 in x
0.088 * [backup-simplify]: Simplify 2 into 2
0.088 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.088 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify 1 into 1
0.088 * [backup-simplify]: Simplify (/ 1 1) into 1
0.088 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.088 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.088 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify 1 into 1
0.089 * [backup-simplify]: Simplify (/ 1 1) into 1
0.089 * [backup-simplify]: Simplify (- 1) into -1
0.089 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.089 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.089 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.089 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.089 * [taylor]: Taking taylor expansion of 2 in x
0.089 * [backup-simplify]: Simplify 2 into 2
0.089 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.089 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify 1 into 1
0.090 * [backup-simplify]: Simplify (/ 1 1) into 1
0.090 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.090 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.090 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 1 into 1
0.090 * [backup-simplify]: Simplify (/ 1 1) into 1
0.090 * [backup-simplify]: Simplify (- 1) into -1
0.090 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.090 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.091 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.091 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.091 * [backup-simplify]: Simplify (+ 0 0) into 0
0.091 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify (+ 0 0) into 0
0.092 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (+ 0 0) into 0
0.092 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify (+ 0 0) into 0
0.093 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify (+ 0 0) into 0
0.094 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify (+ 0 0) into 0
0.095 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x))))
0.095 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.095 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
0.095 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.095 * [taylor]: Taking taylor expansion of 2 in x
0.095 * [backup-simplify]: Simplify 2 into 2
0.095 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.095 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 1 into 1
0.096 * [backup-simplify]: Simplify (/ 1 1) into 1
0.096 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.096 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.096 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.096 * [taylor]: Taking taylor expansion of -1 in x
0.096 * [backup-simplify]: Simplify -1 into -1
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 1 into 1
0.096 * [backup-simplify]: Simplify (/ -1 1) into -1
0.096 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.096 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.096 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.096 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.096 * [taylor]: Taking taylor expansion of 2 in x
0.096 * [backup-simplify]: Simplify 2 into 2
0.097 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.097 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.097 * [backup-simplify]: Simplify (/ 1 1) into 1
0.097 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.097 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.097 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.097 * [taylor]: Taking taylor expansion of -1 in x
0.097 * [backup-simplify]: Simplify -1 into -1
0.097 * [taylor]: Taking taylor expansion of x in x
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.097 * [backup-simplify]: Simplify (/ -1 1) into -1
0.097 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.097 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.097 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.098 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.098 * [backup-simplify]: Simplify (+ 0 0) into 0
0.098 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.098 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify (+ 0 0) into 0
0.099 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.099 * [backup-simplify]: Simplify 0 into 0
0.099 * [backup-simplify]: Simplify (+ 0 0) into 0
0.099 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.099 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify (+ 0 0) into 0
0.100 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.100 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify (+ 0 0) into 0
0.101 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.101 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify (+ 0 0) into 0
0.102 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.102 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x)))
0.102 * * * [progress]: simplifying candidates
0.102 * * * * [progress]: [ 1 / 39 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ 2 (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 2 / 39 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ 2 (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 3 / 39 ] simplifiying candidate #<alt (λ (x) (pow (/ 2 (+ (exp x) (exp (- x)))) 1))>
0.102 * * * * [progress]: [ 4 / 39 ] simplifiying candidate #<alt (λ (x) (exp (- (log 2) (log (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 5 / 39 ] simplifiying candidate #<alt (λ (x) (exp (log (/ 2 (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 6 / 39 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 7 / 39 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* 2 2) 2) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 8 / 39 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 9 / 39 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 10 / 39 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 11 / 39 ] simplifiying candidate #<alt (λ (x) (/ (- 2) (- (+ (exp x) (exp (- x))))))>
0.102 * * * * [progress]: [ 12 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2) (cbrt (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 13 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt 2) (sqrt (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 14 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ (exp x) (exp (- x))))))>
0.102 * * * * [progress]: [ 15 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 2) (cbrt 2)) 1) (/ (cbrt 2) (+ (exp x) (exp (- x))))))>
0.102 * * * * [progress]: [ 16 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 2) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2) (cbrt (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 17 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 18 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 2) 1) (/ (sqrt 2) (+ (exp x) (exp (- x))))))>
0.102 * * * * [progress]: [ 19 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 2) 1) (/ (sqrt 2) (+ (exp x) (exp (- x))))))>
0.102 * * * * [progress]: [ 20 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 2 (cbrt (+ (exp x) (exp (- x)))))))>
0.102 * * * * [progress]: [ 21 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2 (sqrt (+ (exp x) (exp (- x)))))))>
0.103 * * * * [progress]: [ 22 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ 2 (+ (exp x) (exp (- x))))))>
0.103 * * * * [progress]: [ 23 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ 2 (+ (exp x) (exp (- x))))))>
0.103 * * * * [progress]: [ 24 / 39 ] simplifiying candidate #<alt (λ (x) (* 1 (/ 2 (+ (exp x) (exp (- x))))))>
0.103 * * * * [progress]: [ 25 / 39 ] simplifiying candidate #<alt (λ (x) (* 2 (/ 1 (+ (exp x) (exp (- x))))))>
0.103 * * * * [progress]: [ 26 / 39 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (+ (exp x) (exp (- x))) 2)))>
0.103 * * * * [progress]: [ 27 / 39 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))>
0.103 * * * * [progress]: [ 28 / 39 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))>
0.103 * * * * [progress]: [ 29 / 39 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))>
0.103 * * * * [progress]: [ 30 / 39 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))>
0.103 * * * * [progress]: [ 31 / 39 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt 2) (cbrt 2)) (/ (+ (exp x) (exp (- x))) (cbrt 2))))>
0.103 * * * * [progress]: [ 32 / 39 ] simplifiying candidate #<alt (λ (x) (/ (sqrt 2) (/ (+ (exp x) (exp (- x))) (sqrt 2))))>
0.103 * * * * [progress]: [ 33 / 39 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (+ (exp x) (exp (- x))) 2)))>
0.103 * * * * [progress]: [ 34 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))>
0.103 * * * * [progress]: [ 35 / 39 ] simplifiying candidate #<alt (λ (x) (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (exp x) (exp (- x)))))>
0.103 * * * * [progress]: [ 36 / 39 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (/ 2 (+ (exp x) (exp (- x)))))))>
0.103 * * * * [progress]: [ 37 / 39 ] simplifiying candidate #<alt (λ (x) (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))))>
0.103 * * * * [progress]: [ 38 / 39 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
0.103 * * * * [progress]: [ 39 / 39 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp (* -1 x)) (exp x))))>
0.104 * [simplify]: Simplifying:
  (expm1 (/ 2 (+ (exp x) (exp (- x)))))
  (log1p (/ 2 (+ (exp x) (exp (- x)))))
  (- (log 2) (log (+ (exp x) (exp (- x)))))
  (log (/ 2 (+ (exp x) (exp (- x)))))
  (exp (/ 2 (+ (exp x) (exp (- x)))))
  (/ (* (* 2 2) 2) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
  (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))
  (cbrt (/ 2 (+ (exp x) (exp (- x)))))
  (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2 (+ (exp x) (exp (- x)))))
  (- 2)
  (- (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt 2) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt 2) (sqrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2) (cbrt 2)) 1)
  (/ (cbrt 2) (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2) (cbrt 2)) 1)
  (/ (cbrt 2) (+ (exp x) (exp (- x))))
  (/ (sqrt 2) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2) 1)
  (/ (sqrt 2) (+ (exp x) (exp (- x))))
  (/ (sqrt 2) 1)
  (/ (sqrt 2) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2 (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2 (sqrt (+ (exp x) (exp (- x)))))
  (/ 1 1)
  (/ 2 (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ 2 (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) 2)
  (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2 1)
  (/ 2 1)
  (/ (+ (exp x) (exp (- x))) (cbrt 2))
  (/ (+ (exp x) (exp (- x))) (sqrt 2))
  (/ (+ (exp x) (exp (- x))) 2)
  (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
  (real->posit16 (/ 2 (+ (exp x) (exp (- x)))))
  (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
  (/ 2 (+ (exp x) (exp (- x))))
  (/ 2 (+ (exp (* -1 x)) (exp x)))
0.104 * * [simplify]: iteration 1: (79 enodes)
0.145 * * [simplify]: iteration 2: (170 enodes)
0.192 * * [simplify]: iteration 3: (435 enodes)
0.358 * * [simplify]: iteration 4: (1105 enodes)
3.046 * * [simplify]: Extracting #0: cost 37 inf + 0
3.047 * * [simplify]: Extracting #1: cost 210 inf + 44
3.048 * * [simplify]: Extracting #2: cost 458 inf + 1599
3.056 * * [simplify]: Extracting #3: cost 455 inf + 52096
3.084 * * [simplify]: Extracting #4: cost 105 inf + 141761
3.112 * * [simplify]: Extracting #5: cost 23 inf + 172837
3.143 * * [simplify]: Extracting #6: cost 1 inf + 184687
3.175 * * [simplify]: Extracting #7: cost 0 inf + 185009
3.206 * [simplify]: Simplified to:
  (expm1 (/ 2 (+ (exp x) (/ 1 (exp x)))))
  (log1p (/ 2 (+ (exp x) (/ 1 (exp x)))))
  (log (/ 2 (+ (exp x) (/ 1 (exp x)))))
  (log (/ 2 (+ (exp x) (/ 1 (exp x)))))
  (exp (/ 2 (+ (exp x) (/ 1 (exp x)))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))
  (* (cbrt (/ 2 (+ (exp x) (/ 1 (exp x))))) (cbrt (/ 2 (+ (exp x) (/ 1 (exp x))))))
  (cbrt (/ 2 (+ (exp x) (/ 1 (exp x)))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))
  (sqrt (/ 2 (+ (exp x) (/ 1 (exp x)))))
  (sqrt (/ 2 (+ (exp x) (/ 1 (exp x)))))
  -2
  (- (/ -1 (exp x)) (exp x))
  (* (/ (cbrt 2) (cbrt (+ (exp x) (/ 1 (exp x))))) (/ (cbrt 2) (cbrt (+ (exp x) (/ 1 (exp x))))))
  (/ (cbrt 2) (cbrt (+ (exp x) (/ 1 (exp x)))))
  (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ (exp x) (/ 1 (exp x)))))
  (/ (cbrt 2) (sqrt (+ (exp x) (/ 1 (exp x)))))
  (* (cbrt 2) (cbrt 2))
  (/ (cbrt 2) (+ (exp x) (/ 1 (exp x))))
  (* (cbrt 2) (cbrt 2))
  (/ (cbrt 2) (+ (exp x) (/ 1 (exp x))))
  (/ (sqrt 2) (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x))))))
  (/ (sqrt 2) (cbrt (+ (exp x) (/ 1 (exp x)))))
  (/ (sqrt 2) (sqrt (+ (exp x) (/ 1 (exp x)))))
  (/ (sqrt 2) (sqrt (+ (exp x) (/ 1 (exp x)))))
  (sqrt 2)
  (/ (sqrt 2) (+ (exp x) (/ 1 (exp x))))
  (sqrt 2)
  (/ (sqrt 2) (+ (exp x) (/ 1 (exp x))))
  (/ 1 (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x))))))
  (/ 2 (cbrt (+ (exp x) (/ 1 (exp x)))))
  (/ 1 (sqrt (+ (exp x) (/ 1 (exp x)))))
  (/ 2 (sqrt (+ (exp x) (/ 1 (exp x)))))
  1
  (/ 2 (+ (exp x) (/ 1 (exp x))))
  1
  (/ 2 (+ (exp x) (/ 1 (exp x))))
  (/ 1 (+ (exp x) (/ 1 (exp x))))
  (/ (+ (exp x) (/ 1 (exp x))) 2)
  (/ 2 (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x))))))
  (/ 2 (sqrt (+ (exp x) (/ 1 (exp x)))))
  2
  2
  (/ (+ (exp x) (/ 1 (exp x))) (cbrt 2))
  (/ (+ (exp x) (/ 1 (exp x))) (sqrt 2))
  (/ (+ (exp x) (/ 1 (exp x))) 2)
  (/ 2 (fma (exp x) (* (exp x) (exp x)) (/ (/ 1 (exp x)) (* (exp x) (exp x)))))
  (/ 2 (- (* (exp x) (exp x)) (/ 1 (* (exp x) (exp x)))))
  (real->posit16 (/ 2 (+ (exp x) (/ 1 (exp x)))))
  (fma (* x x) (fma 5/24 (* x x) -1/2) 1)
  (/ 2 (+ (exp x) (/ 1 (exp x))))
  (/ 2 (+ (exp x) (/ 1 (exp x))))
3.208 * * * [progress]: adding candidates to table
3.447 * * [progress]: iteration 2 / 4
3.447 * * * [progress]: picking best candidate
3.450 * * * * [pick]: Picked  #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.450 * * * [progress]: localizing error
3.470 * * * [progress]: generating rewritten candidates
3.470 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2)
3.476 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2)
3.487 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2)
3.494 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.594 * * * [progress]: generating series expansions
3.594 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2)
3.594 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
3.594 * [approximate]: Taking taylor expansion of (/ 1 (exp x)) in (x) around 0
3.594 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.594 * [taylor]: Taking taylor expansion of (exp x) in x
3.594 * [taylor]: Taking taylor expansion of x in x
3.594 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify 1 into 1
3.594 * [backup-simplify]: Simplify (exp 0) into 1
3.595 * [backup-simplify]: Simplify (/ 1 1) into 1
3.595 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.595 * [taylor]: Taking taylor expansion of (exp x) in x
3.595 * [taylor]: Taking taylor expansion of x in x
3.595 * [backup-simplify]: Simplify 0 into 0
3.595 * [backup-simplify]: Simplify 1 into 1
3.595 * [backup-simplify]: Simplify (exp 0) into 1
3.596 * [backup-simplify]: Simplify (/ 1 1) into 1
3.596 * [backup-simplify]: Simplify 1 into 1
3.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.597 * [backup-simplify]: Simplify -1 into -1
3.599 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
3.600 * [backup-simplify]: Simplify 1/2 into 1/2
3.600 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x)
3.600 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.600 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in (x) around 0
3.600 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.600 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.601 * [taylor]: Taking taylor expansion of x in x
3.601 * [backup-simplify]: Simplify 0 into 0
3.601 * [backup-simplify]: Simplify 1 into 1
3.601 * [backup-simplify]: Simplify (/ 1 1) into 1
3.601 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.601 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.601 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.601 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.601 * [taylor]: Taking taylor expansion of x in x
3.601 * [backup-simplify]: Simplify 0 into 0
3.601 * [backup-simplify]: Simplify 1 into 1
3.602 * [backup-simplify]: Simplify (/ 1 1) into 1
3.602 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.602 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.602 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.602 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.603 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.603 * [backup-simplify]: Simplify 0 into 0
3.604 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.604 * [backup-simplify]: Simplify 0 into 0
3.604 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.604 * [backup-simplify]: Simplify 0 into 0
3.604 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (/ 1 x)))) into (/ 1 (exp x))
3.604 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (- x)))) into (/ 1 (exp (/ -1 x)))
3.604 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in (x) around 0
3.604 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.604 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.604 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.604 * [taylor]: Taking taylor expansion of -1 in x
3.605 * [backup-simplify]: Simplify -1 into -1
3.605 * [taylor]: Taking taylor expansion of x in x
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 1 into 1
3.605 * [backup-simplify]: Simplify (/ -1 1) into -1
3.605 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.605 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.605 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.605 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.605 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.605 * [taylor]: Taking taylor expansion of -1 in x
3.606 * [backup-simplify]: Simplify -1 into -1
3.606 * [taylor]: Taking taylor expansion of x in x
3.606 * [backup-simplify]: Simplify 0 into 0
3.606 * [backup-simplify]: Simplify 1 into 1
3.606 * [backup-simplify]: Simplify (/ -1 1) into -1
3.606 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.606 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.606 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.606 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.606 * [backup-simplify]: Simplify 0 into 0
3.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.607 * [backup-simplify]: Simplify 0 into 0
3.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.607 * [backup-simplify]: Simplify 0 into 0
3.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.607 * [backup-simplify]: Simplify 0 into 0
3.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.608 * [backup-simplify]: Simplify 0 into 0
3.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.608 * [backup-simplify]: Simplify 0 into 0
3.608 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 (/ 1 (- x))))) into (/ 1 (exp x))
3.608 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2)
3.609 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
3.609 * [approximate]: Taking taylor expansion of (/ 1 (exp x)) in (x) around 0
3.609 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.609 * [taylor]: Taking taylor expansion of (exp x) in x
3.609 * [taylor]: Taking taylor expansion of x in x
3.609 * [backup-simplify]: Simplify 0 into 0
3.609 * [backup-simplify]: Simplify 1 into 1
3.609 * [backup-simplify]: Simplify (exp 0) into 1
3.609 * [backup-simplify]: Simplify (/ 1 1) into 1
3.609 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.609 * [taylor]: Taking taylor expansion of (exp x) in x
3.609 * [taylor]: Taking taylor expansion of x in x
3.609 * [backup-simplify]: Simplify 0 into 0
3.609 * [backup-simplify]: Simplify 1 into 1
3.609 * [backup-simplify]: Simplify (exp 0) into 1
3.610 * [backup-simplify]: Simplify (/ 1 1) into 1
3.610 * [backup-simplify]: Simplify 1 into 1
3.611 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.612 * [backup-simplify]: Simplify -1 into -1
3.614 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
3.615 * [backup-simplify]: Simplify 1/2 into 1/2
3.615 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x)
3.615 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.615 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in (x) around 0
3.616 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.616 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.616 * [taylor]: Taking taylor expansion of x in x
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 1 into 1
3.616 * [backup-simplify]: Simplify (/ 1 1) into 1
3.616 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.616 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.616 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.616 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.616 * [taylor]: Taking taylor expansion of x in x
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 1 into 1
3.617 * [backup-simplify]: Simplify (/ 1 1) into 1
3.617 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.617 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.617 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.618 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.618 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.618 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (/ 1 x)))) into (/ 1 (exp x))
3.619 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (- x)))) into (/ 1 (exp (/ -1 x)))
3.619 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in (x) around 0
3.620 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.620 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.620 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.620 * [taylor]: Taking taylor expansion of -1 in x
3.620 * [backup-simplify]: Simplify -1 into -1
3.620 * [taylor]: Taking taylor expansion of x in x
3.620 * [backup-simplify]: Simplify 0 into 0
3.620 * [backup-simplify]: Simplify 1 into 1
3.620 * [backup-simplify]: Simplify (/ -1 1) into -1
3.620 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.620 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.621 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.621 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.621 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.621 * [taylor]: Taking taylor expansion of -1 in x
3.621 * [backup-simplify]: Simplify -1 into -1
3.621 * [taylor]: Taking taylor expansion of x in x
3.621 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify 1 into 1
3.621 * [backup-simplify]: Simplify (/ -1 1) into -1
3.621 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.621 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.621 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.622 * [backup-simplify]: Simplify 0 into 0
3.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.622 * [backup-simplify]: Simplify 0 into 0
3.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.622 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.623 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 (/ 1 (- x))))) into (/ 1 (exp x))
3.624 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2)
3.624 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
3.624 * [approximate]: Taking taylor expansion of (/ 1 (exp x)) in (x) around 0
3.624 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.624 * [taylor]: Taking taylor expansion of (exp x) in x
3.624 * [taylor]: Taking taylor expansion of x in x
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify 1 into 1
3.624 * [backup-simplify]: Simplify (exp 0) into 1
3.625 * [backup-simplify]: Simplify (/ 1 1) into 1
3.625 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.625 * [taylor]: Taking taylor expansion of (exp x) in x
3.625 * [taylor]: Taking taylor expansion of x in x
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 1 into 1
3.625 * [backup-simplify]: Simplify (exp 0) into 1
3.625 * [backup-simplify]: Simplify (/ 1 1) into 1
3.626 * [backup-simplify]: Simplify 1 into 1
3.627 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.627 * [backup-simplify]: Simplify -1 into -1
3.629 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
3.630 * [backup-simplify]: Simplify 1/2 into 1/2
3.630 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x)
3.630 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.630 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in (x) around 0
3.630 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.630 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.630 * [taylor]: Taking taylor expansion of x in x
3.630 * [backup-simplify]: Simplify 0 into 0
3.630 * [backup-simplify]: Simplify 1 into 1
3.631 * [backup-simplify]: Simplify (/ 1 1) into 1
3.631 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.631 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.631 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.631 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.631 * [taylor]: Taking taylor expansion of x in x
3.631 * [backup-simplify]: Simplify 0 into 0
3.631 * [backup-simplify]: Simplify 1 into 1
3.632 * [backup-simplify]: Simplify (/ 1 1) into 1
3.632 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.632 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.632 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.634 * [backup-simplify]: Simplify 0 into 0
3.634 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.634 * [backup-simplify]: Simplify 0 into 0
3.634 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (/ 1 x)))) into (/ 1 (exp x))
3.634 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (- x)))) into (/ 1 (exp (/ -1 x)))
3.634 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in (x) around 0
3.634 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.634 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.634 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.634 * [taylor]: Taking taylor expansion of -1 in x
3.634 * [backup-simplify]: Simplify -1 into -1
3.634 * [taylor]: Taking taylor expansion of x in x
3.634 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 1 into 1
3.635 * [backup-simplify]: Simplify (/ -1 1) into -1
3.635 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.635 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.635 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.635 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.635 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.635 * [taylor]: Taking taylor expansion of -1 in x
3.635 * [backup-simplify]: Simplify -1 into -1
3.635 * [taylor]: Taking taylor expansion of x in x
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 1 into 1
3.636 * [backup-simplify]: Simplify (/ -1 1) into -1
3.636 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.636 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.636 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.636 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.636 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.638 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.638 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 (/ 1 (- x))))) into (/ 1 (exp x))
3.638 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.639 * [backup-simplify]: Simplify (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))) into (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3))
3.639 * [approximate]: Taking taylor expansion of (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3)) in (x) around 0
3.639 * [taylor]: Taking taylor expansion of (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3)) in x
3.639 * [taylor]: Taking taylor expansion of 8 in x
3.639 * [backup-simplify]: Simplify 8 into 8
3.639 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (/ 1 (exp x))) 3) in x
3.639 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
3.639 * [taylor]: Taking taylor expansion of (exp x) in x
3.639 * [taylor]: Taking taylor expansion of x in x
3.639 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify 1 into 1
3.639 * [backup-simplify]: Simplify (exp 0) into 1
3.639 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.639 * [taylor]: Taking taylor expansion of (exp x) in x
3.639 * [taylor]: Taking taylor expansion of x in x
3.639 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify 1 into 1
3.639 * [backup-simplify]: Simplify (exp 0) into 1
3.640 * [backup-simplify]: Simplify (/ 1 1) into 1
3.640 * [backup-simplify]: Simplify (+ 1 1) into 2
3.641 * [backup-simplify]: Simplify (* 2 2) into 4
3.641 * [backup-simplify]: Simplify (* 2 4) into 8
3.641 * [backup-simplify]: Simplify (/ 8 8) into 1
3.641 * [taylor]: Taking taylor expansion of (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3)) in x
3.641 * [taylor]: Taking taylor expansion of 8 in x
3.641 * [backup-simplify]: Simplify 8 into 8
3.641 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (/ 1 (exp x))) 3) in x
3.641 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
3.641 * [taylor]: Taking taylor expansion of (exp x) in x
3.642 * [taylor]: Taking taylor expansion of x in x
3.642 * [backup-simplify]: Simplify 0 into 0
3.642 * [backup-simplify]: Simplify 1 into 1
3.642 * [backup-simplify]: Simplify (exp 0) into 1
3.642 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.642 * [taylor]: Taking taylor expansion of (exp x) in x
3.642 * [taylor]: Taking taylor expansion of x in x
3.642 * [backup-simplify]: Simplify 0 into 0
3.642 * [backup-simplify]: Simplify 1 into 1
3.642 * [backup-simplify]: Simplify (exp 0) into 1
3.642 * [backup-simplify]: Simplify (/ 1 1) into 1
3.642 * [backup-simplify]: Simplify (+ 1 1) into 2
3.643 * [backup-simplify]: Simplify (* 2 2) into 4
3.643 * [backup-simplify]: Simplify (* 2 4) into 8
3.644 * [backup-simplify]: Simplify (/ 8 8) into 1
3.644 * [backup-simplify]: Simplify 1 into 1
3.645 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.646 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.647 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.647 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 2)) into 0
3.648 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 4)) into 0
3.649 * [backup-simplify]: Simplify (- (/ 0 8) (+ (* 1 (/ 0 8)))) into 0
3.649 * [backup-simplify]: Simplify 0 into 0
3.650 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.651 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
3.652 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.652 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 0) (* 1 2))) into 4
3.653 * [backup-simplify]: Simplify (+ (* 2 4) (+ (* 0 0) (* 1 4))) into 12
3.654 * [backup-simplify]: Simplify (- (/ 0 8) (+ (* 1 (/ 12 8)) (* 0 (/ 0 8)))) into -3/2
3.654 * [backup-simplify]: Simplify -3/2 into -3/2
3.655 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.656 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
3.657 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
3.658 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (+ (* 1 0) (* 0 2)))) into 0
3.659 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 4) (+ (* 1 0) (* 0 4)))) into 0
3.660 * [backup-simplify]: Simplify (- (/ 0 8) (+ (* 1 (/ 0 8)) (* 0 (/ 12 8)) (* -3/2 (/ 0 8)))) into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
3.664 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
3.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24
3.666 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
3.666 * [backup-simplify]: Simplify (+ (* 2 1/12) (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 1/12 2))))) into 4/3
3.667 * [backup-simplify]: Simplify (+ (* 2 4/3) (+ (* 0 0) (+ (* 1 4) (+ (* 0 0) (* 1/12 4))))) into 7
3.668 * [backup-simplify]: Simplify (- (/ 0 8) (+ (* 1 (/ 7 8)) (* 0 (/ 0 8)) (* -3/2 (/ 12 8)) (* 0 (/ 0 8)))) into 11/8
3.668 * [backup-simplify]: Simplify 11/8 into 11/8
3.669 * [backup-simplify]: Simplify (+ (* 11/8 (pow x 4)) (+ (* -3/2 (pow x 2)) 1)) into (- (+ (* 11/8 (pow x 4)) 1) (* 3/2 (pow x 2)))
3.669 * [backup-simplify]: Simplify (/ (/ 8 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) into (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))
3.669 * [approximate]: Taking taylor expansion of (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) in (x) around 0
3.669 * [taylor]: Taking taylor expansion of (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) in x
3.669 * [taylor]: Taking taylor expansion of 8 in x
3.669 * [backup-simplify]: Simplify 8 into 8
3.669 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3) in x
3.669 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
3.669 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.669 * [taylor]: Taking taylor expansion of x in x
3.669 * [backup-simplify]: Simplify 0 into 0
3.669 * [backup-simplify]: Simplify 1 into 1
3.669 * [backup-simplify]: Simplify (/ 1 1) into 1
3.669 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.669 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.669 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.669 * [taylor]: Taking taylor expansion of x in x
3.669 * [backup-simplify]: Simplify 0 into 0
3.669 * [backup-simplify]: Simplify 1 into 1
3.670 * [backup-simplify]: Simplify (/ 1 1) into 1
3.670 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.670 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.670 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
3.670 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2)
3.670 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2)) into (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)
3.670 * [backup-simplify]: Simplify (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) into (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))
3.670 * [taylor]: Taking taylor expansion of (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) in x
3.670 * [taylor]: Taking taylor expansion of 8 in x
3.670 * [backup-simplify]: Simplify 8 into 8
3.670 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3) in x
3.670 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
3.670 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.671 * [taylor]: Taking taylor expansion of x in x
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 1 into 1
3.671 * [backup-simplify]: Simplify (/ 1 1) into 1
3.671 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.671 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.671 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.671 * [taylor]: Taking taylor expansion of x in x
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 1 into 1
3.671 * [backup-simplify]: Simplify (/ 1 1) into 1
3.671 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.671 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.671 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
3.672 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2)
3.672 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2)) into (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)
3.672 * [backup-simplify]: Simplify (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) into (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))
3.672 * [backup-simplify]: Simplify (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) into (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))
3.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.673 * [backup-simplify]: Simplify (+ 0 0) into 0
3.673 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (* 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) into 0
3.673 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (* 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2))) into 0
3.673 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (+ (* (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))))) into 0
3.673 * [backup-simplify]: Simplify 0 into 0
3.674 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.674 * [backup-simplify]: Simplify (+ 0 0) into 0
3.674 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))))) into 0
3.675 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2)))) into 0
3.675 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (+ (* (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))))) into 0
3.675 * [backup-simplify]: Simplify 0 into 0
3.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.676 * [backup-simplify]: Simplify (+ 0 0) into 0
3.677 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
3.678 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2))))) into 0
3.679 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (+ (* (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))))) into 0
3.679 * [backup-simplify]: Simplify 0 into 0
3.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.680 * [backup-simplify]: Simplify (+ 0 0) into 0
3.681 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))))))) into 0
3.682 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2)))))) into 0
3.683 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (+ (* (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))))) into 0
3.683 * [backup-simplify]: Simplify 0 into 0
3.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.684 * [backup-simplify]: Simplify (+ 0 0) into 0
3.685 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))))) into 0
3.686 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2))))))) into 0
3.687 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (+ (* (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))))) into 0
3.687 * [backup-simplify]: Simplify 0 into 0
3.687 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.687 * [backup-simplify]: Simplify (+ 0 0) into 0
3.689 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))))))))) into 0
3.690 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 2)))))))) into 0
3.691 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (+ (* (/ 8 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3)) (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))) (* 0 (/ 0 (pow (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 3))))) into 0
3.691 * [backup-simplify]: Simplify 0 into 0
3.691 * [backup-simplify]: Simplify (/ 8 (pow (+ (exp (/ 1 (/ 1 x))) (/ 1 (exp (/ 1 (/ 1 x))))) 3)) into (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3))
3.691 * [backup-simplify]: Simplify (/ (/ 8 (+ (exp (/ 1 (- x))) (/ 1 (exp (/ 1 (- x)))))) (* (+ (exp (/ 1 (- x))) (/ 1 (exp (/ 1 (- x))))) (+ (exp (/ 1 (- x))) (/ 1 (exp (/ 1 (- x))))))) into (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))
3.691 * [approximate]: Taking taylor expansion of (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) in (x) around 0
3.691 * [taylor]: Taking taylor expansion of (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) in x
3.691 * [taylor]: Taking taylor expansion of 8 in x
3.691 * [backup-simplify]: Simplify 8 into 8
3.691 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3) in x
3.691 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
3.691 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.691 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.691 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.691 * [taylor]: Taking taylor expansion of -1 in x
3.691 * [backup-simplify]: Simplify -1 into -1
3.691 * [taylor]: Taking taylor expansion of x in x
3.692 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify 1 into 1
3.692 * [backup-simplify]: Simplify (/ -1 1) into -1
3.692 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.692 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.692 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.692 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.692 * [taylor]: Taking taylor expansion of -1 in x
3.692 * [backup-simplify]: Simplify -1 into -1
3.692 * [taylor]: Taking taylor expansion of x in x
3.692 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify 1 into 1
3.692 * [backup-simplify]: Simplify (/ -1 1) into -1
3.693 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.693 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
3.693 * [backup-simplify]: Simplify (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2)
3.693 * [backup-simplify]: Simplify (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2)) into (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)
3.693 * [backup-simplify]: Simplify (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) into (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))
3.693 * [taylor]: Taking taylor expansion of (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) in x
3.693 * [taylor]: Taking taylor expansion of 8 in x
3.693 * [backup-simplify]: Simplify 8 into 8
3.693 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3) in x
3.693 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
3.693 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.693 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.693 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.693 * [taylor]: Taking taylor expansion of -1 in x
3.693 * [backup-simplify]: Simplify -1 into -1
3.694 * [taylor]: Taking taylor expansion of x in x
3.694 * [backup-simplify]: Simplify 0 into 0
3.694 * [backup-simplify]: Simplify 1 into 1
3.694 * [backup-simplify]: Simplify (/ -1 1) into -1
3.694 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.694 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.694 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.694 * [taylor]: Taking taylor expansion of -1 in x
3.694 * [backup-simplify]: Simplify -1 into -1
3.694 * [taylor]: Taking taylor expansion of x in x
3.694 * [backup-simplify]: Simplify 0 into 0
3.694 * [backup-simplify]: Simplify 1 into 1
3.694 * [backup-simplify]: Simplify (/ -1 1) into -1
3.694 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.695 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
3.695 * [backup-simplify]: Simplify (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2)
3.695 * [backup-simplify]: Simplify (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2)) into (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)
3.695 * [backup-simplify]: Simplify (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) into (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))
3.695 * [backup-simplify]: Simplify (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) into (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))
3.695 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.695 * [backup-simplify]: Simplify (+ 0 0) into 0
3.696 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (* 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) into 0
3.696 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (* 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2))) into 0
3.696 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (+ (* (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))))) into 0
3.696 * [backup-simplify]: Simplify 0 into 0
3.696 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.697 * [backup-simplify]: Simplify (+ 0 0) into 0
3.697 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))))) into 0
3.697 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2)))) into 0
3.698 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (+ (* (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))))) into 0
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.698 * [backup-simplify]: Simplify (+ 0 0) into 0
3.699 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
3.700 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2))))) into 0
3.700 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (+ (* (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))))) into 0
3.700 * [backup-simplify]: Simplify 0 into 0
3.700 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.701 * [backup-simplify]: Simplify (+ 0 0) into 0
3.704 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))))))) into 0
3.705 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2)))))) into 0
3.705 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (+ (* (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))))) into 0
3.705 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.706 * [backup-simplify]: Simplify (+ 0 0) into 0
3.707 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))))) into 0
3.708 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2))))))) into 0
3.709 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (+ (* (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))))) into 0
3.709 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.709 * [backup-simplify]: Simplify (+ 0 0) into 0
3.710 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))))))))) into 0
3.712 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 2)))))))) into 0
3.713 * [backup-simplify]: Simplify (- (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (+ (* (/ 8 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3)) (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))) (* 0 (/ 0 (pow (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 3))))) into 0
3.713 * [backup-simplify]: Simplify 0 into 0
3.713 * [backup-simplify]: Simplify (/ 8 (pow (+ (/ 1 (exp (/ -1 (/ 1 (- x))))) (exp (/ -1 (/ 1 (- x))))) 3)) into (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3))
3.713 * * * [progress]: simplifying candidates
3.713 * * * * [progress]: [ 1 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (log1p (expm1 (/ 1 (exp x)))))))))>
3.713 * * * * [progress]: [ 2 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (expm1 (log1p (/ 1 (exp x)))))))))>
3.713 * * * * [progress]: [ 3 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (pow (exp x) -1))))))>
3.713 * * * * [progress]: [ 4 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (pow (exp x) (- 1)))))))>
3.713 * * * * [progress]: [ 5 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (pow (exp (* (cbrt x) (cbrt x))) (- (cbrt x))))))))>
3.713 * * * * [progress]: [ 6 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (pow (exp (sqrt x)) (- (sqrt x))))))))>
3.713 * * * * [progress]: [ 7 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (pow (exp 1) (- x)))))))>
3.713 * * * * [progress]: [ 8 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (pow (/ 1 (exp x)) 1))))))>
3.713 * * * * [progress]: [ 9 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (exp (- x)))))))>
3.713 * * * * [progress]: [ 10 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (exp (- 0 x)))))))>
3.713 * * * * [progress]: [ 11 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (exp (- (log 1) x)))))))>
3.713 * * * * [progress]: [ 12 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (exp (log (/ 1 (exp x)))))))))>
3.714 * * * * [progress]: [ 13 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (log (exp (/ 1 (exp x)))))))))>
3.714 * * * * [progress]: [ 14 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (cbrt (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))))))))>
3.714 * * * * [progress]: [ 15 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (cbrt (/ 1 (exp x)))))))))>
3.714 * * * * [progress]: [ 16 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (cbrt (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))))))))>
3.714 * * * * [progress]: [ 17 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))))))>
3.714 * * * * [progress]: [ 18 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ (- 1) (- (exp x))))))))>
3.714 * * * * [progress]: [ 19 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1) (cbrt (exp x)))))))))>
3.714 * * * * [progress]: [ 20 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (/ (cbrt 1) (sqrt (exp x)))))))))>
3.714 * * * * [progress]: [ 21 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (exp x))))))))>
3.714 * * * * [progress]: [ 22 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1) (cbrt (exp x)))))))))>
3.714 * * * * [progress]: [ 23 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))))))>
3.714 * * * * [progress]: [ 24 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (/ (sqrt 1) 1) (/ (sqrt 1) (exp x))))))))>
3.714 * * * * [progress]: [ 25 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x)))))))))>
3.714 * * * * [progress]: [ 26 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))))))>
3.714 * * * * [progress]: [ 27 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* (/ 1 1) (/ 1 (exp x))))))))>
3.714 * * * * [progress]: [ 28 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* 1 (/ 1 (exp x))))))))>
3.714 * * * * [progress]: [ 29 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (* 1 (/ 1 (exp x))))))))>
3.714 * * * * [progress]: [ 30 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (/ (exp x) 1)))))))>
3.714 * * * * [progress]: [ 31 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))))))>
3.714 * * * * [progress]: [ 32 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ (/ 1 (sqrt (exp x))) (sqrt (exp x))))))))>
3.715 * * * * [progress]: [ 33 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ (/ 1 1) (exp x)))))))>
3.715 * * * * [progress]: [ 34 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ (* (cbrt 1) (cbrt 1)) (/ (exp x) (cbrt 1))))))))>
3.715 * * * * [progress]: [ 35 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ (sqrt 1) (/ (exp x) (sqrt 1))))))))>
3.715 * * * * [progress]: [ 36 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (/ (exp x) 1)))))))>
3.715 * * * * [progress]: [ 37 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (posit16->real (real->posit16 (/ 1 (exp x)))))))))>
3.715 * * * * [progress]: [ 38 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (log1p (expm1 (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 39 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (expm1 (log1p (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 40 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (pow (exp x) -1)) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 41 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (pow (exp x) (- 1))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 42 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (pow (exp (* (cbrt x) (cbrt x))) (- (cbrt x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 43 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (pow (exp (sqrt x)) (- (sqrt x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 44 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (pow (exp 1) (- x))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 45 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (pow (/ 1 (exp x)) 1)) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 46 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (exp (- x))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 47 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (exp (- 0 x))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 48 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (exp (- (log 1) x))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 49 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (exp (log (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 50 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (log (exp (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 51 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (cbrt (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 52 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (cbrt (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 53 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (cbrt (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 54 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 55 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ (- 1) (- (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.715 * * * * [progress]: [ 56 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1) (cbrt (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 57 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (/ (cbrt 1) (sqrt (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 58 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 59 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1) (cbrt (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 60 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 61 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (/ (sqrt 1) 1) (/ (sqrt 1) (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 62 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 63 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 64 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* (/ 1 1) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 65 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* 1 (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 66 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (* 1 (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 67 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (/ (exp x) 1))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 68 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 69 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ (/ 1 (sqrt (exp x))) (sqrt (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 70 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ (/ 1 1) (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 71 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ (* (cbrt 1) (cbrt 1)) (/ (exp x) (cbrt 1)))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 72 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ (sqrt 1) (/ (exp x) (sqrt 1)))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 73 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (/ (exp x) 1))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 74 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (posit16->real (real->posit16 (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 75 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (log1p (expm1 (/ 1 (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 76 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (expm1 (log1p (/ 1 (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 77 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (pow (exp x) -1))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 78 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (pow (exp x) (- 1)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 79 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (pow (exp (* (cbrt x) (cbrt x))) (- (cbrt x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 80 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (pow (exp (sqrt x)) (- (sqrt x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.716 * * * * [progress]: [ 81 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (pow (exp 1) (- x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 82 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (pow (/ 1 (exp x)) 1))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 83 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (exp (- x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 84 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (exp (- 0 x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 85 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (exp (- (log 1) x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 86 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (exp (log (/ 1 (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 87 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (log (exp (/ 1 (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 88 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (cbrt (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 89 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (cbrt (/ 1 (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 90 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (cbrt (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 91 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 92 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ (- 1) (- (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 93 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1) (cbrt (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 94 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (/ (cbrt 1) (sqrt (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 95 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 96 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1) (cbrt (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 97 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 98 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (/ (sqrt 1) 1) (/ (sqrt 1) (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 99 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 100 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 101 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* (/ 1 1) (/ 1 (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 102 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* 1 (/ 1 (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 103 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (* 1 (/ 1 (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 104 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (/ (exp x) 1)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 105 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 106 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ (/ 1 (sqrt (exp x))) (sqrt (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.717 * * * * [progress]: [ 107 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ (/ 1 1) (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.718 * * * * [progress]: [ 108 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ (* (cbrt 1) (cbrt 1)) (/ (exp x) (cbrt 1))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.718 * * * * [progress]: [ 109 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ (sqrt 1) (/ (exp x) (sqrt 1))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.718 * * * * [progress]: [ 110 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (/ (exp x) 1)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.718 * * * * [progress]: [ 111 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (posit16->real (real->posit16 (/ 1 (exp x)))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.718 * * * * [progress]: [ 112 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (log1p (expm1 (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 113 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (expm1 (log1p (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 114 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (pow (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))) 1)))>
3.718 * * * * [progress]: [ 115 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (exp (- (- (log 8) (log (+ (exp x) (/ 1 (exp x))))) (+ (log (+ (exp x) (/ 1 (exp x)))) (log (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 116 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (exp (- (- (log 8) (log (+ (exp x) (/ 1 (exp x))))) (log (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 117 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (exp (- (log (/ 8 (+ (exp x) (/ 1 (exp x))))) (+ (log (+ (exp x) (/ 1 (exp x)))) (log (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 118 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (exp (- (log (/ 8 (+ (exp x) (/ 1 (exp x))))) (log (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 119 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (exp (log (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 120 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (log (exp (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 121 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (cbrt (/ (/ (* (* 8 8) 8) (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))) (* (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))) (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 122 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (cbrt (/ (/ (* (* 8 8) 8) (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))) (* (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 123 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (cbrt (/ (* (* (/ 8 (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x))))) (/ 8 (+ (exp x) (/ 1 (exp x))))) (* (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))) (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 124 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (cbrt (/ (* (* (/ 8 (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x))))) (/ 8 (+ (exp x) (/ 1 (exp x))))) (* (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 125 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 126 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (cbrt (* (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))) (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))) (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 127 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (sqrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))) (sqrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.718 * * * * [progress]: [ 128 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (- (/ 8 (+ (exp x) (/ 1 (exp x))))) (- (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))))>
3.718 * * * * [progress]: [ 129 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (* (cbrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (cbrt (/ 8 (+ (exp x) (/ 1 (exp x)))))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.718 * * * * [progress]: [ 130 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (sqrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.718 * * * * [progress]: [ 131 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (* (cbrt 8) (cbrt 8)) (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x)))))) (+ (exp x) (/ 1 (exp x)))) (/ (/ (cbrt 8) (cbrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 132 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (* (cbrt 8) (cbrt 8)) (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))) (/ (/ (cbrt 8) (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 133 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (* (cbrt 8) (cbrt 8)) 1) (+ (exp x) (/ 1 (exp x)))) (/ (/ (cbrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 134 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (* (cbrt 8) (cbrt 8)) 1) (+ (exp x) (/ 1 (exp x)))) (/ (/ (cbrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 135 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (* (cbrt 8) (cbrt 8)) 1) (+ (exp x) (/ 1 (exp x)))) (/ (/ (cbrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 136 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (sqrt 8) (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x)))))) (+ (exp x) (/ 1 (exp x)))) (/ (/ (sqrt 8) (cbrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 137 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (sqrt 8) (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))) (/ (/ (sqrt 8) (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 138 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (sqrt 8) 1) (+ (exp x) (/ 1 (exp x)))) (/ (/ (sqrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 139 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (sqrt 8) 1) (+ (exp x) (/ 1 (exp x)))) (/ (/ (sqrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 140 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ (sqrt 8) 1) (+ (exp x) (/ 1 (exp x)))) (/ (/ (sqrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 141 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 1 (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x)))))) (+ (exp x) (/ 1 (exp x)))) (/ (/ 8 (cbrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 142 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 1 (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))) (/ (/ 8 (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 143 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 1 1) (+ (exp x) (/ 1 (exp x)))) (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 144 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 1 1) (+ (exp x) (/ 1 (exp x)))) (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 145 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 1 1) (+ (exp x) (/ 1 (exp x)))) (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 146 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ 1 (+ (exp x) (/ 1 (exp x)))) (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 147 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ 8 (+ (exp x) (/ 1 (exp x)))) (/ (/ 1 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 148 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3))) (+ (exp x) (/ 1 (exp x)))) (/ (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 149 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x)))) (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.719 * * * * [progress]: [ 150 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* 1 (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))))>
3.719 * * * * [progress]: [ 151 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ 8 (+ (exp x) (/ 1 (exp x)))) (/ 1 (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))))>
3.719 * * * * [progress]: [ 152 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ 1 (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x))))))))>
3.719 * * * * [progress]: [ 153 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))))>
3.719 * * * * [progress]: [ 154 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (cbrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (cbrt (/ 8 (+ (exp x) (/ 1 (exp x)))))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (cbrt (/ 8 (+ (exp x) (/ 1 (exp x)))))))))>
3.719 * * * * [progress]: [ 155 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (sqrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (sqrt (/ 8 (+ (exp x) (/ 1 (exp x)))))))))>
3.719 * * * * [progress]: [ 156 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (* (cbrt 8) (cbrt 8)) (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x)))))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (cbrt (+ (exp x) (/ 1 (exp x)))))))))>
3.720 * * * * [progress]: [ 157 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (* (cbrt 8) (cbrt 8)) (sqrt (+ (exp x) (/ 1 (exp x))))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (sqrt (+ (exp x) (/ 1 (exp x)))))))))>
3.720 * * * * [progress]: [ 158 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (* (cbrt 8) (cbrt 8)) 1) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 159 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (* (cbrt 8) (cbrt 8)) 1) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 160 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (* (cbrt 8) (cbrt 8)) 1) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 161 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (sqrt 8) (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x)))))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (cbrt (+ (exp x) (/ 1 (exp x)))))))))>
3.720 * * * * [progress]: [ 162 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (sqrt 8) (sqrt (+ (exp x) (/ 1 (exp x))))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (sqrt (+ (exp x) (/ 1 (exp x)))))))))>
3.720 * * * * [progress]: [ 163 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (sqrt 8) 1) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 164 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (sqrt 8) 1) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 165 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ (sqrt 8) 1) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 166 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 1 (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x)))))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (cbrt (+ (exp x) (/ 1 (exp x)))))))))>
3.720 * * * * [progress]: [ 167 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 1 (sqrt (+ (exp x) (/ 1 (exp x))))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (sqrt (+ (exp x) (/ 1 (exp x)))))))))>
3.720 * * * * [progress]: [ 168 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 1 1) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 169 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 1 1) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 170 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 1 1) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 171 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ 1 (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 172 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ 8 (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 1 (+ (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 173 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x)))))))))>
3.720 * * * * [progress]: [ 174 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x))))) (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (- (exp x) (/ 1 (exp x)))))))>
3.720 * * * * [progress]: [ 175 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3)) (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3)))) (* (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x))))) (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x)))))))))>
3.720 * * * * [progress]: [ 176 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3)) (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x)))))) (* (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x))))) (- (exp x) (/ 1 (exp x)))))))>
3.720 * * * * [progress]: [ 177 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x)))) (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3)))) (* (- (exp x) (/ 1 (exp x))) (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x)))))))))>
3.720 * * * * [progress]: [ 178 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x)))) (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x)))))) (* (- (exp x) (/ 1 (exp x))) (- (exp x) (/ 1 (exp x)))))))>
3.720 * * * * [progress]: [ 179 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3)))) (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x))))))))>
3.720 * * * * [progress]: [ 180 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x)))))) (- (exp x) (/ 1 (exp x))))))>
3.721 * * * * [progress]: [ 181 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3)) (+ (exp x) (/ 1 (exp x))))) (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x))))))))>
3.721 * * * * [progress]: [ 182 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))) (- (exp x) (/ 1 (exp x))))))>
3.721 * * * * [progress]: [ 183 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ 8 (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))))>
3.721 * * * * [progress]: [ 184 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (posit16->real (real->posit16 (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))))>
3.721 * * * * [progress]: [ 185 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (- (+ (* 1/2 (pow x 2)) 1) x))))))>
3.721 * * * * [progress]: [ 186 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.721 * * * * [progress]: [ 187 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.721 * * * * [progress]: [ 188 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (- (+ (* 1/2 (pow x 2)) 1) x)) (+ (exp x) (/ 1 (exp x)))))))>
3.721 * * * * [progress]: [ 189 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.721 * * * * [progress]: [ 190 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.721 * * * * [progress]: [ 191 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (- (+ (* 1/2 (pow x 2)) 1) x))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.721 * * * * [progress]: [ 192 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.721 * * * * [progress]: [ 193 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))>
3.721 * * * * [progress]: [ 194 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (- (+ (* 11/8 (pow x 4)) 1) (* 3/2 (pow x 2)))))>
3.721 * * * * [progress]: [ 195 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3))))>
3.721 * * * * [progress]: [ 196 / 196 ] simplifiying candidate #<alt (λ (x) (cbrt (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3))))>
3.723 * [simplify]: Simplifying:
  (expm1 (/ 1 (exp x)))
  (log1p (/ 1 (exp x)))
  (- 1)
  (- (cbrt x))
  (- (sqrt x))
  (- x)
  (- x)
  (- 0 x)
  (- (log 1) x)
  (log (/ 1 (exp x)))
  (exp (/ 1 (exp x)))
  (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))
  (cbrt (/ 1 (exp x)))
  (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))
  (sqrt (/ 1 (exp x)))
  (sqrt (/ 1 (exp x)))
  (- 1)
  (- (exp x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt 1) (cbrt (exp x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))
  (/ (cbrt 1) (sqrt (exp x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (exp x))
  (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt 1) (cbrt (exp x)))
  (/ (sqrt 1) (sqrt (exp x)))
  (/ (sqrt 1) (sqrt (exp x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 1)
  (/ 1 (exp x))
  (/ 1 (exp x))
  (/ (exp x) 1)
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (sqrt (exp x)))
  (/ 1 1)
  (/ (exp x) (cbrt 1))
  (/ (exp x) (sqrt 1))
  (/ (exp x) 1)
  (real->posit16 (/ 1 (exp x)))
  (expm1 (/ 1 (exp x)))
  (log1p (/ 1 (exp x)))
  (- 1)
  (- (cbrt x))
  (- (sqrt x))
  (- x)
  (- x)
  (- 0 x)
  (- (log 1) x)
  (log (/ 1 (exp x)))
  (exp (/ 1 (exp x)))
  (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))
  (cbrt (/ 1 (exp x)))
  (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))
  (sqrt (/ 1 (exp x)))
  (sqrt (/ 1 (exp x)))
  (- 1)
  (- (exp x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt 1) (cbrt (exp x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))
  (/ (cbrt 1) (sqrt (exp x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (exp x))
  (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt 1) (cbrt (exp x)))
  (/ (sqrt 1) (sqrt (exp x)))
  (/ (sqrt 1) (sqrt (exp x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 1)
  (/ 1 (exp x))
  (/ 1 (exp x))
  (/ (exp x) 1)
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (sqrt (exp x)))
  (/ 1 1)
  (/ (exp x) (cbrt 1))
  (/ (exp x) (sqrt 1))
  (/ (exp x) 1)
  (real->posit16 (/ 1 (exp x)))
  (expm1 (/ 1 (exp x)))
  (log1p (/ 1 (exp x)))
  (- 1)
  (- (cbrt x))
  (- (sqrt x))
  (- x)
  (- x)
  (- 0 x)
  (- (log 1) x)
  (log (/ 1 (exp x)))
  (exp (/ 1 (exp x)))
  (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))
  (cbrt (/ 1 (exp x)))
  (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))
  (sqrt (/ 1 (exp x)))
  (sqrt (/ 1 (exp x)))
  (- 1)
  (- (exp x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt 1) (cbrt (exp x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))
  (/ (cbrt 1) (sqrt (exp x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (exp x))
  (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt 1) (cbrt (exp x)))
  (/ (sqrt 1) (sqrt (exp x)))
  (/ (sqrt 1) (sqrt (exp x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 1)
  (/ 1 (exp x))
  (/ 1 (exp x))
  (/ (exp x) 1)
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (sqrt (exp x)))
  (/ 1 1)
  (/ (exp x) (cbrt 1))
  (/ (exp x) (sqrt 1))
  (/ (exp x) 1)
  (real->posit16 (/ 1 (exp x)))
  (expm1 (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (log1p (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (- (- (log 8) (log (+ (exp x) (/ 1 (exp x))))) (+ (log (+ (exp x) (/ 1 (exp x)))) (log (+ (exp x) (/ 1 (exp x))))))
  (- (- (log 8) (log (+ (exp x) (/ 1 (exp x))))) (log (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (- (log (/ 8 (+ (exp x) (/ 1 (exp x))))) (+ (log (+ (exp x) (/ 1 (exp x)))) (log (+ (exp x) (/ 1 (exp x))))))
  (- (log (/ 8 (+ (exp x) (/ 1 (exp x))))) (log (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (log (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (exp (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (/ (/ (* (* 8 8) 8) (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))) (* (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))) (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))))
  (/ (/ (* (* 8 8) 8) (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))) (* (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (/ (* (* (/ 8 (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x))))) (/ 8 (+ (exp x) (/ 1 (exp x))))) (* (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))) (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))))
  (/ (* (* (/ 8 (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x))))) (/ 8 (+ (exp x) (/ 1 (exp x))))) (* (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (* (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))
  (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (* (* (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))) (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))) (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (sqrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (sqrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (- (/ 8 (+ (exp x) (/ 1 (exp x)))))
  (- (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))
  (/ (* (cbrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (cbrt (/ 8 (+ (exp x) (/ 1 (exp x)))))) (+ (exp x) (/ 1 (exp x))))
  (/ (cbrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (sqrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (sqrt (/ 8 (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (* (cbrt 8) (cbrt 8)) (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x)))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (cbrt 8) (cbrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (* (cbrt 8) (cbrt 8)) (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (cbrt 8) (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (* (cbrt 8) (cbrt 8)) 1) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (cbrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (* (cbrt 8) (cbrt 8)) 1) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (cbrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (* (cbrt 8) (cbrt 8)) 1) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (cbrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x)))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) (cbrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) 1) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) 1) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) 1) (+ (exp x) (/ 1 (exp x))))
  (/ (/ (sqrt 8) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 1 (* (cbrt (+ (exp x) (/ 1 (exp x)))) (cbrt (+ (exp x) (/ 1 (exp x)))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 8 (cbrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 1 (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 8 (sqrt (+ (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 1 1) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 1 1) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 1 1) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ 1 (+ (exp x) (/ 1 (exp x))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ 8 (+ (exp x) (/ 1 (exp x))))
  (/ (/ 1 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 8 (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3))) (+ (exp x) (/ 1 (exp x))))
  (/ (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (/ 8 (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x))))) (+ (exp x) (/ 1 (exp x))))
  (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
  (/ 1 (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x)))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (cbrt (/ 8 (+ (exp x) (/ 1 (exp x))))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (sqrt (/ 8 (+ (exp x) (/ 1 (exp x))))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (cbrt (+ (exp x) (/ 1 (exp x))))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (sqrt (+ (exp x) (/ 1 (exp x))))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (cbrt 8) (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (cbrt (+ (exp x) (/ 1 (exp x))))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (sqrt (+ (exp x) (/ 1 (exp x))))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ (sqrt 8) (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (cbrt (+ (exp x) (/ 1 (exp x))))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (sqrt (+ (exp x) (/ 1 (exp x))))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 8 (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (/ 1 (+ (exp x) (/ 1 (exp x)))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (* (exp x) (exp x)) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (/ 1 (exp x))))))
  (/ (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (- (exp x) (/ 1 (exp x))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3)) (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3)) (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x))))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x)))) (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x)))) (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x))))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x))))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (pow (exp x) 3) (pow (/ 1 (exp x)) 3)) (+ (exp x) (/ 1 (exp x)))))
  (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x)))))
  (* (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (+ (exp x) (/ 1 (exp x))))
  (real->posit16 (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
  (- (+ (* 1/2 (pow x 2)) 1) x)
  (/ 1 (exp x))
  (/ 1 (exp x))
  (- (+ (* 1/2 (pow x 2)) 1) x)
  (/ 1 (exp x))
  (/ 1 (exp x))
  (- (+ (* 1/2 (pow x 2)) 1) x)
  (/ 1 (exp x))
  (/ 1 (exp x))
  (- (+ (* 11/8 (pow x 4)) 1) (* 3/2 (pow x 2)))
  (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3))
  (/ 8 (pow (+ (exp x) (/ 1 (exp x))) 3))
3.726 * * [simplify]: iteration 1: (202 enodes)
3.819 * * [simplify]: iteration 2: (490 enodes)
4.100 * * [simplify]: iteration 3: (1485 enodes)
9.830 * * [simplify]: Extracting #0: cost 79 inf + 0
9.839 * * [simplify]: Extracting #1: cost 654 inf + 2
9.850 * * [simplify]: Extracting #2: cost 1463 inf + 534
9.864 * * [simplify]: Extracting #3: cost 1928 inf + 11905
9.902 * * [simplify]: Extracting #4: cost 1300 inf + 222806
10.083 * * [simplify]: Extracting #5: cost 221 inf + 643972
10.366 * * [simplify]: Extracting #6: cost 10 inf + 736484
10.624 * * [simplify]: Extracting #7: cost 0 inf + 741732
10.888 * [simplify]: Simplified to:
  (expm1 (exp (- x)))
  (log1p (exp (- x)))
  -1
  (- (cbrt x))
  (- (sqrt x))
  (- x)
  (- x)
  (- x)
  (- x)
  (- x)
  (exp (exp (- x)))
  (exp (- (* 3 x)))
  (* (cbrt (exp (- x))) (cbrt (exp (- x))))
  (cbrt (exp (- x)))
  (exp (- (* 3 x)))
  (sqrt (exp (- x)))
  (sqrt (exp (- x)))
  -1
  (- (exp x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (exp (- x))
  (exp x)
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp x)
  (exp x)
  (exp x)
  (real->posit16 (exp (- x)))
  (expm1 (exp (- x)))
  (log1p (exp (- x)))
  -1
  (- (cbrt x))
  (- (sqrt x))
  (- x)
  (- x)
  (- x)
  (- x)
  (- x)
  (exp (exp (- x)))
  (exp (- (* 3 x)))
  (* (cbrt (exp (- x))) (cbrt (exp (- x))))
  (cbrt (exp (- x)))
  (exp (- (* 3 x)))
  (sqrt (exp (- x)))
  (sqrt (exp (- x)))
  -1
  (- (exp x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (exp (- x))
  (exp x)
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp x)
  (exp x)
  (exp x)
  (real->posit16 (exp (- x)))
  (expm1 (exp (- x)))
  (log1p (exp (- x)))
  -1
  (- (cbrt x))
  (- (sqrt x))
  (- x)
  (- x)
  (- x)
  (- x)
  (- x)
  (exp (exp (- x)))
  (exp (- (* 3 x)))
  (* (cbrt (exp (- x))) (cbrt (exp (- x))))
  (cbrt (exp (- x)))
  (exp (- (* 3 x)))
  (sqrt (exp (- x)))
  (sqrt (exp (- x)))
  -1
  (- (exp x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (exp (- x))
  (exp x)
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp x)
  (exp x)
  (exp x)
  (real->posit16 (exp (- x)))
  (expm1 (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (log1p (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (log (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (log (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (log (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (log (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (log (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (exp (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (/ (/ (/ 512 (+ (exp (- x)) (exp x))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))))
  (/ (/ (/ 512 (+ (exp (- x)) (exp x))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))))
  (/ (/ (/ 512 (+ (exp (- x)) (exp x))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))))
  (/ (/ (/ 512 (+ (exp (- x)) (exp x))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))))
  (* (cbrt (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x)))) (cbrt (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x)))))
  (cbrt (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (/ (/ (/ 512 (+ (exp (- x)) (exp x))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))))
  (sqrt (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (sqrt (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (/ -8 (+ (exp (- x)) (exp x)))
  (- (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (/ (cbrt (/ 8 (+ (exp (- x)) (exp x)))) (/ (+ (exp (- x)) (exp x)) (cbrt (/ 8 (+ (exp (- x)) (exp x))))))
  (/ (cbrt (/ 8 (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x)))
  (/ (sqrt (/ 8 (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x)))
  (/ (sqrt (/ 8 (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x)))
  (/ (* (/ (cbrt 8) (cbrt (+ (exp (- x)) (exp x)))) (/ (cbrt 8) (cbrt (+ (exp (- x)) (exp x))))) (+ (exp (- x)) (exp x)))
  (/ (/ (cbrt 8) (+ (exp (- x)) (exp x))) (cbrt (+ (exp (- x)) (exp x))))
  (/ (* (cbrt 8) (cbrt 8)) (* (+ (exp (- x)) (exp x)) (sqrt (+ (exp (- x)) (exp x)))))
  (/ (cbrt 8) (* (+ (exp (- x)) (exp x)) (sqrt (+ (exp (- x)) (exp x)))))
  (/ (* (cbrt 8) (cbrt 8)) (+ (exp (- x)) (exp x)))
  (/ (/ (cbrt 8) (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x)))
  (/ (* (cbrt 8) (cbrt 8)) (+ (exp (- x)) (exp x)))
  (/ (/ (cbrt 8) (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x)))
  (/ (* (cbrt 8) (cbrt 8)) (+ (exp (- x)) (exp x)))
  (/ (/ (cbrt 8) (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x)))
  (/ (/ (sqrt 8) (+ (exp (- x)) (exp x))) (* (cbrt (+ (exp (- x)) (exp x))) (cbrt (+ (exp (- x)) (exp x)))))
  (/ (sqrt 8) (* (cbrt (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x))))
  (/ (sqrt 8) (* (+ (exp (- x)) (exp x)) (sqrt (+ (exp (- x)) (exp x)))))
  (/ (sqrt 8) (* (+ (exp (- x)) (exp x)) (sqrt (+ (exp (- x)) (exp x)))))
  (/ (sqrt 8) (+ (exp (- x)) (exp x)))
  (/ (/ (sqrt 8) (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x)))
  (/ (sqrt 8) (+ (exp (- x)) (exp x)))
  (/ (/ (sqrt 8) (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x)))
  (/ (sqrt 8) (+ (exp (- x)) (exp x)))
  (/ (/ (sqrt 8) (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x)))
  (/ (/ 1 (cbrt (+ (exp (- x)) (exp x)))) (* (+ (exp (- x)) (exp x)) (cbrt (+ (exp (- x)) (exp x)))))
  (/ (/ 8 (+ (exp (- x)) (exp x))) (cbrt (+ (exp (- x)) (exp x))))
  (/ 1 (* (+ (exp (- x)) (exp x)) (sqrt (+ (exp (- x)) (exp x)))))
  (/ 8 (* (+ (exp (- x)) (exp x)) (sqrt (+ (exp (- x)) (exp x)))))
  (/ 1 (+ (exp (- x)) (exp x)))
  (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (/ 1 (+ (exp (- x)) (exp x)))
  (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (/ 1 (+ (exp (- x)) (exp x)))
  (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (/ 1 (+ (exp (- x)) (exp x)))
  (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (/ 8 (+ (exp (- x)) (exp x)))
  (/ 1 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (/ 8 (+ (* (/ 1 (* (exp x) (exp x))) (/ 1 (* (exp x) (exp x)))) (+ (/ 1 (* (exp x) (exp x))) (* (fma (exp x) (exp x) 1) (* (exp x) (exp x))))))
  (/ (+ (/ 1 (* (exp x) (exp x))) (- (* (exp x) (exp x)) 1)) (+ (exp (- x)) (exp x)))
  (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (- (exp x) (exp (- x))))
  (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)))
  (/ 1 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (/ (* (+ (exp (- x)) (exp x)) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) 8)
  (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (/ (+ (exp (- x)) (exp x)) (/ (cbrt (/ 8 (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (* (/ (+ (exp (- x)) (exp x)) (sqrt (/ 8 (+ (exp (- x)) (exp x))))) (+ (exp (- x)) (exp x)))
  (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (/ (cbrt 8) (cbrt (+ (exp (- x)) (exp x)))))
  (* (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (cbrt 8)) (sqrt (+ (exp (- x)) (exp x))))
  (* (+ (exp (- x)) (exp x)) (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (cbrt 8)))
  (* (+ (exp (- x)) (exp x)) (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (cbrt 8)))
  (* (+ (exp (- x)) (exp x)) (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (cbrt 8)))
  (* (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (sqrt 8)) (cbrt (+ (exp (- x)) (exp x))))
  (* (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (sqrt 8)) (sqrt (+ (exp (- x)) (exp x))))
  (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (/ (sqrt 8) (+ (exp (- x)) (exp x))))
  (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (/ (sqrt 8) (+ (exp (- x)) (exp x))))
  (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (/ (sqrt 8) (+ (exp (- x)) (exp x))))
  (* (/ (+ (exp (- x)) (exp x)) 8) (* (cbrt (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x))))
  (* (/ (+ (exp (- x)) (exp x)) (/ 8 (+ (exp (- x)) (exp x)))) (sqrt (+ (exp (- x)) (exp x))))
  (/ (* (+ (exp (- x)) (exp x)) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) 8)
  (/ (* (+ (exp (- x)) (exp x)) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) 8)
  (/ (* (+ (exp (- x)) (exp x)) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) 8)
  (/ (* (+ (exp (- x)) (exp x)) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) 8)
  (* (+ (exp (- x)) (exp x)) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (/ (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (+ (/ 1 (* (exp x) (exp x))) (- (* (exp x) (exp x)) 1)))
  (/ (+ (exp (- x)) (exp x)) (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x))))
  (/ (/ (/ 8 (+ (exp (- (* 3 x))) (exp (* 3 x)))) (+ (exp (- (* 3 x))) (exp (* 3 x)))) (+ (exp (- x)) (exp x)))
  (/ (/ 8 (+ (* (/ 1 (* (exp x) (exp x))) (/ 1 (* (exp x) (exp x)))) (+ (/ 1 (* (exp x) (exp x))) (* (fma (exp x) (exp x) 1) (* (exp x) (exp x)))))) (- (* (exp x) (exp x)) (/ 1 (* (exp x) (exp x)))))
  (/ (/ 8 (+ (* (/ 1 (* (exp x) (exp x))) (/ 1 (* (exp x) (exp x)))) (+ (/ 1 (* (exp x) (exp x))) (* (fma (exp x) (exp x) 1) (* (exp x) (exp x)))))) (- (* (exp x) (exp x)) (/ 1 (* (exp x) (exp x)))))
  (/ (/ (/ 8 (+ (exp (- x)) (exp x))) (* (* (+ (exp (- x)) (exp x)) (- (exp x) (exp (- x)))) (+ (exp (- x)) (exp x)))) (- (exp x) (exp (- x))))
  (/ (/ 8 (+ (exp (- x)) (exp x))) (+ (* (/ 1 (* (exp x) (exp x))) (/ 1 (* (exp x) (exp x)))) (+ (/ 1 (* (exp x) (exp x))) (* (fma (exp x) (exp x) 1) (* (exp x) (exp x))))))
  (/ (/ 8 (+ (exp (- x)) (exp x))) (* (* (+ (exp (- x)) (exp x)) (- (exp x) (exp (- x)))) (+ (exp (- x)) (exp x))))
  (/ (/ 8 (+ (exp (- x)) (exp x))) (+ (* (/ 1 (* (exp x) (exp x))) (/ 1 (* (exp x) (exp x)))) (+ (/ 1 (* (exp x) (exp x))) (* (fma (exp x) (exp x) 1) (* (exp x) (exp x))))))
  (/ (/ 8 (+ (exp (- x)) (exp x))) (* (* (+ (exp (- x)) (exp x)) (- (exp x) (exp (- x)))) (+ (exp (- x)) (exp x))))
  (* (+ (exp (- x)) (exp x)) (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))))
  (real->posit16 (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x))))
  (- (fma (* x x) 1/2 1) x)
  (exp (- x))
  (exp (- x))
  (- (fma (* x x) 1/2 1) x)
  (exp (- x))
  (exp (- x))
  (- (fma (* x x) 1/2 1) x)
  (exp (- x))
  (exp (- x))
  (fma (* x x) -3/2 (fma 11/8 (* (* x x) (* x x)) 1))
  (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x)))
  (/ (/ 8 (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)))) (+ (exp (- x)) (exp x)))
10.908 * * * [progress]: adding candidates to table
12.939 * [progress]: [Phase 3 of 3] Extracting.
12.939 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))> #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>)
12.939 * * * [regime-changes]: Trying 3 branch expressions: ((+ (exp x) (exp (- x))) (/ 2 (+ (exp x) (exp (- x)))) x)
12.939 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (#<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))> #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>)
12.964 * * * * [regimes]: Trying to branch on (/ 2 (+ (exp x) (exp (- x)))) from (#<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))> #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>)
13.008 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))))))> #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>)
13.041 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
13.042 * [simplify]: Simplifying:
  (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
13.042 * * [simplify]: iteration 1: (10 enodes)
13.043 * * [simplify]: iteration 2: (11 enodes)
13.043 * * [simplify]: Extracting #0: cost 1 inf + 0
13.043 * * [simplify]: Extracting #1: cost 2 inf + 0
13.043 * * [simplify]: Extracting #2: cost 4 inf + 0
13.043 * * [simplify]: Extracting #3: cost 6 inf + 0
13.043 * * [simplify]: Extracting #4: cost 7 inf + 1
13.044 * * [simplify]: Extracting #5: cost 9 inf + 1
13.044 * * [simplify]: Extracting #6: cost 0 inf + 1349
13.044 * [simplify]: Simplified to:
  (cbrt (/ (/ 8 (+ (exp x) (/ 1 (exp x)))) (* (+ (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))))
14.461 * [regime-testing]: Baseline error score: 0.05046333746277452
14.463 * [regime-testing]: Oracle error score: 0.004750593824228029
14.468 * [regime-testing]: End program error score: 0.05046333746277452