0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.111 * * * [progress]: [2/2] Setting up program.
0.114 * [progress]: [Phase 2 of 3] Improving.
0.115 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.115 * [simplify]: Simplifying (/ (exp x) (- (exp x) 1))
0.115 * * [simplify]: iteration 1: (5 enodes)
0.118 * * [simplify]: iteration 2: (21 enodes)
0.124 * * [simplify]: iteration 3: (25 enodes)
0.130 * * [simplify]: iteration 4: (26 enodes)
0.137 * * [simplify]: Extracting #0: cost 1 inf + 0
0.137 * * [simplify]: Extracting #1: cost 4 inf + 0
0.137 * * [simplify]: Extracting #2: cost 9 inf + 0
0.137 * * [simplify]: Extracting #3: cost 6 inf + 3
0.137 * * [simplify]: Extracting #4: cost 1 inf + 468
0.137 * * [simplify]: Extracting #5: cost 0 inf + 649
0.137 * [simplify]: Simplified to (/ (exp x) (expm1 x))
0.141 * * [progress]: iteration 1 / 4
0.141 * * * [progress]: picking best candidate
0.144 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.144 * * * [progress]: localizing error
0.157 * * * [progress]: generating rewritten candidates
0.157 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.174 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.210 * * * [progress]: generating series expansions
0.210 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.210 * [backup-simplify]: Simplify (- (exp x) 1) into (- (exp x) 1)
0.210 * [approximate]: Taking taylor expansion of (- (exp x) 1) in (x) around 0
0.210 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x
0.210 * [taylor]: Taking taylor expansion of (exp x) in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.210 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify 1 into 1
0.210 * [backup-simplify]: Simplify (exp 0) into 1
0.210 * [taylor]: Taking taylor expansion of 1 in x
0.210 * [backup-simplify]: Simplify 1 into 1
0.211 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x
0.211 * [taylor]: Taking taylor expansion of (exp x) in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.211 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify 1 into 1
0.211 * [backup-simplify]: Simplify (exp 0) into 1
0.211 * [taylor]: Taking taylor expansion of 1 in x
0.211 * [backup-simplify]: Simplify 1 into 1
0.211 * [backup-simplify]: Simplify (- 1) into -1
0.212 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.212 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.213 * [backup-simplify]: Simplify (- 0) into 0
0.214 * [backup-simplify]: Simplify (+ 1 0) into 1
0.214 * [backup-simplify]: Simplify 1 into 1
0.215 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.216 * [backup-simplify]: Simplify (- 0) into 0
0.216 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.216 * [backup-simplify]: Simplify 1/2 into 1/2
0.218 * [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.218 * [backup-simplify]: Simplify (- 0) into 0
0.219 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.219 * [backup-simplify]: Simplify 1/6 into 1/6
0.219 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
0.219 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
0.219 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0
0.219 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
0.219 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify 1 into 1
0.220 * [backup-simplify]: Simplify (/ 1 1) into 1
0.220 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.220 * [taylor]: Taking taylor expansion of 1 in x
0.220 * [backup-simplify]: Simplify 1 into 1
0.220 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
0.220 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.220 * [taylor]: Taking taylor expansion of x in x
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify 1 into 1
0.221 * [backup-simplify]: Simplify (/ 1 1) into 1
0.221 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.221 * [taylor]: Taking taylor expansion of 1 in x
0.221 * [backup-simplify]: Simplify 1 into 1
0.221 * [backup-simplify]: Simplify (- 1) into -1
0.221 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
0.221 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
0.222 * [backup-simplify]: Simplify (- 0) into 0
0.222 * [backup-simplify]: Simplify (+ 0 0) into 0
0.222 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify (- 0) into 0
0.223 * [backup-simplify]: Simplify (+ 0 0) into 0
0.223 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify (- 0) into 0
0.224 * [backup-simplify]: Simplify (+ 0 0) into 0
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify (- 0) into 0
0.224 * [backup-simplify]: Simplify (+ 0 0) into 0
0.224 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify (- 0) into 0
0.225 * [backup-simplify]: Simplify (+ 0 0) into 0
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify (- 0) into 0
0.226 * [backup-simplify]: Simplify (+ 0 0) into 0
0.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1)
0.226 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1)
0.226 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0
0.226 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
0.226 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.226 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.226 * [taylor]: Taking taylor expansion of -1 in x
0.226 * [backup-simplify]: Simplify -1 into -1
0.226 * [taylor]: Taking taylor expansion of x in x
0.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify 1 into 1
0.227 * [backup-simplify]: Simplify (/ -1 1) into -1
0.227 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.227 * [taylor]: Taking taylor expansion of 1 in x
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
0.227 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.227 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.227 * [taylor]: Taking taylor expansion of -1 in x
0.227 * [backup-simplify]: Simplify -1 into -1
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [backup-simplify]: Simplify (/ -1 1) into -1
0.227 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.227 * [taylor]: Taking taylor expansion of 1 in x
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [backup-simplify]: Simplify (- 1) into -1
0.227 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
0.227 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1)
0.228 * [backup-simplify]: Simplify (- 0) into 0
0.228 * [backup-simplify]: Simplify (+ 0 0) into 0
0.228 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify (- 0) into 0
0.228 * [backup-simplify]: Simplify (+ 0 0) into 0
0.228 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify (- 0) into 0
0.229 * [backup-simplify]: Simplify (+ 0 0) into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify (- 0) into 0
0.229 * [backup-simplify]: Simplify (+ 0 0) into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (- 0) into 0
0.230 * [backup-simplify]: Simplify (+ 0 0) into 0
0.230 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (- 0) into 0
0.230 * [backup-simplify]: Simplify (+ 0 0) into 0
0.230 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1)
0.231 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.231 * [backup-simplify]: Simplify (/ (exp x) (- (exp x) 1)) into (/ (exp x) (- (exp x) 1))
0.231 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in (x) around 0
0.231 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x
0.231 * [taylor]: Taking taylor expansion of (exp x) in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 1 into 1
0.231 * [backup-simplify]: Simplify (exp 0) into 1
0.231 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x
0.231 * [taylor]: Taking taylor expansion of (exp x) in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 1 into 1
0.231 * [backup-simplify]: Simplify (exp 0) into 1
0.231 * [taylor]: Taking taylor expansion of 1 in x
0.231 * [backup-simplify]: Simplify 1 into 1
0.231 * [backup-simplify]: Simplify (- 1) into -1
0.231 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.232 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.232 * [backup-simplify]: Simplify (- 0) into 0
0.232 * [backup-simplify]: Simplify (+ 1 0) into 1
0.233 * [backup-simplify]: Simplify (/ 1 1) into 1
0.233 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x
0.233 * [taylor]: Taking taylor expansion of (exp x) in x
0.233 * [taylor]: Taking taylor expansion of x in x
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 1 into 1
0.233 * [backup-simplify]: Simplify (exp 0) into 1
0.233 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x
0.233 * [taylor]: Taking taylor expansion of (exp x) in x
0.233 * [taylor]: Taking taylor expansion of x in x
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 1 into 1
0.233 * [backup-simplify]: Simplify (exp 0) into 1
0.233 * [taylor]: Taking taylor expansion of 1 in x
0.233 * [backup-simplify]: Simplify 1 into 1
0.233 * [backup-simplify]: Simplify (- 1) into -1
0.233 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.234 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.234 * [backup-simplify]: Simplify (- 0) into 0
0.235 * [backup-simplify]: Simplify (+ 1 0) into 1
0.235 * [backup-simplify]: Simplify (/ 1 1) into 1
0.235 * [backup-simplify]: Simplify 1 into 1
0.236 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.236 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.237 * [backup-simplify]: Simplify (- 0) into 0
0.237 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.237 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 1/2 1)))) into 1/2
0.237 * [backup-simplify]: Simplify 1/2 into 1/2
0.238 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.240 * [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.240 * [backup-simplify]: Simplify (- 0) into 0
0.240 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.241 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)))) into 1/12
0.241 * [backup-simplify]: Simplify 1/12 into 1/12
0.241 * [backup-simplify]: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
0.241 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
0.241 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in (x) around 0
0.241 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in x
0.241 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.241 * [backup-simplify]: Simplify 0 into 0
0.241 * [backup-simplify]: Simplify 1 into 1
0.241 * [backup-simplify]: Simplify (/ 1 1) into 1
0.241 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.241 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
0.241 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.241 * [backup-simplify]: Simplify 0 into 0
0.241 * [backup-simplify]: Simplify 1 into 1
0.242 * [backup-simplify]: Simplify (/ 1 1) into 1
0.242 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.242 * [taylor]: Taking taylor expansion of 1 in x
0.242 * [backup-simplify]: Simplify 1 into 1
0.242 * [backup-simplify]: Simplify (- 1) into -1
0.242 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
0.242 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
0.242 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in x
0.242 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.242 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify 1 into 1
0.243 * [backup-simplify]: Simplify (/ 1 1) into 1
0.243 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.243 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
0.243 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify 1 into 1
0.243 * [backup-simplify]: Simplify (/ 1 1) into 1
0.243 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.243 * [taylor]: Taking taylor expansion of 1 in x
0.243 * [backup-simplify]: Simplify 1 into 1
0.243 * [backup-simplify]: Simplify (- 1) into -1
0.243 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
0.243 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
0.244 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
0.244 * [backup-simplify]: Simplify (- 0) into 0
0.244 * [backup-simplify]: Simplify (+ 0 0) into 0
0.244 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0
0.244 * [backup-simplify]: Simplify 0 into 0
0.245 * [backup-simplify]: Simplify (- 0) into 0
0.245 * [backup-simplify]: Simplify (+ 0 0) into 0
0.245 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
0.245 * [backup-simplify]: Simplify 0 into 0
0.245 * [backup-simplify]: Simplify (- 0) into 0
0.246 * [backup-simplify]: Simplify (+ 0 0) into 0
0.246 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
0.246 * [backup-simplify]: Simplify 0 into 0
0.246 * [backup-simplify]: Simplify (- 0) into 0
0.246 * [backup-simplify]: Simplify (+ 0 0) into 0
0.247 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
0.247 * [backup-simplify]: Simplify 0 into 0
0.247 * [backup-simplify]: Simplify (- 0) into 0
0.247 * [backup-simplify]: Simplify (+ 0 0) into 0
0.247 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
0.248 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify (- 0) into 0
0.248 * [backup-simplify]: Simplify (+ 0 0) into 0
0.248 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
0.248 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 x))) (- (exp (/ 1 (/ 1 x))) 1)) into (/ (exp x) (- (exp x) 1))
0.249 * [backup-simplify]: Simplify (/ (exp (/ 1 (- x))) (- (exp (/ 1 (- x))) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
0.249 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in (x) around 0
0.249 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x
0.249 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.249 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.249 * [taylor]: Taking taylor expansion of -1 in x
0.249 * [backup-simplify]: Simplify -1 into -1
0.249 * [taylor]: Taking taylor expansion of x in x
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.249 * [backup-simplify]: Simplify (/ -1 1) into -1
0.249 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.249 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
0.249 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.249 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.249 * [taylor]: Taking taylor expansion of -1 in x
0.249 * [backup-simplify]: Simplify -1 into -1
0.249 * [taylor]: Taking taylor expansion of x in x
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.249 * [backup-simplify]: Simplify (/ -1 1) into -1
0.250 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.250 * [taylor]: Taking taylor expansion of 1 in x
0.250 * [backup-simplify]: Simplify 1 into 1
0.250 * [backup-simplify]: Simplify (- 1) into -1
0.250 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
0.250 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
0.250 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x
0.250 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.250 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.250 * [taylor]: Taking taylor expansion of -1 in x
0.250 * [backup-simplify]: Simplify -1 into -1
0.250 * [taylor]: Taking taylor expansion of x in x
0.250 * [backup-simplify]: Simplify 0 into 0
0.250 * [backup-simplify]: Simplify 1 into 1
0.250 * [backup-simplify]: Simplify (/ -1 1) into -1
0.250 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.250 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
0.250 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.250 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.250 * [taylor]: Taking taylor expansion of -1 in x
0.250 * [backup-simplify]: Simplify -1 into -1
0.250 * [taylor]: Taking taylor expansion of x in x
0.251 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify 1 into 1
0.251 * [backup-simplify]: Simplify (/ -1 1) into -1
0.251 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.251 * [taylor]: Taking taylor expansion of 1 in x
0.251 * [backup-simplify]: Simplify 1 into 1
0.251 * [backup-simplify]: Simplify (- 1) into -1
0.251 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
0.251 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
0.251 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
0.252 * [backup-simplify]: Simplify (- 0) into 0
0.252 * [backup-simplify]: Simplify (+ 0 0) into 0
0.252 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0
0.252 * [backup-simplify]: Simplify 0 into 0
0.252 * [backup-simplify]: Simplify (- 0) into 0
0.253 * [backup-simplify]: Simplify (+ 0 0) into 0
0.253 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
0.253 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify (- 0) into 0
0.253 * [backup-simplify]: Simplify (+ 0 0) into 0
0.254 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify (- 0) into 0
0.254 * [backup-simplify]: Simplify (+ 0 0) into 0
0.254 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
0.254 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify (- 0) into 0
0.255 * [backup-simplify]: Simplify (+ 0 0) into 0
0.255 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
0.255 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify (- 0) into 0
0.256 * [backup-simplify]: Simplify (+ 0 0) into 0
0.256 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- x)))) (- (exp (/ -1 (/ 1 (- x)))) 1)) into (/ (exp x) (- (exp x) 1))
0.256 * * * [progress]: simplifying candidates
0.256 * * * * [progress]: [ 1 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))))>
0.256 * * * * [progress]: [ 2 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))))))>
0.256 * * * * [progress]: [ 3 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)))))>
0.256 * * * * [progress]: [ 4 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))))>
0.257 * * * * [progress]: [ 5 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))))))>
0.257 * * * * [progress]: [ 6 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)))))>
0.257 * * * * [progress]: [ 7 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma 1 (exp x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))))>
0.257 * * * * [progress]: [ 8 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma 1 (exp x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))))))>
0.257 * * * * [progress]: [ 9 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma 1 (exp x) (- (* 1 1))) (fma (- 1) 1 (* 1 1)))))>
0.257 * * * * [progress]: [ 10 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (log1p (expm1 (- (exp x) 1)))))>
0.257 * * * * [progress]: [ 11 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (expm1 (log1p (- (exp x) 1)))))>
0.257 * * * * [progress]: [ 12 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (expm1 x)))>
0.257 * * * * [progress]: [ 13 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- 1))))>
0.257 * * * * [progress]: [ 14 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1))))>
0.257 * * * * [progress]: [ 15 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (fma 1 (exp x) (- 1))))>
0.257 * * * * [progress]: [ 16 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (log (/ (exp (exp x)) (exp 1)))))>
0.257 * * * * [progress]: [ 17 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (pow (- (exp x) 1) 1)))>
0.257 * * * * [progress]: [ 18 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (exp (log (- (exp x) 1)))))>
0.257 * * * * [progress]: [ 19 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (log (exp (- (exp x) 1)))))>
0.257 * * * * [progress]: [ 20 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) (cbrt (- (exp x) 1)))))>
0.257 * * * * [progress]: [ 21 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (cbrt (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)))))>
0.257 * * * * [progress]: [ 22 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (sqrt (- (exp x) 1)) (sqrt (- (exp x) 1)))))>
0.257 * * * * [progress]: [ 23 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))))>
0.257 * * * * [progress]: [ 24 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (exp x) (- 1))))>
0.257 * * * * [progress]: [ 25 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* 1 (- (exp x) 1))))>
0.257 * * * * [progress]: [ 26 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (/ (- (* (exp x) (exp x)) (* 1 1)) (+ (exp x) 1))))>
0.257 * * * * [progress]: [ 27 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) (sqrt 1)) (- (sqrt (exp x)) (sqrt 1)))))>
0.257 * * * * [progress]: [ 28 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) 1) (- (sqrt (exp x)) 1))))>
0.257 * * * * [progress]: [ 29 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) 1) (- (sqrt (exp x)) 1))))>
0.257 * * * * [progress]: [ 30 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* 1 (- (exp x) 1))))>
0.257 * * * * [progress]: [ 31 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (exp x) (- 1))))>
0.257 * * * * [progress]: [ 32 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (posit16->real (real->posit16 (- (exp x) 1)))))>
0.257 * * * * [progress]: [ 33 / 86 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ (exp x) (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 34 / 86 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ (exp x) (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 35 / 86 ] simplifiying candidate #<alt (λ (x) (pow (/ (exp x) (- (exp x) 1)) 1))>
0.258 * * * * [progress]: [ 36 / 86 ] simplifiying candidate #<alt (λ (x) (exp (- x (log (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 37 / 86 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (exp x) (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 38 / 86 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (exp x) (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 39 / 86 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 40 / 86 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (exp x) (- (exp x) 1))) (cbrt (/ (exp x) (- (exp x) 1)))) (cbrt (/ (exp x) (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 41 / 86 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (exp x) (- (exp x) 1)) (/ (exp x) (- (exp x) 1))) (/ (exp x) (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 42 / 86 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (exp x) (- (exp x) 1))) (sqrt (/ (exp x) (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 43 / 86 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x)) (- (- (exp x) 1))))>
0.258 * * * * [progress]: [ 44 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 45 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))) (/ (cbrt (exp x)) (sqrt (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 46 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (exp x) 1))))>
0.258 * * * * [progress]: [ 47 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1)))))>
0.258 * * * * [progress]: [ 48 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)) (/ (cbrt (exp x)) (- (sqrt (exp x)) 1))))>
0.258 * * * * [progress]: [ 49 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)) (/ (cbrt (exp x)) (- (sqrt (exp x)) 1))))>
0.258 * * * * [progress]: [ 50 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (exp x) 1))))>
0.258 * * * * [progress]: [ 51 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (/ (sqrt (exp x)) (cbrt (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 52 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 53 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (exp x) 1))))>
0.258 * * * * [progress]: [ 54 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1)))))>
0.258 * * * * [progress]: [ 55 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) (/ (sqrt (exp x)) (- (sqrt (exp x)) 1))))>
0.258 * * * * [progress]: [ 56 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) (/ (sqrt (exp x)) (- (sqrt (exp x)) 1))))>
0.258 * * * * [progress]: [ 57 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (exp x) 1))))>
0.258 * * * * [progress]: [ 58 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (/ (exp x) (cbrt (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 59 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (- (exp x) 1))) (/ (exp x) (sqrt (- (exp x) 1)))))>
0.258 * * * * [progress]: [ 60 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (exp x) (- (exp x) 1))))>
0.258 * * * * [progress]: [ 61 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (sqrt (exp x)) (sqrt 1))) (/ (exp x) (- (sqrt (exp x)) (sqrt 1)))))>
0.258 * * * * [progress]: [ 62 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (- (sqrt (exp x)) 1))))>
0.258 * * * * [progress]: [ 63 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (- (sqrt (exp x)) 1))))>
0.259 * * * * [progress]: [ 64 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (exp x) (- (exp x) 1))))>
0.259 * * * * [progress]: [ 65 / 86 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (exp x) (- (exp x) 1))))>
0.259 * * * * [progress]: [ 66 / 86 ] simplifiying candidate #<alt (λ (x) (* (exp x) (/ 1 (- (exp x) 1))))>
0.259 * * * * [progress]: [ 67 / 86 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- (exp x) 1) (exp x))))>
0.259 * * * * [progress]: [ 68 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (cbrt (- (exp x) 1))))>
0.259 * * * * [progress]: [ 69 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (sqrt (- (exp x) 1))) (sqrt (- (exp x) 1))))>
0.259 * * * * [progress]: [ 70 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) 1) (- (exp x) 1)))>
0.259 * * * * [progress]: [ 71 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) (sqrt 1))) (- (sqrt (exp x)) (sqrt 1))))>
0.259 * * * * [progress]: [ 72 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) 1)) (- (sqrt (exp x)) 1)))>
0.259 * * * * [progress]: [ 73 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) 1)) (- (sqrt (exp x)) 1)))>
0.259 * * * * [progress]: [ 74 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) 1) (- (exp x) 1)))>
0.259 * * * * [progress]: [ 75 / 86 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (- (exp x) 1) (cbrt (exp x)))))>
0.259 * * * * [progress]: [ 76 / 86 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1) (sqrt (exp x)))))>
0.259 * * * * [progress]: [ 77 / 86 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- (exp x) 1) (exp x))))>
0.259 * * * * [progress]: [ 78 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (exp x) (- (pow (exp x) 3) (pow 1 3))) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))>
0.259 * * * * [progress]: [ 79 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (exp x) (- (* (exp x) (exp x)) (* 1 1))) (+ (exp x) 1)))>
0.259 * * * * [progress]: [ 80 / 86 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (/ (exp x) (- (exp x) 1)))))>
0.259 * * * * [progress]: [ 81 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))))>
0.259 * * * * [progress]: [ 82 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.259 * * * * [progress]: [ 83 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.259 * * * * [progress]: [ 84 / 86 ] simplifiying candidate #<alt (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2)))>
0.259 * * * * [progress]: [ 85 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.259 * * * * [progress]: [ 86 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.260 * [simplify]: Simplifying (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))), (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))), (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1) (sqrt 1)))), (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))), (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1 1))), (fma (- 1) 1 (* 1 1)), (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))), (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))), (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1) (sqrt 1)))), (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))), (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1 1))), (fma (- 1) 1 (* 1 1)), (fma 1 (exp x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))), (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))), (fma 1 (exp x) (- (* (sqrt 1) (sqrt 1)))), (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))), (fma 1 (exp x) (- (* 1 1))), (fma (- 1) 1 (* 1 1)), (expm1 (- (exp x) 1)), (log1p (- (exp x) 1)), (- 1), (- 1), (- 1), (/ (exp (exp x)) (exp 1)), (log (- (exp x) 1)), (exp (- (exp x) 1)), (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))), (cbrt (- (exp x) 1)), (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)), (sqrt (- (exp x) 1)), (sqrt (- (exp x) 1)), (- (pow (exp x) 3) (pow 1 3)), (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))), (- 1), (- (* (exp x) (exp x)) (* 1 1)), (+ (exp x) 1), (+ (sqrt (exp x)) (sqrt 1)), (- (sqrt (exp x)) (sqrt 1)), (+ (sqrt (exp x)) 1), (- (sqrt (exp x)) 1), (+ (sqrt (exp x)) 1), (- (sqrt (exp x)) 1), (- (exp x) 1), (- 1), (real->posit16 (- (exp x) 1)), (expm1 (/ (exp x) (- (exp x) 1))), (log1p (/ (exp x) (- (exp x) 1))), (- x (log (- (exp x) 1))), (log (/ (exp x) (- (exp x) 1))), (exp (/ (exp x) (- (exp x) 1))), (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1))), (* (cbrt (/ (exp x) (- (exp x) 1))) (cbrt (/ (exp x) (- (exp x) 1)))), (cbrt (/ (exp x) (- (exp x) 1))), (* (* (/ (exp x) (- (exp x) 1)) (/ (exp x) (- (exp x) 1))) (/ (exp x) (- (exp x) 1))), (sqrt (/ (exp x) (- (exp x) 1))), (sqrt (/ (exp x) (- (exp x) 1))), (- (exp x)), (- (- (exp x) 1)), (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))), (/ (cbrt (exp x)) (cbrt (- (exp x) 1))), (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1))), (/ (cbrt (exp x)) (sqrt (- (exp x) 1))), (/ (* (cbrt (exp x)) (cbrt (exp x))) 1), (/ (cbrt (exp x)) (- (exp x) 1)), (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1))), (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1))), (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)), (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)), (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)), (/ (cbrt (exp x)) (- (sqrt (exp x)) 1)), (/ (* (cbrt (exp x)) (cbrt (exp x))) 1), (/ (cbrt (exp x)) (- (exp x) 1)), (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))), (/ (sqrt (exp x)) (cbrt (- (exp x) 1))), (/ (sqrt (exp x)) (sqrt (- (exp x) 1))), (/ (sqrt (exp x)) (sqrt (- (exp x) 1))), (/ (sqrt (exp x)) 1), (/ (sqrt (exp x)) (- (exp x) 1)), (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1))), (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1))), (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)), (/ (sqrt (exp x)) (- (sqrt (exp x)) 1)), (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)), (/ (sqrt (exp x)) (- (sqrt (exp x)) 1)), (/ (sqrt (exp x)) 1), (/ (sqrt (exp x)) (- (exp x) 1)), (/ 1 (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))), (/ (exp x) (cbrt (- (exp x) 1))), (/ 1 (sqrt (- (exp x) 1))), (/ (exp x) (sqrt (- (exp x) 1))), (/ 1 1), (/ (exp x) (- (exp x) 1)), (/ 1 (+ (sqrt (exp x)) (sqrt 1))), (/ (exp x) (- (sqrt (exp x)) (sqrt 1))), (/ 1 (+ (sqrt (exp x)) 1)), (/ (exp x) (- (sqrt (exp x)) 1)), (/ 1 (+ (sqrt (exp x)) 1)), (/ (exp x) (- (sqrt (exp x)) 1)), (/ 1 1), (/ (exp x) (- (exp x) 1)), (/ 1 (- (exp x) 1)), (/ (- (exp x) 1) (exp x)), (/ (exp x) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))), (/ (exp x) (sqrt (- (exp x) 1))), (/ (exp x) 1), (/ (exp x) (+ (sqrt (exp x)) (sqrt 1))), (/ (exp x) (+ (sqrt (exp x)) 1)), (/ (exp x) (+ (sqrt (exp x)) 1)), (/ (exp x) 1), (/ (- (exp x) 1) (cbrt (exp x))), (/ (- (exp x) 1) (sqrt (exp x))), (/ (- (exp x) 1) (exp x)), (/ (exp x) (- (pow (exp x) 3) (pow 1 3))), (/ (exp x) (- (* (exp x) (exp x)) (* 1 1))), (real->posit16 (/ (exp x) (- (exp x) 1))), (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))), (- (exp x) 1), (- (exp x) 1), (+ (* 1/12 x) (+ (/ 1 x) 1/2)), (/ (exp x) (- (exp x) 1)), (/ (exp x) (- (exp x) 1))
0.261 * * [simplify]: iteration 1: (126 enodes)
0.326 * * [simplify]: iteration 2: (464 enodes)
0.470 * * [simplify]: iteration 3: (836 enodes)
0.779 * * [simplify]: iteration 4: (1704 enodes)
2.409 * * [simplify]: Extracting #0: cost 63 inf + 0
2.410 * * [simplify]: Extracting #1: cost 517 inf + 4
2.415 * * [simplify]: Extracting #2: cost 1049 inf + 12842
2.445 * * [simplify]: Extracting #3: cost 523 inf + 159178
2.491 * * [simplify]: Extracting #4: cost 89 inf + 291215
2.548 * * [simplify]: Extracting #5: cost 3 inf + 331974
2.616 * * [simplify]: Extracting #6: cost 0 inf + 333323
2.695 * [simplify]: Simplified to (expm1 x), 0, (expm1 x), 0, (expm1 x), 0, (expm1 x), 0, (expm1 x), 0, (expm1 x), 0, (expm1 x), 0, (expm1 x), 0, (expm1 x), 0, (expm1 (expm1 x)), x, -1, -1, -1, (exp (expm1 x)), (log (expm1 x)), (exp (expm1 x)), (* (cbrt (expm1 x)) (cbrt (expm1 x))), (cbrt (expm1 x)), (* (expm1 x) (* (expm1 x) (expm1 x))), (sqrt (expm1 x)), (sqrt (expm1 x)), (expm1 (+ x (+ x x))), (fma (exp x) (exp x) (+ 1 (exp x))), -1, (expm1 (+ x x)), (+ 1 (exp x)), (+ (sqrt (exp x)) 1), (+ (sqrt (exp x)) -1), (+ (sqrt (exp x)) 1), (+ (sqrt (exp x)) -1), (+ (sqrt (exp x)) 1), (+ (sqrt (exp x)) -1), (expm1 x), -1, (real->posit16 (expm1 x)), (expm1 (/ (exp x) (expm1 x))), (log1p (/ (exp x) (expm1 x))), (- x (log (expm1 x))), (- x (log (expm1 x))), (exp (/ (exp x) (expm1 x))), (* (* (/ (exp x) (expm1 x)) (/ (exp x) (expm1 x))) (/ (exp x) (expm1 x))), (* (cbrt (/ (exp x) (expm1 x))) (cbrt (/ (exp x) (expm1 x)))), (cbrt (/ (exp x) (expm1 x))), (* (* (/ (exp x) (expm1 x)) (/ (exp x) (expm1 x))) (/ (exp x) (expm1 x))), (sqrt (/ (exp x) (expm1 x))), (sqrt (/ (exp x) (expm1 x))), (- (exp x)), (- (expm1 x)), (* (/ (cbrt (exp x)) (cbrt (expm1 x))) (/ (cbrt (exp x)) (cbrt (expm1 x)))), (/ (cbrt (exp x)) (cbrt (expm1 x))), (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (expm1 x))), (/ (cbrt (exp x)) (sqrt (expm1 x))), (* (cbrt (exp x)) (cbrt (exp x))), (/ (cbrt (exp x)) (expm1 x)), (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)), (/ (cbrt (exp x)) (+ (sqrt (exp x)) -1)), (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)), (/ (cbrt (exp x)) (+ (sqrt (exp x)) -1)), (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)), (/ (cbrt (exp x)) (+ (sqrt (exp x)) -1)), (* (cbrt (exp x)) (cbrt (exp x))), (/ (cbrt (exp x)) (expm1 x)), (/ (sqrt (exp x)) (* (cbrt (expm1 x)) (cbrt (expm1 x)))), (/ (sqrt (exp x)) (cbrt (expm1 x))), (/ (sqrt (exp x)) (sqrt (expm1 x))), (/ (sqrt (exp x)) (sqrt (expm1 x))), (sqrt (exp x)), (/ (sqrt (exp x)) (expm1 x)), (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)), (/ (sqrt (exp x)) (+ (sqrt (exp x)) -1)), (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)), (/ (sqrt (exp x)) (+ (sqrt (exp x)) -1)), (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)), (/ (sqrt (exp x)) (+ (sqrt (exp x)) -1)), (sqrt (exp x)), (/ (sqrt (exp x)) (expm1 x)), (/ 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))), (/ (exp x) (cbrt (expm1 x))), (/ 1 (sqrt (expm1 x))), (/ (exp x) (sqrt (expm1 x))), 1, (/ (exp x) (expm1 x)), (/ 1 (+ (sqrt (exp x)) 1)), (/ (exp x) (+ (sqrt (exp x)) -1)), (/ 1 (+ (sqrt (exp x)) 1)), (/ (exp x) (+ (sqrt (exp x)) -1)), (/ 1 (+ (sqrt (exp x)) 1)), (/ (exp x) (+ (sqrt (exp x)) -1)), 1, (/ (exp x) (expm1 x)), (/ 1 (expm1 x)), (- 1 (/ 1 (exp x))), (/ (exp x) (* (cbrt (expm1 x)) (cbrt (expm1 x)))), (/ (exp x) (sqrt (expm1 x))), (exp x), (/ (exp x) (+ (sqrt (exp x)) 1)), (/ (exp x) (+ (sqrt (exp x)) 1)), (/ (exp x) (+ (sqrt (exp x)) 1)), (exp x), (/ (expm1 x) (cbrt (exp x))), (- (sqrt (exp x)) (/ (sqrt (exp x)) (exp x))), (- 1 (/ 1 (exp x))), (/ (exp x) (expm1 (+ x (+ x x)))), (/ 1 (- (exp x) (/ 1 (exp x)))), (real->posit16 (/ (exp x) (expm1 x))), (+ x (* (fma 1/6 x 1/2) (* x x))), (expm1 x), (expm1 x), (fma x 1/12 (+ 1/2 (/ 1 x))), (/ (exp x) (expm1 x)), (/ (exp x) (expm1 x))
2.699 * * * [progress]: adding candidates to table
3.203 * * [progress]: iteration 2 / 4
3.203 * * * [progress]: picking best candidate
3.206 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (expm1 x)))>
3.206 * * * [progress]: localizing error
3.216 * * * [progress]: generating rewritten candidates
3.216 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.222 * * * [progress]: generating series expansions
3.222 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.223 * [backup-simplify]: Simplify (/ (exp x) (expm1 x)) into (/ (exp x) (expm1 x))
3.223 * [approximate]: Taking taylor expansion of (/ (exp x) (expm1 x)) in (x) around 0
3.223 * [taylor]: Taking taylor expansion of (/ (exp x) (expm1 x)) in x
3.223 * [taylor]: Taking taylor expansion of (exp x) in x
3.223 * [taylor]: Taking taylor expansion of x in x
3.223 * [backup-simplify]: Simplify 0 into 0
3.223 * [backup-simplify]: Simplify 1 into 1
3.223 * [backup-simplify]: Simplify (exp 0) into 1
3.223 * [taylor]: Taking taylor expansion of (expm1 x) in x
3.223 * [taylor]: Rewrote expression to (- (exp x) 1)
3.223 * [taylor]: Taking taylor expansion of (exp x) in x
3.223 * [taylor]: Taking taylor expansion of x in x
3.223 * [backup-simplify]: Simplify 0 into 0
3.223 * [backup-simplify]: Simplify 1 into 1
3.223 * [backup-simplify]: Simplify (exp 0) into 1
3.223 * [taylor]: Taking taylor expansion of 1 in x
3.223 * [backup-simplify]: Simplify 1 into 1
3.224 * [backup-simplify]: Simplify (- 1) into -1
3.224 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.225 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.226 * [backup-simplify]: Simplify (- 0) into 0
3.226 * [backup-simplify]: Simplify (+ 1 0) into 1
3.227 * [backup-simplify]: Simplify (/ 1 1) into 1
3.227 * [taylor]: Taking taylor expansion of (/ (exp x) (expm1 x)) in x
3.227 * [taylor]: Taking taylor expansion of (exp x) in x
3.227 * [taylor]: Taking taylor expansion of x in x
3.227 * [backup-simplify]: Simplify 0 into 0
3.227 * [backup-simplify]: Simplify 1 into 1
3.227 * [backup-simplify]: Simplify (exp 0) into 1
3.227 * [taylor]: Taking taylor expansion of (expm1 x) in x
3.227 * [taylor]: Rewrote expression to (- (exp x) 1)
3.227 * [taylor]: Taking taylor expansion of (exp x) in x
3.227 * [taylor]: Taking taylor expansion of x in x
3.227 * [backup-simplify]: Simplify 0 into 0
3.227 * [backup-simplify]: Simplify 1 into 1
3.227 * [backup-simplify]: Simplify (exp 0) into 1
3.227 * [taylor]: Taking taylor expansion of 1 in x
3.227 * [backup-simplify]: Simplify 1 into 1
3.227 * [backup-simplify]: Simplify (- 1) into -1
3.228 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.229 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.229 * [backup-simplify]: Simplify (- 0) into 0
3.230 * [backup-simplify]: Simplify (+ 1 0) into 1
3.230 * [backup-simplify]: Simplify (/ 1 1) into 1
3.230 * [backup-simplify]: Simplify 1 into 1
3.231 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.233 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.233 * [backup-simplify]: Simplify (- 0) into 0
3.234 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.235 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 1/2 1)))) into 1/2
3.235 * [backup-simplify]: Simplify 1/2 into 1/2
3.236 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.239 * [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.239 * [backup-simplify]: Simplify (- 0) into 0
3.240 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.241 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)))) into 1/12
3.241 * [backup-simplify]: Simplify 1/12 into 1/12
3.241 * [backup-simplify]: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
3.242 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (expm1 (/ 1 x))) into (/ (exp (/ 1 x)) (expm1 (/ 1 x)))
3.242 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (expm1 (/ 1 x))) in (x) around 0
3.242 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (expm1 (/ 1 x))) in x
3.242 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.242 * [taylor]: Taking taylor expansion of x in x
3.242 * [backup-simplify]: Simplify 0 into 0
3.242 * [backup-simplify]: Simplify 1 into 1
3.242 * [backup-simplify]: Simplify (/ 1 1) into 1
3.242 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.242 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x
3.242 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1)
3.242 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.242 * [taylor]: Taking taylor expansion of x in x
3.243 * [backup-simplify]: Simplify 0 into 0
3.243 * [backup-simplify]: Simplify 1 into 1
3.243 * [backup-simplify]: Simplify (/ 1 1) into 1
3.243 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.243 * [taylor]: Taking taylor expansion of 1 in x
3.243 * [backup-simplify]: Simplify 1 into 1
3.243 * [backup-simplify]: Simplify (- 1) into -1
3.244 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
3.244 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
3.244 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (expm1 (/ 1 x))) in x
3.244 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [backup-simplify]: Simplify 0 into 0
3.244 * [backup-simplify]: Simplify 1 into 1
3.244 * [backup-simplify]: Simplify (/ 1 1) into 1
3.244 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.244 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x
3.244 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1)
3.245 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.245 * [taylor]: Taking taylor expansion of x in x
3.245 * [backup-simplify]: Simplify 0 into 0
3.245 * [backup-simplify]: Simplify 1 into 1
3.245 * [backup-simplify]: Simplify (/ 1 1) into 1
3.245 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.245 * [taylor]: Taking taylor expansion of 1 in x
3.245 * [backup-simplify]: Simplify 1 into 1
3.246 * [backup-simplify]: Simplify (- 1) into -1
3.246 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
3.246 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
3.246 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
3.246 * [backup-simplify]: Simplify (- 0) into 0
3.247 * [backup-simplify]: Simplify (+ 0 0) into 0
3.247 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0
3.247 * [backup-simplify]: Simplify 0 into 0
3.248 * [backup-simplify]: Simplify (- 0) into 0
3.248 * [backup-simplify]: Simplify (+ 0 0) into 0
3.248 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
3.248 * [backup-simplify]: Simplify 0 into 0
3.249 * [backup-simplify]: Simplify (- 0) into 0
3.249 * [backup-simplify]: Simplify (+ 0 0) into 0
3.250 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
3.250 * [backup-simplify]: Simplify 0 into 0
3.251 * [backup-simplify]: Simplify (- 0) into 0
3.251 * [backup-simplify]: Simplify (+ 0 0) into 0
3.252 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
3.252 * [backup-simplify]: Simplify 0 into 0
3.252 * [backup-simplify]: Simplify (- 0) into 0
3.253 * [backup-simplify]: Simplify (+ 0 0) into 0
3.253 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
3.253 * [backup-simplify]: Simplify 0 into 0
3.254 * [backup-simplify]: Simplify (- 0) into 0
3.254 * [backup-simplify]: Simplify (+ 0 0) into 0
3.255 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0
3.255 * [backup-simplify]: Simplify 0 into 0
3.255 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 x))) (- (exp (/ 1 (/ 1 x))) 1)) into (/ (exp x) (- (exp x) 1))
3.255 * [backup-simplify]: Simplify (/ (exp (/ 1 (- x))) (expm1 (/ 1 (- x)))) into (/ (exp (/ -1 x)) (expm1 (/ -1 x)))
3.255 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (expm1 (/ -1 x))) in (x) around 0
3.255 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (expm1 (/ -1 x))) in x
3.255 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.255 * [taylor]: Taking taylor expansion of -1 in x
3.255 * [backup-simplify]: Simplify -1 into -1
3.255 * [taylor]: Taking taylor expansion of x in x
3.256 * [backup-simplify]: Simplify 0 into 0
3.256 * [backup-simplify]: Simplify 1 into 1
3.256 * [backup-simplify]: Simplify (/ -1 1) into -1
3.256 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.256 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x
3.256 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1)
3.256 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.256 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.256 * [taylor]: Taking taylor expansion of -1 in x
3.256 * [backup-simplify]: Simplify -1 into -1
3.256 * [taylor]: Taking taylor expansion of x in x
3.256 * [backup-simplify]: Simplify 0 into 0
3.256 * [backup-simplify]: Simplify 1 into 1
3.257 * [backup-simplify]: Simplify (/ -1 1) into -1
3.257 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.257 * [taylor]: Taking taylor expansion of 1 in x
3.257 * [backup-simplify]: Simplify 1 into 1
3.257 * [backup-simplify]: Simplify (- 1) into -1
3.257 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
3.258 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
3.258 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (expm1 (/ -1 x))) in x
3.258 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.258 * [taylor]: Taking taylor expansion of -1 in x
3.258 * [backup-simplify]: Simplify -1 into -1
3.258 * [taylor]: Taking taylor expansion of x in x
3.258 * [backup-simplify]: Simplify 0 into 0
3.258 * [backup-simplify]: Simplify 1 into 1
3.258 * [backup-simplify]: Simplify (/ -1 1) into -1
3.258 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.258 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x
3.258 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1)
3.259 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.259 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.259 * [taylor]: Taking taylor expansion of -1 in x
3.259 * [backup-simplify]: Simplify -1 into -1
3.259 * [taylor]: Taking taylor expansion of x in x
3.259 * [backup-simplify]: Simplify 0 into 0
3.259 * [backup-simplify]: Simplify 1 into 1
3.259 * [backup-simplify]: Simplify (/ -1 1) into -1
3.259 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.259 * [taylor]: Taking taylor expansion of 1 in x
3.259 * [backup-simplify]: Simplify 1 into 1
3.260 * [backup-simplify]: Simplify (- 1) into -1
3.260 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
3.260 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
3.260 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
3.261 * [backup-simplify]: Simplify (- 0) into 0
3.261 * [backup-simplify]: Simplify (+ 0 0) into 0
3.261 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0
3.261 * [backup-simplify]: Simplify 0 into 0
3.262 * [backup-simplify]: Simplify (- 0) into 0
3.262 * [backup-simplify]: Simplify (+ 0 0) into 0
3.263 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
3.263 * [backup-simplify]: Simplify 0 into 0
3.263 * [backup-simplify]: Simplify (- 0) into 0
3.264 * [backup-simplify]: Simplify (+ 0 0) into 0
3.264 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
3.265 * [backup-simplify]: Simplify 0 into 0
3.265 * [backup-simplify]: Simplify (- 0) into 0
3.265 * [backup-simplify]: Simplify (+ 0 0) into 0
3.266 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
3.266 * [backup-simplify]: Simplify 0 into 0
3.266 * [backup-simplify]: Simplify (- 0) into 0
3.267 * [backup-simplify]: Simplify (+ 0 0) into 0
3.268 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
3.268 * [backup-simplify]: Simplify 0 into 0
3.268 * [backup-simplify]: Simplify (- 0) into 0
3.269 * [backup-simplify]: Simplify (+ 0 0) into 0
3.269 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0
3.269 * [backup-simplify]: Simplify 0 into 0
3.270 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- x)))) (- (exp (/ -1 (/ 1 (- x)))) 1)) into (/ (exp x) (- (exp x) 1))
3.270 * * * [progress]: simplifying candidates
3.270 * * * * [progress]: [ 1 / 33 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ (exp x) (expm1 x)))))>
3.270 * * * * [progress]: [ 2 / 33 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ (exp x) (expm1 x)))))>
3.270 * * * * [progress]: [ 3 / 33 ] simplifiying candidate #<alt (λ (x) (pow (/ (exp x) (expm1 x)) 1))>
3.270 * * * * [progress]: [ 4 / 33 ] simplifiying candidate #<alt (λ (x) (exp (- x (log (expm1 x)))))>
3.270 * * * * [progress]: [ 5 / 33 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (exp x) (expm1 x)))))>
3.270 * * * * [progress]: [ 6 / 33 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (exp x) (expm1 x)))))>
3.270 * * * * [progress]: [ 7 / 33 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* (exp x) (exp x)) (exp x)) (* (* (expm1 x) (expm1 x)) (expm1 x)))))>
3.270 * * * * [progress]: [ 8 / 33 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (exp x) (expm1 x))) (cbrt (/ (exp x) (expm1 x)))) (cbrt (/ (exp x) (expm1 x)))))>
3.270 * * * * [progress]: [ 9 / 33 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (exp x) (expm1 x)) (/ (exp x) (expm1 x))) (/ (exp x) (expm1 x)))))>
3.270 * * * * [progress]: [ 10 / 33 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (exp x) (expm1 x))) (sqrt (/ (exp x) (expm1 x)))))>
3.270 * * * * [progress]: [ 11 / 33 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x)) (- (expm1 x))))>
3.270 * * * * [progress]: [ 12 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (cbrt (exp x)) (cbrt (expm1 x)))))>
3.270 * * * * [progress]: [ 13 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (expm1 x))) (/ (cbrt (exp x)) (sqrt (expm1 x)))))>
3.271 * * * * [progress]: [ 14 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (expm1 x))))>
3.271 * * * * [progress]: [ 15 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (sqrt (exp x)) (cbrt (expm1 x)))))>
3.271 * * * * [progress]: [ 16 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (sqrt (expm1 x))) (/ (sqrt (exp x)) (sqrt (expm1 x)))))>
3.271 * * * * [progress]: [ 17 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (expm1 x))))>
3.271 * * * * [progress]: [ 18 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (exp x) (cbrt (expm1 x)))))>
3.271 * * * * [progress]: [ 19 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (expm1 x))) (/ (exp x) (sqrt (expm1 x)))))>
3.271 * * * * [progress]: [ 20 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (exp x) (expm1 x))))>
3.271 * * * * [progress]: [ 21 / 33 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (exp x) (expm1 x))))>
3.271 * * * * [progress]: [ 22 / 33 ] simplifiying candidate #<alt (λ (x) (* (exp x) (/ 1 (expm1 x))))>
3.271 * * * * [progress]: [ 23 / 33 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (expm1 x) (exp x))))>
3.271 * * * * [progress]: [ 24 / 33 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
3.271 * * * * [progress]: [ 25 / 33 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (sqrt (expm1 x))) (sqrt (expm1 x))))>
3.271 * * * * [progress]: [ 26 / 33 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) 1) (expm1 x)))>
3.271 * * * * [progress]: [ 27 / 33 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (expm1 x) (cbrt (exp x)))))>
3.271 * * * * [progress]: [ 28 / 33 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (exp x)) (/ (expm1 x) (sqrt (exp x)))))>
3.271 * * * * [progress]: [ 29 / 33 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (expm1 x) (exp x))))>
3.272 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (/ (exp x) (expm1 x)))))>
3.272 * * * * [progress]: [ 31 / 33 ] simplifiying candidate #<alt (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2)))>
3.272 * * * * [progress]: [ 32 / 33 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
3.272 * * * * [progress]: [ 33 / 33 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
3.272 * [simplify]: Simplifying (expm1 (/ (exp x) (expm1 x))), (log1p (/ (exp x) (expm1 x))), (- x (log (expm1 x))), (log (/ (exp x) (expm1 x))), (exp (/ (exp x) (expm1 x))), (/ (* (* (exp x) (exp x)) (exp x)) (* (* (expm1 x) (expm1 x)) (expm1 x))), (* (cbrt (/ (exp x) (expm1 x))) (cbrt (/ (exp x) (expm1 x)))), (cbrt (/ (exp x) (expm1 x))), (* (* (/ (exp x) (expm1 x)) (/ (exp x) (expm1 x))) (/ (exp x) (expm1 x))), (sqrt (/ (exp x) (expm1 x))), (sqrt (/ (exp x) (expm1 x))), (- (exp x)), (- (expm1 x)), (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (expm1 x)) (cbrt (expm1 x)))), (/ (cbrt (exp x)) (cbrt (expm1 x))), (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (expm1 x))), (/ (cbrt (exp x)) (sqrt (expm1 x))), (/ (* (cbrt (exp x)) (cbrt (exp x))) 1), (/ (cbrt (exp x)) (expm1 x)), (/ (sqrt (exp x)) (* (cbrt (expm1 x)) (cbrt (expm1 x)))), (/ (sqrt (exp x)) (cbrt (expm1 x))), (/ (sqrt (exp x)) (sqrt (expm1 x))), (/ (sqrt (exp x)) (sqrt (expm1 x))), (/ (sqrt (exp x)) 1), (/ (sqrt (exp x)) (expm1 x)), (/ 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))), (/ (exp x) (cbrt (expm1 x))), (/ 1 (sqrt (expm1 x))), (/ (exp x) (sqrt (expm1 x))), (/ 1 1), (/ (exp x) (expm1 x)), (/ 1 (expm1 x)), (/ (expm1 x) (exp x)), (/ (exp x) (* (cbrt (expm1 x)) (cbrt (expm1 x)))), (/ (exp x) (sqrt (expm1 x))), (/ (exp x) 1), (/ (expm1 x) (cbrt (exp x))), (/ (expm1 x) (sqrt (exp x))), (/ (expm1 x) (exp x)), (real->posit16 (/ (exp x) (expm1 x))), (+ (* 1/12 x) (+ (/ 1 x) 1/2)), (/ (exp x) (- (exp x) 1)), (/ (exp x) (- (exp x) 1))
3.273 * * [simplify]: iteration 1: (60 enodes)
3.304 * * [simplify]: iteration 2: (223 enodes)
3.383 * * [simplify]: iteration 3: (426 enodes)
3.525 * * [simplify]: iteration 4: (711 enodes)
3.712 * * [simplify]: iteration 5: (1120 enodes)
4.199 * * [simplify]: Extracting #0: cost 35 inf + 0
4.199 * * [simplify]: Extracting #1: cost 181 inf + 1
4.202 * * [simplify]: Extracting #2: cost 360 inf + 1722
4.212 * * [simplify]: Extracting #3: cost 245 inf + 33218
4.237 * * [simplify]: Extracting #4: cost 51 inf + 93469
4.269 * * [simplify]: Extracting #5: cost 0 inf + 113802
4.288 * [simplify]: Simplified to (expm1 (/ (exp x) (expm1 x))), (log1p (/ (exp x) (expm1 x))), (- x (log (expm1 x))), (- x (log (expm1 x))), (exp (/ (exp x) (expm1 x))), (* (/ (exp x) (expm1 x)) (* (/ (exp x) (expm1 x)) (/ (exp x) (expm1 x)))), (* (cbrt (/ (exp x) (expm1 x))) (cbrt (/ (exp x) (expm1 x)))), (cbrt (/ (exp x) (expm1 x))), (* (/ (exp x) (expm1 x)) (* (/ (exp x) (expm1 x)) (/ (exp x) (expm1 x)))), (sqrt (/ (exp x) (expm1 x))), (sqrt (/ (exp x) (expm1 x))), (- (exp x)), (- (expm1 x)), (* (/ (cbrt (exp x)) (cbrt (expm1 x))) (/ (cbrt (exp x)) (cbrt (expm1 x)))), (/ (cbrt (exp x)) (cbrt (expm1 x))), (* (cbrt (exp x)) (/ (cbrt (exp x)) (sqrt (expm1 x)))), (/ (cbrt (exp x)) (sqrt (expm1 x))), (* (cbrt (exp x)) (cbrt (exp x))), (/ (cbrt (exp x)) (expm1 x)), (/ (sqrt (exp x)) (* (cbrt (expm1 x)) (cbrt (expm1 x)))), (/ (sqrt (exp x)) (cbrt (expm1 x))), (/ (sqrt (exp x)) (sqrt (expm1 x))), (/ (sqrt (exp x)) (sqrt (expm1 x))), (sqrt (exp x)), (/ (sqrt (exp x)) (expm1 x)), (/ 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))), (/ (exp x) (cbrt (expm1 x))), (/ 1 (sqrt (expm1 x))), (/ (exp x) (sqrt (expm1 x))), 1, (/ (exp x) (expm1 x)), (/ 1 (expm1 x)), (- 1 (/ 1 (exp x))), (/ (/ (exp x) (cbrt (expm1 x))) (cbrt (expm1 x))), (/ (exp x) (sqrt (expm1 x))), (exp x), (/ (expm1 x) (cbrt (exp x))), (/ (expm1 x) (sqrt (exp x))), (- 1 (/ 1 (exp x))), (real->posit16 (/ (exp x) (expm1 x))), (+ (fma 1/12 x 1/2) (/ 1 x)), (/ (exp x) (expm1 x)), (/ (exp x) (expm1 x))
4.289 * * * [progress]: adding candidates to table
4.510 * * [progress]: iteration 3 / 4
4.510 * * * [progress]: picking best candidate
4.512 * * * * [pick]: Picked  #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
4.512 * * * [progress]: localizing error
4.522 * * * [progress]: generating rewritten candidates
4.522 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
4.536 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
4.548 * * * [progress]: generating series expansions
4.548 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
4.549 * [backup-simplify]: Simplify (- 1 (/ 1 (exp x))) into (- 1 (/ 1 (exp x)))
4.549 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (exp x))) in (x) around 0
4.549 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp x))) in x
4.549 * [taylor]: Taking taylor expansion of 1 in x
4.549 * [backup-simplify]: Simplify 1 into 1
4.549 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.549 * [taylor]: Taking taylor expansion of (exp x) in x
4.549 * [taylor]: Taking taylor expansion of x in x
4.549 * [backup-simplify]: Simplify 0 into 0
4.549 * [backup-simplify]: Simplify 1 into 1
4.549 * [backup-simplify]: Simplify (exp 0) into 1
4.550 * [backup-simplify]: Simplify (/ 1 1) into 1
4.550 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp x))) in x
4.550 * [taylor]: Taking taylor expansion of 1 in x
4.550 * [backup-simplify]: Simplify 1 into 1
4.550 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.550 * [taylor]: Taking taylor expansion of (exp x) in x
4.550 * [taylor]: Taking taylor expansion of x in x
4.550 * [backup-simplify]: Simplify 0 into 0
4.550 * [backup-simplify]: Simplify 1 into 1
4.550 * [backup-simplify]: Simplify (exp 0) into 1
4.550 * [backup-simplify]: Simplify (/ 1 1) into 1
4.551 * [backup-simplify]: Simplify (- 1) into -1
4.551 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.551 * [backup-simplify]: Simplify 0 into 0
4.552 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.553 * [backup-simplify]: Simplify (- -1) into 1
4.554 * [backup-simplify]: Simplify (+ 0 1) into 1
4.554 * [backup-simplify]: Simplify 1 into 1
4.556 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
4.557 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.558 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
4.558 * [backup-simplify]: Simplify -1/2 into -1/2
4.560 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
4.563 * [backup-simplify]: Simplify (- -1/6) into 1/6
4.563 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6
4.563 * [backup-simplify]: Simplify 1/6 into 1/6
4.563 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/6 (pow x 3))) (* 1/2 (pow x 2)))
4.564 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ 1 x)))) into (- 1 (/ 1 (exp (/ 1 x))))
4.564 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (exp (/ 1 x)))) in (x) around 0
4.564 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ 1 x)))) in x
4.564 * [taylor]: Taking taylor expansion of 1 in x
4.564 * [backup-simplify]: Simplify 1 into 1
4.564 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.564 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.564 * [taylor]: Taking taylor expansion of x in x
4.564 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify 1 into 1
4.564 * [backup-simplify]: Simplify (/ 1 1) into 1
4.564 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.564 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.564 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ 1 x)))) in x
4.565 * [taylor]: Taking taylor expansion of 1 in x
4.565 * [backup-simplify]: Simplify 1 into 1
4.565 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.565 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.565 * [taylor]: Taking taylor expansion of x in x
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify 1 into 1
4.565 * [backup-simplify]: Simplify (/ 1 1) into 1
4.565 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.565 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.565 * [backup-simplify]: Simplify (- (/ 1 (exp (/ 1 x)))) into (- (/ 1 (exp (/ 1 x))))
4.565 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (exp (/ 1 x))))) into (- 1 (/ 1 (exp (/ 1 x))))
4.566 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ 1 x)))) into (- 1 (/ 1 (exp (/ 1 x))))
4.566 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.566 * [backup-simplify]: Simplify (- 0) into 0
4.566 * [backup-simplify]: Simplify (+ 0 0) into 0
4.566 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.567 * [backup-simplify]: Simplify (- 0) into 0
4.567 * [backup-simplify]: Simplify (+ 0 0) into 0
4.567 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.568 * [backup-simplify]: Simplify (- 0) into 0
4.568 * [backup-simplify]: Simplify (+ 0 0) into 0
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [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
4.568 * [backup-simplify]: Simplify (- 0) into 0
4.569 * [backup-simplify]: Simplify (+ 0 0) into 0
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [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
4.569 * [backup-simplify]: Simplify (- 0) into 0
4.569 * [backup-simplify]: Simplify (+ 0 0) into 0
4.569 * [backup-simplify]: Simplify 0 into 0
4.570 * [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
4.570 * [backup-simplify]: Simplify (- 0) into 0
4.570 * [backup-simplify]: Simplify (+ 0 0) into 0
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ 1 (/ 1 x))))) into (- 1 (/ 1 (exp x)))
4.570 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ 1 (- x))))) into (- 1 (/ 1 (exp (/ -1 x))))
4.570 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (exp (/ -1 x)))) in (x) around 0
4.571 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ -1 x)))) in x
4.571 * [taylor]: Taking taylor expansion of 1 in x
4.571 * [backup-simplify]: Simplify 1 into 1
4.571 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.571 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.571 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.571 * [taylor]: Taking taylor expansion of -1 in x
4.571 * [backup-simplify]: Simplify -1 into -1
4.571 * [taylor]: Taking taylor expansion of x in x
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify 1 into 1
4.571 * [backup-simplify]: Simplify (/ -1 1) into -1
4.571 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.571 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
4.571 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ -1 x)))) in x
4.571 * [taylor]: Taking taylor expansion of 1 in x
4.571 * [backup-simplify]: Simplify 1 into 1
4.571 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.571 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.571 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.571 * [taylor]: Taking taylor expansion of -1 in x
4.571 * [backup-simplify]: Simplify -1 into -1
4.571 * [taylor]: Taking taylor expansion of x in x
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify 1 into 1
4.572 * [backup-simplify]: Simplify (/ -1 1) into -1
4.572 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.572 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
4.572 * [backup-simplify]: Simplify (- (/ 1 (exp (/ -1 x)))) into (- (/ 1 (exp (/ -1 x))))
4.572 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (exp (/ -1 x))))) into (- 1 (/ 1 (exp (/ -1 x))))
4.572 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ -1 x)))) into (- 1 (/ 1 (exp (/ -1 x))))
4.572 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.572 * [backup-simplify]: Simplify (- 0) into 0
4.572 * [backup-simplify]: Simplify (+ 0 0) into 0
4.573 * [backup-simplify]: Simplify 0 into 0
4.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.573 * [backup-simplify]: Simplify (- 0) into 0
4.573 * [backup-simplify]: Simplify (+ 0 0) into 0
4.573 * [backup-simplify]: Simplify 0 into 0
4.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.574 * [backup-simplify]: Simplify (- 0) into 0
4.574 * [backup-simplify]: Simplify (+ 0 0) into 0
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [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
4.574 * [backup-simplify]: Simplify (- 0) into 0
4.575 * [backup-simplify]: Simplify (+ 0 0) into 0
4.575 * [backup-simplify]: Simplify 0 into 0
4.575 * [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
4.575 * [backup-simplify]: Simplify (- 0) into 0
4.575 * [backup-simplify]: Simplify (+ 0 0) into 0
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [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
4.576 * [backup-simplify]: Simplify (- 0) into 0
4.576 * [backup-simplify]: Simplify (+ 0 0) into 0
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ -1 (/ 1 (- x)))))) into (- 1 (/ 1 (exp x)))
4.576 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
4.577 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
4.577 * [approximate]: Taking taylor expansion of (/ 1 (exp x)) in (x) around 0
4.577 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.577 * [taylor]: Taking taylor expansion of (exp x) in x
4.577 * [taylor]: Taking taylor expansion of x in x
4.577 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify 1 into 1
4.577 * [backup-simplify]: Simplify (exp 0) into 1
4.577 * [backup-simplify]: Simplify (/ 1 1) into 1
4.577 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.577 * [taylor]: Taking taylor expansion of (exp x) in x
4.577 * [taylor]: Taking taylor expansion of x in x
4.577 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify 1 into 1
4.577 * [backup-simplify]: Simplify (exp 0) into 1
4.577 * [backup-simplify]: Simplify (/ 1 1) into 1
4.577 * [backup-simplify]: Simplify 1 into 1
4.578 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.578 * [backup-simplify]: Simplify -1 into -1
4.579 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
4.580 * [backup-simplify]: Simplify 1/2 into 1/2
4.580 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x)
4.580 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.580 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in (x) around 0
4.580 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.580 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.580 * [taylor]: Taking taylor expansion of x in x
4.580 * [backup-simplify]: Simplify 0 into 0
4.581 * [backup-simplify]: Simplify 1 into 1
4.581 * [backup-simplify]: Simplify (/ 1 1) into 1
4.581 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.581 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.581 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.581 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.581 * [taylor]: Taking taylor expansion of x in x
4.581 * [backup-simplify]: Simplify 0 into 0
4.581 * [backup-simplify]: Simplify 1 into 1
4.581 * [backup-simplify]: Simplify (/ 1 1) into 1
4.581 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.581 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.581 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.582 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.582 * [backup-simplify]: Simplify 0 into 0
4.582 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.582 * [backup-simplify]: Simplify 0 into 0
4.582 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.582 * [backup-simplify]: Simplify 0 into 0
4.582 * [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
4.582 * [backup-simplify]: Simplify 0 into 0
4.583 * [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
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [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
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (/ 1 x)))) into (/ 1 (exp x))
4.583 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (- x)))) into (/ 1 (exp (/ -1 x)))
4.583 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in (x) around 0
4.583 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.583 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.583 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.583 * [taylor]: Taking taylor expansion of -1 in x
4.583 * [backup-simplify]: Simplify -1 into -1
4.583 * [taylor]: Taking taylor expansion of x in x
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify 1 into 1
4.584 * [backup-simplify]: Simplify (/ -1 1) into -1
4.584 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.584 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
4.584 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.584 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.584 * [taylor]: Taking taylor expansion of -1 in x
4.584 * [backup-simplify]: Simplify -1 into -1
4.584 * [taylor]: Taking taylor expansion of x in x
4.584 * [backup-simplify]: Simplify 0 into 0
4.584 * [backup-simplify]: Simplify 1 into 1
4.584 * [backup-simplify]: Simplify (/ -1 1) into -1
4.584 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.584 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
4.585 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
4.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.585 * [backup-simplify]: Simplify 0 into 0
4.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.585 * [backup-simplify]: Simplify 0 into 0
4.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.585 * [backup-simplify]: Simplify 0 into 0
4.585 * [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
4.585 * [backup-simplify]: Simplify 0 into 0
4.586 * [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
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [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
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 (/ 1 (- x))))) into (/ 1 (exp x))
4.586 * * * [progress]: simplifying candidates
4.586 * * * * [progress]: [ 1 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))))) (fma (- (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))))))))>
4.586 * * * * [progress]: [ 2 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))) (fma (- (sqrt (/ 1 (exp x)))) (sqrt (/ 1 (exp x))) (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x))))))))>
4.586 * * * * [progress]: [ 3 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))))) (fma (- (/ (cbrt 1) (cbrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))))))))>
4.586 * * * * [progress]: [ 4 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))))) (fma (- (/ (cbrt 1) (sqrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))))))))>
4.586 * * * * [progress]: [ 5 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1)))) (fma (- (/ (cbrt 1) (exp x))) (/ (* (cbrt 1) (cbrt 1)) 1) (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1))))))>
4.586 * * * * [progress]: [ 6 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))))) (fma (- (/ (sqrt 1) (cbrt (exp x)))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))))))))>
4.586 * * * * [progress]: [ 7 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))) (fma (- (/ (sqrt 1) (sqrt (exp x)))) (/ (sqrt 1) (sqrt (exp x))) (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x))))))))>
4.586 * * * * [progress]: [ 8 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1)))) (fma (- (/ (sqrt 1) (exp x))) (/ (sqrt 1) 1) (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1))))))>
4.586 * * * * [progress]: [ 9 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))))) (fma (- (/ 1 (cbrt (exp x)))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))))))))>
4.586 * * * * [progress]: [ 10 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))) (fma (- (/ 1 (sqrt (exp x)))) (/ 1 (sqrt (exp x))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))))))>
4.586 * * * * [progress]: [ 11 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (exp x)) (/ 1 1)))) (fma (- (/ 1 (exp x))) (/ 1 1) (* (/ 1 (exp x)) (/ 1 1))))))>
4.587 * * * * [progress]: [ 12 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
4.587 * * * * [progress]: [ 13 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
4.587 * * * * [progress]: [ 14 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))))) (fma (- (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))))))))>
4.587 * * * * [progress]: [ 15 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))) (fma (- (sqrt (/ 1 (exp x)))) (sqrt (/ 1 (exp x))) (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x))))))))>
4.587 * * * * [progress]: [ 16 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))))) (fma (- (/ (cbrt 1) (cbrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))))))))>
4.587 * * * * [progress]: [ 17 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))))) (fma (- (/ (cbrt 1) (sqrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))))))))>
4.587 * * * * [progress]: [ 18 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1)))) (fma (- (/ (cbrt 1) (exp x))) (/ (* (cbrt 1) (cbrt 1)) 1) (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1))))))>
4.587 * * * * [progress]: [ 19 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))))) (fma (- (/ (sqrt 1) (cbrt (exp x)))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))))))))>
4.587 * * * * [progress]: [ 20 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))) (fma (- (/ (sqrt 1) (sqrt (exp x)))) (/ (sqrt 1) (sqrt (exp x))) (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x))))))))>
4.587 * * * * [progress]: [ 21 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1)))) (fma (- (/ (sqrt 1) (exp x))) (/ (sqrt 1) 1) (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1))))))>
4.587 * * * * [progress]: [ 22 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))))) (fma (- (/ 1 (cbrt (exp x)))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))))))))>
4.587 * * * * [progress]: [ 23 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))) (fma (- (/ 1 (sqrt (exp x)))) (/ 1 (sqrt (exp x))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))))))>
4.587 * * * * [progress]: [ 24 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp x)) (/ 1 1)))) (fma (- (/ 1 (exp x))) (/ 1 1) (* (/ 1 (exp x)) (/ 1 1))))))>
4.587 * * * * [progress]: [ 25 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
4.587 * * * * [progress]: [ 26 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
4.587 * * * * [progress]: [ 27 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))))) (fma (- (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))))))))>
4.587 * * * * [progress]: [ 28 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))) (fma (- (sqrt (/ 1 (exp x)))) (sqrt (/ 1 (exp x))) (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x))))))))>
4.587 * * * * [progress]: [ 29 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))))) (fma (- (/ (cbrt 1) (cbrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))))))))>
4.587 * * * * [progress]: [ 30 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))))) (fma (- (/ (cbrt 1) (sqrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))))))))>
4.587 * * * * [progress]: [ 31 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1)))) (fma (- (/ (cbrt 1) (exp x))) (/ (* (cbrt 1) (cbrt 1)) 1) (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1))))))>
4.587 * * * * [progress]: [ 32 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))))) (fma (- (/ (sqrt 1) (cbrt (exp x)))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))))))))>
4.587 * * * * [progress]: [ 33 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))) (fma (- (/ (sqrt 1) (sqrt (exp x)))) (/ (sqrt 1) (sqrt (exp x))) (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x))))))))>
4.587 * * * * [progress]: [ 34 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1)))) (fma (- (/ (sqrt 1) (exp x))) (/ (sqrt 1) 1) (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1))))))>
4.587 * * * * [progress]: [ 35 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))))) (fma (- (/ 1 (cbrt (exp x)))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))))))))>
4.587 * * * * [progress]: [ 36 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))) (fma (- (/ 1 (sqrt (exp x)))) (/ 1 (sqrt (exp x))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))))))>
4.588 * * * * [progress]: [ 37 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ 1 (exp x)) (/ 1 1)))) (fma (- (/ 1 (exp x))) (/ 1 1) (* (/ 1 (exp x)) (/ 1 1))))))>
4.588 * * * * [progress]: [ 38 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
4.588 * * * * [progress]: [ 39 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
4.588 * * * * [progress]: [ 40 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (log1p (expm1 (- 1 (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 41 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (expm1 (log1p (- 1 (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 42 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (/ 1 (exp x))))))>
4.588 * * * * [progress]: [ 43 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (fma (sqrt 1) (sqrt 1) (- (/ 1 (exp x))))))>
4.588 * * * * [progress]: [ 44 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (fma 1 1 (- (/ 1 (exp x))))))>
4.588 * * * * [progress]: [ 45 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (log (/ (exp 1) (exp (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 46 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (pow (- 1 (/ 1 (exp x))) 1)))>
4.588 * * * * [progress]: [ 47 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (exp (log (- 1 (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 48 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (log (exp (- 1 (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 49 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x))))) (cbrt (- 1 (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 50 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (cbrt (* (* (- 1 (/ 1 (exp x))) (- 1 (/ 1 (exp x)))) (- 1 (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 51 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (sqrt (- 1 (/ 1 (exp x)))) (sqrt (- 1 (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 52 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- (pow 1 3) (pow (/ 1 (exp x)) 3)) (+ (* 1 1) (+ (* (/ 1 (exp x)) (/ 1 (exp x))) (* 1 (/ 1 (exp x))))))))>
4.588 * * * * [progress]: [ 53 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ 1 (- (/ 1 (exp x))))))>
4.588 * * * * [progress]: [ 54 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* 1 (- 1 (/ 1 (exp x))))))>
4.588 * * * * [progress]: [ 55 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- (* 1 1) (* (/ 1 (exp x)) (/ 1 (exp x)))) (+ 1 (/ 1 (exp x))))))>
4.588 * * * * [progress]: [ 56 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ (sqrt 1) (sqrt (/ 1 (exp x)))) (- (sqrt 1) (sqrt (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 57 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x)))) (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x)))))))>
4.588 * * * * [progress]: [ 58 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ (sqrt 1) (/ 1 (sqrt (exp x)))) (- (sqrt 1) (/ 1 (sqrt (exp x)))))))>
4.588 * * * * [progress]: [ 59 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ 1 (sqrt (/ 1 (exp x)))) (- 1 (sqrt (/ 1 (exp x)))))))>
4.588 * * * * [progress]: [ 60 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ 1 (/ (sqrt 1) (sqrt (exp x)))) (- 1 (/ (sqrt 1) (sqrt (exp x)))))))>
4.588 * * * * [progress]: [ 61 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ 1 (/ 1 (sqrt (exp x)))) (- 1 (/ 1 (sqrt (exp x)))))))>
4.588 * * * * [progress]: [ 62 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* 1 (- 1 (/ 1 (exp x))))))>
4.588 * * * * [progress]: [ 63 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (* 1 (- 1 (/ 1 (exp x))))))>
4.588 * * * * [progress]: [ 64 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ 1 (- (/ 1 (exp x))))))>
4.588 * * * * [progress]: [ 65 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (posit16->real (real->posit16 (- 1 (/ 1 (exp x)))))))>
4.589 * * * * [progress]: [ 66 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (log1p (expm1 (/ 1 (exp x)))))))>
4.589 * * * * [progress]: [ 67 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (expm1 (log1p (/ 1 (exp x)))))))>
4.589 * * * * [progress]: [ 68 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp x) -1))))>
4.589 * * * * [progress]: [ 69 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp x) (- 1)))))>
4.589 * * * * [progress]: [ 70 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp (* (cbrt x) (cbrt x))) (- (cbrt x))))))>
4.589 * * * * [progress]: [ 71 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp (sqrt x)) (- (sqrt x))))))>
4.589 * * * * [progress]: [ 72 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp 1) (- x)))))>
4.589 * * * * [progress]: [ 73 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (/ 1 (exp x)) 1))))>
4.589 * * * * [progress]: [ 74 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (exp (- x)))))>
4.589 * * * * [progress]: [ 75 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (exp (- 0 x)))))>
4.589 * * * * [progress]: [ 76 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (exp (- (log 1) x)))))>
4.589 * * * * [progress]: [ 77 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (exp (log (/ 1 (exp x)))))))>
4.589 * * * * [progress]: [ 78 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (log (exp (/ 1 (exp x)))))))>
4.589 * * * * [progress]: [ 79 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (cbrt (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))))))>
4.589 * * * * [progress]: [ 80 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (cbrt (/ 1 (exp x)))))))>
4.589 * * * * [progress]: [ 81 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (cbrt (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))))))>
4.589 * * * * [progress]: [ 82 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))))>
4.589 * * * * [progress]: [ 83 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (- 1) (- (exp x))))))>
4.589 * * * * [progress]: [ 84 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1) (cbrt (exp x)))))))>
4.589 * * * * [progress]: [ 85 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (/ (cbrt 1) (sqrt (exp x)))))))>
4.589 * * * * [progress]: [ 86 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (exp x))))))>
4.589 * * * * [progress]: [ 87 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1) (cbrt (exp x)))))))>
4.589 * * * * [progress]: [ 88 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))))>
4.589 * * * * [progress]: [ 89 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (sqrt 1) 1) (/ (sqrt 1) (exp x))))))>
4.589 * * * * [progress]: [ 90 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x)))))))>
4.589 * * * * [progress]: [ 91 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))))>
4.589 * * * * [progress]: [ 92 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ 1 1) (/ 1 (exp x))))))>
4.589 * * * * [progress]: [ 93 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* 1 (/ 1 (exp x))))))>
4.589 * * * * [progress]: [ 94 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* 1 (/ 1 (exp x))))))>
4.589 * * * * [progress]: [ 95 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (/ (exp x) 1)))))>
4.589 * * * * [progress]: [ 96 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))))>
4.590 * * * * [progress]: [ 97 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (/ 1 (sqrt (exp x))) (sqrt (exp x))))))>
4.590 * * * * [progress]: [ 98 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (/ 1 1) (exp x)))))>
4.590 * * * * [progress]: [ 99 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (* (cbrt 1) (cbrt 1)) (/ (exp x) (cbrt 1))))))>
4.590 * * * * [progress]: [ 100 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (sqrt 1) (/ (exp x) (sqrt 1))))))>
4.590 * * * * [progress]: [ 101 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (/ (exp x) 1)))))>
4.590 * * * * [progress]: [ 102 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (posit16->real (real->posit16 (/ 1 (exp x)))))))>
4.590 * * * * [progress]: [ 103 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- (+ x (* 1/6 (pow x 3))) (* 1/2 (pow x 2)))))>
4.590 * * * * [progress]: [ 104 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
4.590 * * * * [progress]: [ 105 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
4.590 * * * * [progress]: [ 106 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (- (+ (* 1/2 (pow x 2)) 1) x))))>
4.590 * * * * [progress]: [ 107 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
4.590 * * * * [progress]: [ 108 / 108 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
4.591 * [simplify]: Simplifying (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))))), (fma (- (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))), (fma (- (sqrt (/ 1 (exp x)))) (sqrt (/ 1 (exp x))) (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x))))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))))), (fma (- (/ (cbrt 1) (cbrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))))), (fma (- (/ (cbrt 1) (sqrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1)))), (fma (- (/ (cbrt 1) (exp x))) (/ (* (cbrt 1) (cbrt 1)) 1) (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))))), (fma (- (/ (sqrt 1) (cbrt (exp x)))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))), (fma (- (/ (sqrt 1) (sqrt (exp x)))) (/ (sqrt 1) (sqrt (exp x))) (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x))))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1)))), (fma (- (/ (sqrt 1) (exp x))) (/ (sqrt 1) 1) (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))))), (fma (- (/ 1 (cbrt (exp x)))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))), (fma (- (/ 1 (sqrt (exp x)))) (/ 1 (sqrt (exp x))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (exp x)) (/ 1 1)))), (fma (- (/ 1 (exp x))) (/ 1 1) (* (/ 1 (exp x)) (/ 1 1))), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (exp x)) 1))), (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)), (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (exp x)) 1))), (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)), (fma (sqrt 1) (sqrt 1) (- (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))))), (fma (- (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))))), (fma (sqrt 1) (sqrt 1) (- (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))), (fma (- (sqrt (/ 1 (exp x)))) (sqrt (/ 1 (exp x))) (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x))))), (fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))))), (fma (- (/ (cbrt 1) (cbrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))))), (fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))))), (fma (- (/ (cbrt 1) (sqrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))))), (fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1)))), (fma (- (/ (cbrt 1) (exp x))) (/ (* (cbrt 1) (cbrt 1)) 1) (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1))), (fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))))), (fma (- (/ (sqrt 1) (cbrt (exp x)))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))))), (fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))), (fma (- (/ (sqrt 1) (sqrt (exp x)))) (/ (sqrt 1) (sqrt (exp x))) (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x))))), (fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1)))), (fma (- (/ (sqrt 1) (exp x))) (/ (sqrt 1) 1) (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1))), (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))))), (fma (- (/ 1 (cbrt (exp x)))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))))), (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))), (fma (- (/ 1 (sqrt (exp x)))) (/ 1 (sqrt (exp x))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp x)) (/ 1 1)))), (fma (- (/ 1 (exp x))) (/ 1 1) (* (/ 1 (exp x)) (/ 1 1))), (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp x)) 1))), (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)), (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp x)) 1))), (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)), (fma 1 1 (- (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))))), (fma (- (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (* (cbrt (/ 1 (exp x))) (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))))), (fma 1 1 (- (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))), (fma (- (sqrt (/ 1 (exp x)))) (sqrt (/ 1 (exp x))) (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x))))), (fma 1 1 (- (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))))), (fma (- (/ (cbrt 1) (cbrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (cbrt 1) (cbrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))))), (fma 1 1 (- (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))))), (fma (- (/ (cbrt 1) (sqrt (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (* (/ (cbrt 1) (sqrt (exp x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))))), (fma 1 1 (- (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1)))), (fma (- (/ (cbrt 1) (exp x))) (/ (* (cbrt 1) (cbrt 1)) 1) (* (/ (cbrt 1) (exp x)) (/ (* (cbrt 1) (cbrt 1)) 1))), (fma 1 1 (- (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))))), (fma (- (/ (sqrt 1) (cbrt (exp x)))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ (sqrt 1) (cbrt (exp x))) (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))))), (fma 1 1 (- (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))), (fma (- (/ (sqrt 1) (sqrt (exp x)))) (/ (sqrt 1) (sqrt (exp x))) (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x))))), (fma 1 1 (- (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1)))), (fma (- (/ (sqrt 1) (exp x))) (/ (sqrt 1) 1) (* (/ (sqrt 1) (exp x)) (/ (sqrt 1) 1))), (fma 1 1 (- (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))))), (fma (- (/ 1 (cbrt (exp x)))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (* (/ 1 (cbrt (exp x))) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))))), (fma 1 1 (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))), (fma (- (/ 1 (sqrt (exp x)))) (/ 1 (sqrt (exp x))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (fma 1 1 (- (* (/ 1 (exp x)) (/ 1 1)))), (fma (- (/ 1 (exp x))) (/ 1 1) (* (/ 1 (exp x)) (/ 1 1))), (fma 1 1 (- (* (/ 1 (exp x)) 1))), (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)), (fma 1 1 (- (* (/ 1 (exp x)) 1))), (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)), (expm1 (- 1 (/ 1 (exp x)))), (log1p (- 1 (/ 1 (exp x)))), (- (/ 1 (exp x))), (- (/ 1 (exp x))), (- (/ 1 (exp x))), (/ (exp 1) (exp (/ 1 (exp x)))), (log (- 1 (/ 1 (exp x)))), (exp (- 1 (/ 1 (exp x)))), (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x))))), (cbrt (- 1 (/ 1 (exp x)))), (* (* (- 1 (/ 1 (exp x))) (- 1 (/ 1 (exp x)))) (- 1 (/ 1 (exp x)))), (sqrt (- 1 (/ 1 (exp x)))), (sqrt (- 1 (/ 1 (exp x)))), (- (pow 1 3) (pow (/ 1 (exp x)) 3)), (+ (* 1 1) (+ (* (/ 1 (exp x)) (/ 1 (exp x))) (* 1 (/ 1 (exp x))))), (- (/ 1 (exp x))), (- (* 1 1) (* (/ 1 (exp x)) (/ 1 (exp x)))), (+ 1 (/ 1 (exp x))), (+ (sqrt 1) (sqrt (/ 1 (exp x)))), (- (sqrt 1) (sqrt (/ 1 (exp x)))), (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x)))), (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x)))), (+ (sqrt 1) (/ 1 (sqrt (exp x)))), (- (sqrt 1) (/ 1 (sqrt (exp x)))), (+ 1 (sqrt (/ 1 (exp x)))), (- 1 (sqrt (/ 1 (exp x)))), (+ 1 (/ (sqrt 1) (sqrt (exp x)))), (- 1 (/ (sqrt 1) (sqrt (exp x)))), (+ 1 (/ 1 (sqrt (exp x)))), (- 1 (/ 1 (sqrt (exp x)))), (- 1 (/ 1 (exp x))), (- 1 (/ 1 (exp x))), (- (/ 1 (exp x))), (real->posit16 (- 1 (/ 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))), (- (+ x (* 1/6 (pow x 3))) (* 1/2 (pow x 2))), (- 1 (/ 1 (exp x))), (- 1 (/ 1 (exp x))), (- (+ (* 1/2 (pow x 2)) 1) x), (/ 1 (exp x)), (/ 1 (exp x))
4.593 * * [simplify]: iteration 1: (182 enodes)
5.176 * * [simplify]: iteration 2: (716 enodes)
5.361 * * [simplify]: iteration 3: (1086 enodes)
5.720 * * [simplify]: iteration 4: (1966 enodes)
7.363 * * [simplify]: Extracting #0: cost 41 inf + 0
7.366 * * [simplify]: Extracting #1: cost 342 inf + 3
7.372 * * [simplify]: Extracting #2: cost 769 inf + 2611
7.393 * * [simplify]: Extracting #3: cost 607 inf + 53737
7.467 * * [simplify]: Extracting #4: cost 136 inf + 211607
7.555 * * [simplify]: Extracting #5: cost 0 inf + 267026
7.629 * [simplify]: Simplified to (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (- 1 (exp (- x))), 0, (expm1 (- 1 (exp (- x)))), (log1p (- 1 (exp (- x)))), (/ -1 (exp x)), (/ -1 (exp x)), (/ -1 (exp x)), (/ E (exp (exp (- x)))), (log1p (/ -1 (exp x))), (/ E (exp (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 (/ 1 (* (exp x) (* (exp x) (exp x))))), (fma (+ (exp (- x)) 1) (exp (- x)) 1), (/ -1 (exp x)), (- 1 (* (exp (- x)) (exp (- x)))), (+ (exp (- x)) 1), (+ (sqrt (exp (- x))) 1), (- 1 (sqrt (exp (- x)))), (+ (/ 1 (sqrt (exp x))) 1), (- 1 (/ 1 (sqrt (exp x)))), (+ (/ 1 (sqrt (exp x))) 1), (- 1 (/ 1 (sqrt (exp x)))), (+ (sqrt (exp (- x))) 1), (- 1 (sqrt (exp (- x)))), (+ (/ 1 (sqrt (exp x))) 1), (- 1 (/ 1 (sqrt (exp x)))), (+ (/ 1 (sqrt (exp x))) 1), (- 1 (/ 1 (sqrt (exp x)))), (- 1 (exp (- x))), (- 1 (exp (- x))), (/ -1 (exp x)), (real->posit16 (- 1 (exp (- x)))), (expm1 (exp (- x))), (log1p (exp (- x))), -1, (- (cbrt x)), (- (sqrt x)), (- x), (- x), (- x), (- x), (- x), (exp (exp (- x))), (exp (- (- x) (+ x x))), (* (cbrt (exp (- x))) (cbrt (exp (- x)))), (cbrt (exp (- x))), (exp (- (- x) (+ x x))), (sqrt (exp (- x))), (sqrt (exp (- x))), -1, (- (exp x)), (* (/ 1 (cbrt (exp x))) (/ 1 (cbrt (exp x)))), (/ 1 (cbrt (exp x))), (/ 1 (sqrt (exp x))), (/ 1 (sqrt (exp x))), 1, (exp (- x)), (* (/ 1 (cbrt (exp x))) (/ 1 (cbrt (exp x)))), (/ 1 (cbrt (exp x))), (/ 1 (sqrt (exp x))), (/ 1 (sqrt (exp x))), 1, (exp (- x)), (* (/ 1 (cbrt (exp x))) (/ 1 (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))) (/ 1 (cbrt (exp x)))), (/ 1 (sqrt (exp x))), 1, (exp x), (exp x), (exp x), (real->posit16 (exp (- x))), (fma (* x x) (fma x 1/6 -1/2) x), (- 1 (exp (- x))), (- 1 (exp (- x))), (fma (* x x) 1/2 (- 1 x)), (exp (- x)), (exp (- x))
7.646 * * * [progress]: adding candidates to table
8.503 * [progress]: [Phase 3 of 3] Extracting.
8.503 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))> #<alt (λ (x) (/ (exp x) (expm1 x)))>)
8.503 * * * [regime-changes]: Trying 2 branch expressions: (x (exp x))
8.503 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))> #<alt (λ (x) (/ (exp x) (expm1 x)))>)
8.519 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))> #<alt (λ (x) (/ (exp x) (expm1 x)))>)
8.549 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.549 * [simplify]: Simplifying (/ (exp x) (expm1 x))
8.549 * * [simplify]: iteration 1: (4 enodes)
8.549 * * [simplify]: Extracting #0: cost 1 inf + 0
8.550 * * [simplify]: Extracting #1: cost 3 inf + 0
8.550 * * [simplify]: Extracting #2: cost 4 inf + 0
8.550 * * [simplify]: Extracting #3: cost 3 inf + 1
8.550 * * [simplify]: Extracting #4: cost 0 inf + 324
8.550 * [simplify]: Simplified to (/ (exp x) (expm1 x))
12.385 * [regime-testing]: Baseline error score: 0.44020610823816264
12.387 * [regime-testing]: Oracle error score: 0.013022868483740756
12.392 * [regime-testing]: End program error score: 0.44020610823816264
12.430 * [regime-testing]: Target error score: 39.446370185252995