0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.106 * * * [progress]: [2/2] Setting up program.
0.110 * [progress]: [Phase 2 of 3] Improving.
0.110 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.110 * [simplify]: Simplifying (/ (exp x) (- (exp x) 1))
0.110 * * [simplify]: iteration 1: (5 enodes)
0.125 * * [simplify]: iteration 2: (21 enodes)
0.129 * * [simplify]: iteration 3: (25 enodes)
0.133 * * [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.138 * [simplify]: Simplified to (/ (exp x) (expm1 x))
0.140 * * [progress]: iteration 1 / 4
0.140 * * * [progress]: picking best candidate
0.142 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.142 * * * [progress]: localizing error
0.149 * * * [progress]: generating rewritten candidates
0.149 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.159 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.174 * * * [progress]: generating series expansions
0.174 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.174 * [backup-simplify]: Simplify (- (exp x) 1) into (- (exp x) 1)
0.174 * [approximate]: Taking taylor expansion of (- (exp x) 1) in (x) around 0
0.174 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x
0.174 * [taylor]: Taking taylor expansion of (exp x) in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 1 into 1
0.174 * [backup-simplify]: Simplify (exp 0) into 1
0.174 * [taylor]: Taking taylor expansion of 1 in x
0.174 * [backup-simplify]: Simplify 1 into 1
0.174 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x
0.174 * [taylor]: Taking taylor expansion of (exp x) in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 1 into 1
0.174 * [backup-simplify]: Simplify (exp 0) into 1
0.174 * [taylor]: Taking taylor expansion of 1 in x
0.174 * [backup-simplify]: Simplify 1 into 1
0.175 * [backup-simplify]: Simplify (- 1) into -1
0.175 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.175 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.176 * [backup-simplify]: Simplify (- 0) into 0
0.177 * [backup-simplify]: Simplify (+ 1 0) into 1
0.177 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.178 * [backup-simplify]: Simplify (- 0) into 0
0.178 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.178 * [backup-simplify]: Simplify 1/2 into 1/2
0.180 * [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.180 * [backup-simplify]: Simplify (- 0) into 0
0.180 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.180 * [backup-simplify]: Simplify 1/6 into 1/6
0.180 * [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.181 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
0.181 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0
0.181 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
0.181 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.181 * [taylor]: Taking taylor expansion of x in x
0.181 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify 1 into 1
0.181 * [backup-simplify]: Simplify (/ 1 1) into 1
0.181 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.181 * [taylor]: Taking taylor expansion of 1 in x
0.181 * [backup-simplify]: Simplify 1 into 1
0.181 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x
0.181 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.181 * [taylor]: Taking taylor expansion of x in x
0.181 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify 1 into 1
0.181 * [backup-simplify]: Simplify (/ 1 1) into 1
0.181 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.181 * [taylor]: Taking taylor expansion of 1 in x
0.181 * [backup-simplify]: Simplify 1 into 1
0.182 * [backup-simplify]: Simplify (- 1) into -1
0.182 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
0.182 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
0.182 * [backup-simplify]: Simplify (- 0) into 0
0.182 * [backup-simplify]: Simplify (+ 0 0) into 0
0.182 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify (- 0) into 0
0.183 * [backup-simplify]: Simplify (+ 0 0) into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify (- 0) into 0
0.183 * [backup-simplify]: Simplify (+ 0 0) into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (- 0) into 0
0.184 * [backup-simplify]: Simplify (+ 0 0) into 0
0.184 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (- 0) into 0
0.184 * [backup-simplify]: Simplify (+ 0 0) into 0
0.184 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify (- 0) into 0
0.185 * [backup-simplify]: Simplify (+ 0 0) into 0
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1)
0.185 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1)
0.185 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0
0.185 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
0.185 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.185 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.185 * [taylor]: Taking taylor expansion of -1 in x
0.185 * [backup-simplify]: Simplify -1 into -1
0.185 * [taylor]: Taking taylor expansion of x in x
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (/ -1 1) into -1
0.186 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.186 * [taylor]: Taking taylor expansion of 1 in x
0.186 * [backup-simplify]: Simplify 1 into 1
0.186 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
0.186 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.186 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.186 * [taylor]: Taking taylor expansion of -1 in x
0.186 * [backup-simplify]: Simplify -1 into -1
0.186 * [taylor]: Taking taylor expansion of x in x
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (/ -1 1) into -1
0.186 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.187 * [taylor]: Taking taylor expansion of 1 in x
0.187 * [backup-simplify]: Simplify 1 into 1
0.187 * [backup-simplify]: Simplify (- 1) into -1
0.187 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
0.187 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1)
0.187 * [backup-simplify]: Simplify (- 0) into 0
0.188 * [backup-simplify]: Simplify (+ 0 0) into 0
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify (- 0) into 0
0.189 * [backup-simplify]: Simplify (+ 0 0) into 0
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify (- 0) into 0
0.189 * [backup-simplify]: Simplify (+ 0 0) into 0
0.189 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify (- 0) into 0
0.190 * [backup-simplify]: Simplify (+ 0 0) into 0
0.190 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify (- 0) into 0
0.191 * [backup-simplify]: Simplify (+ 0 0) into 0
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify (- 0) into 0
0.192 * [backup-simplify]: Simplify (+ 0 0) into 0
0.192 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1)
0.192 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.192 * [backup-simplify]: Simplify (/ (exp x) (- (exp x) 1)) into (/ (exp x) (- (exp x) 1))
0.192 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in (x) around 0
0.192 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x
0.192 * [taylor]: Taking taylor expansion of (exp x) in x
0.192 * [taylor]: Taking taylor expansion of x in x
0.192 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify 1 into 1
0.192 * [backup-simplify]: Simplify (exp 0) into 1
0.192 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x
0.192 * [taylor]: Taking taylor expansion of (exp x) in x
0.192 * [taylor]: Taking taylor expansion of x in x
0.192 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify 1 into 1
0.193 * [backup-simplify]: Simplify (exp 0) into 1
0.193 * [taylor]: Taking taylor expansion of 1 in x
0.193 * [backup-simplify]: Simplify 1 into 1
0.193 * [backup-simplify]: Simplify (- 1) into -1
0.193 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.194 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.195 * [backup-simplify]: Simplify (- 0) into 0
0.195 * [backup-simplify]: Simplify (+ 1 0) into 1
0.195 * [backup-simplify]: Simplify (/ 1 1) into 1
0.195 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1)) in x
0.196 * [taylor]: Taking taylor expansion of (exp x) in x
0.196 * [taylor]: Taking taylor expansion of x in x
0.196 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify 1 into 1
0.196 * [backup-simplify]: Simplify (exp 0) into 1
0.196 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x
0.196 * [taylor]: Taking taylor expansion of (exp x) in x
0.196 * [taylor]: Taking taylor expansion of x in x
0.196 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify 1 into 1
0.196 * [backup-simplify]: Simplify (exp 0) into 1
0.196 * [taylor]: Taking taylor expansion of 1 in x
0.196 * [backup-simplify]: Simplify 1 into 1
0.196 * [backup-simplify]: Simplify (- 1) into -1
0.197 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.198 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.198 * [backup-simplify]: Simplify (- 0) into 0
0.198 * [backup-simplify]: Simplify (+ 1 0) into 1
0.199 * [backup-simplify]: Simplify (/ 1 1) into 1
0.199 * [backup-simplify]: Simplify 1 into 1
0.200 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.201 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.202 * [backup-simplify]: Simplify (- 0) into 0
0.202 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.203 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 1/2 1)))) into 1/2
0.203 * [backup-simplify]: Simplify 1/2 into 1/2
0.211 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.215 * [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.215 * [backup-simplify]: Simplify (- 0) into 0
0.216 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.217 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)))) into 1/12
0.217 * [backup-simplify]: Simplify 1/12 into 1/12
0.217 * [backup-simplify]: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
0.217 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
0.218 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in (x) around 0
0.218 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) in x
0.218 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify 1 into 1
0.218 * [backup-simplify]: Simplify (/ 1 1) into 1
0.219 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
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.219 * [backup-simplify]: Simplify 0 into 0
0.219 * [backup-simplify]: Simplify 1 into 1
0.219 * [backup-simplify]: Simplify (/ 1 1) into 1
0.219 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.219 * [taylor]: Taking taylor expansion of 1 in x
0.219 * [backup-simplify]: Simplify 1 into 1
0.220 * [backup-simplify]: Simplify (- 1) into -1
0.220 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
0.220 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
0.220 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (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.220 * [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 (- (exp (/ 1 x)) 1) in x
0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.221 * [backup-simplify]: Simplify 0 into 0
0.221 * [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.222 * [backup-simplify]: Simplify (- 1) into -1
0.222 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
0.222 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
0.222 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
0.223 * [backup-simplify]: Simplify (- 0) into 0
0.223 * [backup-simplify]: Simplify (+ 0 0) into 0
0.223 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0
0.223 * [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 (- (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.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.226 * [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.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify (- 0) into 0
0.226 * [backup-simplify]: Simplify (+ 0 0) into 0
0.227 * [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.227 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify (- 0) into 0
0.228 * [backup-simplify]: Simplify (+ 0 0) into 0
0.229 * [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.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.230 * [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.230 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 x))) (- (exp (/ 1 (/ 1 x))) 1)) into (/ (exp x) (- (exp x) 1))
0.230 * [backup-simplify]: Simplify (/ (exp (/ 1 (- x))) (- (exp (/ 1 (- x))) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
0.231 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in (x) around 0
0.231 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x
0.231 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.231 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.231 * [taylor]: Taking taylor expansion of -1 in x
0.231 * [backup-simplify]: Simplify -1 into -1
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 (/ -1 1) into -1
0.231 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.231 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
0.231 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.231 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.231 * [taylor]: Taking taylor expansion of -1 in x
0.231 * [backup-simplify]: Simplify -1 into -1
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.232 * [backup-simplify]: Simplify (/ -1 1) into -1
0.232 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.232 * [taylor]: Taking taylor expansion of 1 in x
0.232 * [backup-simplify]: Simplify 1 into 1
0.233 * [backup-simplify]: Simplify (- 1) into -1
0.233 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
0.233 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
0.233 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) in x
0.233 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.233 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.233 * [taylor]: Taking taylor expansion of -1 in x
0.233 * [backup-simplify]: Simplify -1 into -1
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 (/ -1 1) into -1
0.234 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.234 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x
0.234 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.234 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.234 * [taylor]: Taking taylor expansion of -1 in x
0.234 * [backup-simplify]: Simplify -1 into -1
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 1 into 1
0.234 * [backup-simplify]: Simplify (/ -1 1) into -1
0.234 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.234 * [taylor]: Taking taylor expansion of 1 in x
0.234 * [backup-simplify]: Simplify 1 into 1
0.235 * [backup-simplify]: Simplify (- 1) into -1
0.235 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
0.235 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
0.235 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
0.235 * [backup-simplify]: Simplify (- 0) into 0
0.236 * [backup-simplify]: Simplify (+ 0 0) into 0
0.236 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0
0.236 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify (- 0) into 0
0.237 * [backup-simplify]: Simplify (+ 0 0) into 0
0.237 * [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.237 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify (- 0) into 0
0.238 * [backup-simplify]: Simplify (+ 0 0) into 0
0.239 * [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.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify (- 0) into 0
0.239 * [backup-simplify]: Simplify (+ 0 0) into 0
0.240 * [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.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify (- 0) into 0
0.241 * [backup-simplify]: Simplify (+ 0 0) into 0
0.241 * [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.241 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify (- 0) into 0
0.242 * [backup-simplify]: Simplify (+ 0 0) into 0
0.243 * [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.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- x)))) (- (exp (/ -1 (/ 1 (- x)))) 1)) into (/ (exp x) (- (exp x) 1))
0.243 * * * [progress]: simplifying candidates
0.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.244 * * * * [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.244 * * * * [progress]: [ 6 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)))))>
0.244 * * * * [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.244 * * * * [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.244 * * * * [progress]: [ 9 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (fma 1 (exp x) (- (* 1 1))) (fma (- 1) 1 (* 1 1)))))>
0.244 * * * * [progress]: [ 10 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (log1p (expm1 (- (exp x) 1)))))>
0.244 * * * * [progress]: [ 11 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (expm1 (log1p (- (exp x) 1)))))>
0.244 * * * * [progress]: [ 12 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (expm1 x)))>
0.244 * * * * [progress]: [ 13 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- 1))))>
0.244 * * * * [progress]: [ 14 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1))))>
0.244 * * * * [progress]: [ 15 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (fma 1 (exp x) (- 1))))>
0.244 * * * * [progress]: [ 16 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (log (/ (exp (exp x)) (exp 1)))))>
0.244 * * * * [progress]: [ 17 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (pow (- (exp x) 1) 1)))>
0.244 * * * * [progress]: [ 18 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (exp (log (- (exp x) 1)))))>
0.244 * * * * [progress]: [ 19 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (log (exp (- (exp x) 1)))))>
0.244 * * * * [progress]: [ 20 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) (cbrt (- (exp x) 1)))))>
0.245 * * * * [progress]: [ 21 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (cbrt (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)))))>
0.245 * * * * [progress]: [ 22 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (sqrt (- (exp x) 1)) (sqrt (- (exp x) 1)))))>
0.245 * * * * [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.245 * * * * [progress]: [ 24 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (exp x) (- 1))))>
0.245 * * * * [progress]: [ 25 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* 1 (- (exp x) 1))))>
0.245 * * * * [progress]: [ 26 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (/ (- (* (exp x) (exp x)) (* 1 1)) (+ (exp x) 1))))>
0.245 * * * * [progress]: [ 27 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) (sqrt 1)) (- (sqrt (exp x)) (sqrt 1)))))>
0.245 * * * * [progress]: [ 28 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) 1) (- (sqrt (exp x)) 1))))>
0.245 * * * * [progress]: [ 29 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) 1) (- (sqrt (exp x)) 1))))>
0.245 * * * * [progress]: [ 30 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (* 1 (- (exp x) 1))))>
0.245 * * * * [progress]: [ 31 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ (exp x) (- 1))))>
0.245 * * * * [progress]: [ 32 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (posit16->real (real->posit16 (- (exp x) 1)))))>
0.245 * * * * [progress]: [ 33 / 86 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ (exp x) (- (exp x) 1)))))>
0.245 * * * * [progress]: [ 34 / 86 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ (exp x) (- (exp x) 1)))))>
0.245 * * * * [progress]: [ 35 / 86 ] simplifiying candidate #<alt (λ (x) (pow (/ (exp x) (- (exp x) 1)) 1))>
0.245 * * * * [progress]: [ 36 / 86 ] simplifiying candidate #<alt (λ (x) (exp (- x (log (- (exp x) 1)))))>
0.245 * * * * [progress]: [ 37 / 86 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (exp x) (- (exp x) 1)))))>
0.245 * * * * [progress]: [ 38 / 86 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (exp x) (- (exp x) 1)))))>
0.245 * * * * [progress]: [ 39 / 86 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)))))>
0.245 * * * * [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.246 * * * * [progress]: [ 41 / 86 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (exp x) (- (exp x) 1)) (/ (exp x) (- (exp x) 1))) (/ (exp x) (- (exp x) 1)))))>
0.246 * * * * [progress]: [ 42 / 86 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (exp x) (- (exp x) 1))) (sqrt (/ (exp x) (- (exp x) 1)))))>
0.246 * * * * [progress]: [ 43 / 86 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x)) (- (- (exp x) 1))))>
0.246 * * * * [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.246 * * * * [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.246 * * * * [progress]: [ 46 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (exp x) 1))))>
0.246 * * * * [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.246 * * * * [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.246 * * * * [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.246 * * * * [progress]: [ 50 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (exp x) 1))))>
0.246 * * * * [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.246 * * * * [progress]: [ 52 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (sqrt (- (exp x) 1))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1)))))>
0.246 * * * * [progress]: [ 53 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (exp x) 1))))>
0.246 * * * * [progress]: [ 54 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1)))))>
0.246 * * * * [progress]: [ 55 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) (/ (sqrt (exp x)) (- (sqrt (exp x)) 1))))>
0.246 * * * * [progress]: [ 56 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)) (/ (sqrt (exp x)) (- (sqrt (exp x)) 1))))>
0.246 * * * * [progress]: [ 57 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (exp x) 1))))>
0.246 * * * * [progress]: [ 58 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (/ (exp x) (cbrt (- (exp x) 1)))))>
0.246 * * * * [progress]: [ 59 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (- (exp x) 1))) (/ (exp x) (sqrt (- (exp x) 1)))))>
0.246 * * * * [progress]: [ 60 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (exp x) (- (exp x) 1))))>
0.246 * * * * [progress]: [ 61 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (sqrt (exp x)) (sqrt 1))) (/ (exp x) (- (sqrt (exp x)) (sqrt 1)))))>
0.246 * * * * [progress]: [ 62 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (- (sqrt (exp x)) 1))))>
0.246 * * * * [progress]: [ 63 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (sqrt (exp x)) 1)) (/ (exp x) (- (sqrt (exp x)) 1))))>
0.246 * * * * [progress]: [ 64 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (exp x) (- (exp x) 1))))>
0.246 * * * * [progress]: [ 65 / 86 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (exp x) (- (exp x) 1))))>
0.246 * * * * [progress]: [ 66 / 86 ] simplifiying candidate #<alt (λ (x) (* (exp x) (/ 1 (- (exp x) 1))))>
0.246 * * * * [progress]: [ 67 / 86 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- (exp x) 1) (exp x))))>
0.247 * * * * [progress]: [ 68 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (cbrt (- (exp x) 1))))>
0.247 * * * * [progress]: [ 69 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (sqrt (- (exp x) 1))) (sqrt (- (exp x) 1))))>
0.247 * * * * [progress]: [ 70 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) 1) (- (exp x) 1)))>
0.247 * * * * [progress]: [ 71 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) (sqrt 1))) (- (sqrt (exp x)) (sqrt 1))))>
0.247 * * * * [progress]: [ 72 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) 1)) (- (sqrt (exp x)) 1)))>
0.247 * * * * [progress]: [ 73 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (+ (sqrt (exp x)) 1)) (- (sqrt (exp x)) 1)))>
0.247 * * * * [progress]: [ 74 / 86 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) 1) (- (exp x) 1)))>
0.247 * * * * [progress]: [ 75 / 86 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (- (exp x) 1) (cbrt (exp x)))))>
0.247 * * * * [progress]: [ 76 / 86 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (exp x)) (/ (- (exp x) 1) (sqrt (exp x)))))>
0.247 * * * * [progress]: [ 77 / 86 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- (exp x) 1) (exp x))))>
0.247 * * * * [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.247 * * * * [progress]: [ 79 / 86 ] simplifiying candidate #<alt (λ (x) (* (/ (exp x) (- (* (exp x) (exp x)) (* 1 1))) (+ (exp x) 1)))>
0.247 * * * * [progress]: [ 80 / 86 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (/ (exp x) (- (exp x) 1)))))>
0.247 * * * * [progress]: [ 81 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))))>
0.247 * * * * [progress]: [ 82 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.247 * * * * [progress]: [ 83 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.247 * * * * [progress]: [ 84 / 86 ] simplifiying candidate #<alt (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2)))>
0.247 * * * * [progress]: [ 85 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.247 * * * * [progress]: [ 86 / 86 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
0.248 * [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.249 * * [simplify]: iteration 1: (126 enodes)
0.319 * * [simplify]: iteration 2: (464 enodes)
0.465 * * [simplify]: iteration 3: (820 enodes)
0.712 * * [simplify]: iteration 4: (1660 enodes)
2.213 * * [simplify]: Extracting #0: cost 63 inf + 0
2.216 * * [simplify]: Extracting #1: cost 520 inf + 4
2.226 * * [simplify]: Extracting #2: cost 1048 inf + 13401
2.266 * * [simplify]: Extracting #3: cost 594 inf + 151949
2.334 * * [simplify]: Extracting #4: cost 97 inf + 293877
2.402 * * [simplify]: Extracting #5: cost 1 inf + 334615
2.471 * * [simplify]: Extracting #6: cost 0 inf + 335078
2.529 * [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) (exp x)) 1), -1, (expm1 (+ x x)), (+ 1 (exp x)), (+ (sqrt (exp x)) 1), (+ -1 (sqrt (exp x))), (+ (sqrt (exp x)) 1), (+ -1 (sqrt (exp x))), (+ (sqrt (exp x)) 1), (+ -1 (sqrt (exp x))), (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)) (+ -1 (sqrt (exp x)))), (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)), (/ (cbrt (exp x)) (+ -1 (sqrt (exp x)))), (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1)), (/ (cbrt (exp x)) (+ -1 (sqrt (exp 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)), (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)), (/ (sqrt (exp x)) (+ -1 (sqrt (exp x)))), (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)), (/ (sqrt (exp x)) (+ -1 (sqrt (exp x)))), (/ (sqrt (exp x)) (+ (sqrt (exp x)) 1)), (/ (sqrt (exp x)) (+ -1 (sqrt (exp 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 (+ (sqrt (exp x)) 1)), (/ (exp x) (+ -1 (sqrt (exp x)))), (/ 1 (+ (sqrt (exp x)) 1)), (/ (exp x) (+ -1 (sqrt (exp x)))), (/ 1 (+ (sqrt (exp x)) 1)), (/ (exp x) (+ -1 (sqrt (exp 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), (/ (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)))), (/ (exp x) (expm1 (+ x x))), (real->posit16 (/ (exp x) (expm1 x))), (+ x (* (* x x) (fma 1/6 x 1/2))), (expm1 x), (expm1 x), (fma x 1/12 (+ 1/2 (/ 1 x))), (/ (exp x) (expm1 x)), (/ (exp x) (expm1 x))
2.533 * * * [progress]: adding candidates to table
3.104 * * [progress]: iteration 2 / 4
3.104 * * * [progress]: picking best candidate
3.110 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (expm1 x)))>
3.111 * * * [progress]: localizing error
3.125 * * * [progress]: generating rewritten candidates
3.125 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.137 * * * [progress]: generating series expansions
3.138 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.138 * [backup-simplify]: Simplify (/ (exp x) (expm1 x)) into (/ (exp x) (expm1 x))
3.138 * [approximate]: Taking taylor expansion of (/ (exp x) (expm1 x)) in (x) around 0
3.138 * [taylor]: Taking taylor expansion of (/ (exp x) (expm1 x)) in x
3.138 * [taylor]: Taking taylor expansion of (exp x) in x
3.138 * [taylor]: Taking taylor expansion of x in x
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 1 into 1
3.138 * [backup-simplify]: Simplify (exp 0) into 1
3.138 * [taylor]: Taking taylor expansion of (expm1 x) in x
3.138 * [taylor]: Rewrote expression to (- (exp x) 1)
3.138 * [taylor]: Taking taylor expansion of (exp x) in x
3.138 * [taylor]: Taking taylor expansion of x in x
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 1 into 1
3.138 * [backup-simplify]: Simplify (exp 0) into 1
3.138 * [taylor]: Taking taylor expansion of 1 in x
3.138 * [backup-simplify]: Simplify 1 into 1
3.139 * [backup-simplify]: Simplify (- 1) into -1
3.139 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.140 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.141 * [backup-simplify]: Simplify (- 0) into 0
3.141 * [backup-simplify]: Simplify (+ 1 0) into 1
3.142 * [backup-simplify]: Simplify (/ 1 1) into 1
3.142 * [taylor]: Taking taylor expansion of (/ (exp x) (expm1 x)) in x
3.142 * [taylor]: Taking taylor expansion of (exp x) in x
3.142 * [taylor]: Taking taylor expansion of x in x
3.142 * [backup-simplify]: Simplify 0 into 0
3.142 * [backup-simplify]: Simplify 1 into 1
3.142 * [backup-simplify]: Simplify (exp 0) into 1
3.142 * [taylor]: Taking taylor expansion of (expm1 x) in x
3.142 * [taylor]: Rewrote expression to (- (exp x) 1)
3.142 * [taylor]: Taking taylor expansion of (exp x) in x
3.142 * [taylor]: Taking taylor expansion of x in x
3.142 * [backup-simplify]: Simplify 0 into 0
3.142 * [backup-simplify]: Simplify 1 into 1
3.142 * [backup-simplify]: Simplify (exp 0) into 1
3.142 * [taylor]: Taking taylor expansion of 1 in x
3.142 * [backup-simplify]: Simplify 1 into 1
3.142 * [backup-simplify]: Simplify (- 1) into -1
3.143 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.144 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.144 * [backup-simplify]: Simplify (- 0) into 0
3.145 * [backup-simplify]: Simplify (+ 1 0) into 1
3.145 * [backup-simplify]: Simplify (/ 1 1) into 1
3.145 * [backup-simplify]: Simplify 1 into 1
3.146 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.148 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.148 * [backup-simplify]: Simplify (- 0) into 0
3.149 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.150 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 1/2 1)))) into 1/2
3.150 * [backup-simplify]: Simplify 1/2 into 1/2
3.151 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.154 * [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.154 * [backup-simplify]: Simplify (- 0) into 0
3.154 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.156 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)))) into 1/12
3.156 * [backup-simplify]: Simplify 1/12 into 1/12
3.156 * [backup-simplify]: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
3.156 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (expm1 (/ 1 x))) into (/ (exp (/ 1 x)) (expm1 (/ 1 x)))
3.156 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (expm1 (/ 1 x))) in (x) around 0
3.156 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (expm1 (/ 1 x))) in x
3.156 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.156 * [taylor]: Taking taylor expansion of x in x
3.156 * [backup-simplify]: Simplify 0 into 0
3.156 * [backup-simplify]: Simplify 1 into 1
3.157 * [backup-simplify]: Simplify (/ 1 1) into 1
3.157 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.157 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x
3.157 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1)
3.157 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.157 * [taylor]: Taking taylor expansion of x in x
3.157 * [backup-simplify]: Simplify 0 into 0
3.157 * [backup-simplify]: Simplify 1 into 1
3.157 * [backup-simplify]: Simplify (/ 1 1) into 1
3.157 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.157 * [taylor]: Taking taylor expansion of 1 in x
3.157 * [backup-simplify]: Simplify 1 into 1
3.158 * [backup-simplify]: Simplify (- 1) into -1
3.158 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
3.158 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
3.158 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (expm1 (/ 1 x))) in x
3.158 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.158 * [taylor]: Taking taylor expansion of x in x
3.158 * [backup-simplify]: Simplify 0 into 0
3.158 * [backup-simplify]: Simplify 1 into 1
3.159 * [backup-simplify]: Simplify (/ 1 1) into 1
3.159 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.159 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x
3.159 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1)
3.159 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.159 * [taylor]: Taking taylor expansion of x in x
3.159 * [backup-simplify]: Simplify 0 into 0
3.159 * [backup-simplify]: Simplify 1 into 1
3.159 * [backup-simplify]: Simplify (/ 1 1) into 1
3.160 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.160 * [taylor]: Taking taylor expansion of 1 in x
3.160 * [backup-simplify]: Simplify 1 into 1
3.160 * [backup-simplify]: Simplify (- 1) into -1
3.160 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
3.160 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
3.160 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
3.161 * [backup-simplify]: Simplify (- 0) into 0
3.161 * [backup-simplify]: Simplify (+ 0 0) into 0
3.162 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify (- 0) into 0
3.162 * [backup-simplify]: Simplify (+ 0 0) into 0
3.163 * [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.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify (- 0) into 0
3.168 * [backup-simplify]: Simplify (+ 0 0) into 0
3.169 * [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.169 * [backup-simplify]: Simplify 0 into 0
3.170 * [backup-simplify]: Simplify (- 0) into 0
3.170 * [backup-simplify]: Simplify (+ 0 0) into 0
3.171 * [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.171 * [backup-simplify]: Simplify 0 into 0
3.171 * [backup-simplify]: Simplify (- 0) into 0
3.172 * [backup-simplify]: Simplify (+ 0 0) into 0
3.172 * [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.172 * [backup-simplify]: Simplify 0 into 0
3.173 * [backup-simplify]: Simplify (- 0) into 0
3.173 * [backup-simplify]: Simplify (+ 0 0) into 0
3.174 * [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.174 * [backup-simplify]: Simplify 0 into 0
3.174 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 x))) (- (exp (/ 1 (/ 1 x))) 1)) into (/ (exp x) (- (exp x) 1))
3.175 * [backup-simplify]: Simplify (/ (exp (/ 1 (- x))) (expm1 (/ 1 (- x)))) into (/ (exp (/ -1 x)) (expm1 (/ -1 x)))
3.175 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (expm1 (/ -1 x))) in (x) around 0
3.175 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (expm1 (/ -1 x))) in x
3.175 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.175 * [taylor]: Taking taylor expansion of -1 in x
3.175 * [backup-simplify]: Simplify -1 into -1
3.175 * [taylor]: Taking taylor expansion of x in x
3.175 * [backup-simplify]: Simplify 0 into 0
3.175 * [backup-simplify]: Simplify 1 into 1
3.175 * [backup-simplify]: Simplify (/ -1 1) into -1
3.175 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.175 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x
3.176 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1)
3.176 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.176 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.176 * [taylor]: Taking taylor expansion of -1 in x
3.176 * [backup-simplify]: Simplify -1 into -1
3.176 * [taylor]: Taking taylor expansion of x in x
3.176 * [backup-simplify]: Simplify 0 into 0
3.176 * [backup-simplify]: Simplify 1 into 1
3.176 * [backup-simplify]: Simplify (/ -1 1) into -1
3.176 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.176 * [taylor]: Taking taylor expansion of 1 in x
3.176 * [backup-simplify]: Simplify 1 into 1
3.177 * [backup-simplify]: Simplify (- 1) into -1
3.177 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
3.177 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
3.177 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (expm1 (/ -1 x))) in x
3.177 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.177 * [taylor]: Taking taylor expansion of -1 in x
3.177 * [backup-simplify]: Simplify -1 into -1
3.177 * [taylor]: Taking taylor expansion of x in x
3.177 * [backup-simplify]: Simplify 0 into 0
3.177 * [backup-simplify]: Simplify 1 into 1
3.178 * [backup-simplify]: Simplify (/ -1 1) into -1
3.178 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.178 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x
3.178 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1)
3.178 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.178 * [taylor]: Taking taylor expansion of -1 in x
3.178 * [backup-simplify]: Simplify -1 into -1
3.178 * [taylor]: Taking taylor expansion of x in x
3.178 * [backup-simplify]: Simplify 0 into 0
3.178 * [backup-simplify]: Simplify 1 into 1
3.179 * [backup-simplify]: Simplify (/ -1 1) into -1
3.179 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.179 * [taylor]: Taking taylor expansion of 1 in x
3.179 * [backup-simplify]: Simplify 1 into 1
3.180 * [backup-simplify]: Simplify (- 1) into -1
3.180 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
3.180 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
3.180 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1))
3.180 * [backup-simplify]: Simplify (- 0) into 0
3.181 * [backup-simplify]: Simplify (+ 0 0) into 0
3.181 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0
3.181 * [backup-simplify]: Simplify 0 into 0
3.182 * [backup-simplify]: Simplify (- 0) into 0
3.182 * [backup-simplify]: Simplify (+ 0 0) into 0
3.183 * [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.183 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify (- 0) into 0
3.183 * [backup-simplify]: Simplify (+ 0 0) into 0
3.184 * [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.184 * [backup-simplify]: Simplify 0 into 0
3.184 * [backup-simplify]: Simplify (- 0) into 0
3.185 * [backup-simplify]: Simplify (+ 0 0) into 0
3.185 * [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.185 * [backup-simplify]: Simplify 0 into 0
3.186 * [backup-simplify]: Simplify (- 0) into 0
3.186 * [backup-simplify]: Simplify (+ 0 0) into 0
3.187 * [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.187 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify (- 0) into 0
3.188 * [backup-simplify]: Simplify (+ 0 0) into 0
3.188 * [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.188 * [backup-simplify]: Simplify 0 into 0
3.189 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- x)))) (- (exp (/ -1 (/ 1 (- x)))) 1)) into (/ (exp x) (- (exp x) 1))
3.189 * * * [progress]: simplifying candidates
3.189 * * * * [progress]: [ 1 / 33 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ (exp x) (expm1 x)))))>
3.189 * * * * [progress]: [ 2 / 33 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ (exp x) (expm1 x)))))>
3.189 * * * * [progress]: [ 3 / 33 ] simplifiying candidate #<alt (λ (x) (pow (/ (exp x) (expm1 x)) 1))>
3.189 * * * * [progress]: [ 4 / 33 ] simplifiying candidate #<alt (λ (x) (exp (- x (log (expm1 x)))))>
3.189 * * * * [progress]: [ 5 / 33 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (exp x) (expm1 x)))))>
3.189 * * * * [progress]: [ 6 / 33 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (exp x) (expm1 x)))))>
3.189 * * * * [progress]: [ 7 / 33 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* (exp x) (exp x)) (exp x)) (* (* (expm1 x) (expm1 x)) (expm1 x)))))>
3.189 * * * * [progress]: [ 8 / 33 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (exp x) (expm1 x))) (cbrt (/ (exp x) (expm1 x)))) (cbrt (/ (exp x) (expm1 x)))))>
3.189 * * * * [progress]: [ 9 / 33 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (exp x) (expm1 x)) (/ (exp x) (expm1 x))) (/ (exp x) (expm1 x)))))>
3.189 * * * * [progress]: [ 10 / 33 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (exp x) (expm1 x))) (sqrt (/ (exp x) (expm1 x)))))>
3.189 * * * * [progress]: [ 11 / 33 ] simplifiying candidate #<alt (λ (x) (/ (- (exp x)) (- (expm1 x))))>
3.189 * * * * [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.189 * * * * [progress]: [ 13 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (expm1 x))) (/ (cbrt (exp x)) (sqrt (expm1 x)))))>
3.190 * * * * [progress]: [ 14 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (expm1 x))))>
3.190 * * * * [progress]: [ 15 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (sqrt (exp x)) (cbrt (expm1 x)))))>
3.190 * * * * [progress]: [ 16 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) (sqrt (expm1 x))) (/ (sqrt (exp x)) (sqrt (expm1 x)))))>
3.190 * * * * [progress]: [ 17 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (expm1 x))))>
3.190 * * * * [progress]: [ 18 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (exp x) (cbrt (expm1 x)))))>
3.190 * * * * [progress]: [ 19 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (expm1 x))) (/ (exp x) (sqrt (expm1 x)))))>
3.190 * * * * [progress]: [ 20 / 33 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (exp x) (expm1 x))))>
3.190 * * * * [progress]: [ 21 / 33 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (exp x) (expm1 x))))>
3.190 * * * * [progress]: [ 22 / 33 ] simplifiying candidate #<alt (λ (x) (* (exp x) (/ 1 (expm1 x))))>
3.190 * * * * [progress]: [ 23 / 33 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (expm1 x) (exp x))))>
3.190 * * * * [progress]: [ 24 / 33 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (cbrt (expm1 x))))>
3.190 * * * * [progress]: [ 25 / 33 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) (sqrt (expm1 x))) (sqrt (expm1 x))))>
3.190 * * * * [progress]: [ 26 / 33 ] simplifiying candidate #<alt (λ (x) (/ (/ (exp x) 1) (expm1 x)))>
3.190 * * * * [progress]: [ 27 / 33 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (expm1 x) (cbrt (exp x)))))>
3.190 * * * * [progress]: [ 28 / 33 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (exp x)) (/ (expm1 x) (sqrt (exp x)))))>
3.190 * * * * [progress]: [ 29 / 33 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (expm1 x) (exp x))))>
3.190 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (/ (exp x) (expm1 x)))))>
3.190 * * * * [progress]: [ 31 / 33 ] simplifiying candidate #<alt (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2)))>
3.191 * * * * [progress]: [ 32 / 33 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
3.191 * * * * [progress]: [ 33 / 33 ] simplifiying candidate #<alt (λ (x) (/ (exp x) (- (exp x) 1)))>
3.191 * [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.192 * * [simplify]: iteration 1: (60 enodes)
3.210 * * [simplify]: iteration 2: (223 enodes)
3.267 * * [simplify]: iteration 3: (437 enodes)
3.411 * * [simplify]: iteration 4: (784 enodes)
3.711 * * [simplify]: iteration 5: (1377 enodes)
4.312 * * [simplify]: Extracting #0: cost 35 inf + 0
4.313 * * [simplify]: Extracting #1: cost 221 inf + 1
4.314 * * [simplify]: Extracting #2: cost 514 inf + 386
4.319 * * [simplify]: Extracting #3: cost 472 inf + 21841
4.333 * * [simplify]: Extracting #4: cost 174 inf + 100852
4.356 * * [simplify]: Extracting #5: cost 10 inf + 158629
4.382 * * [simplify]: Extracting #6: cost 0 inf + 161970
4.407 * [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))), (+ (/ 1 x) (fma 1/12 x 1/2)), (/ (exp x) (expm1 x)), (/ (exp x) (expm1 x))
4.408 * * * [progress]: adding candidates to table
4.581 * * [progress]: iteration 3 / 4
4.581 * * * [progress]: picking best candidate
4.584 * * * * [pick]: Picked  #<alt (λ (x) (+ (/ 1 x) (fma 1/12 x 1/2)))>
4.584 * * * [progress]: localizing error
4.594 * * * [progress]: generating rewritten candidates
4.594 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
4.594 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.604 * * * [progress]: generating series expansions
4.604 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
4.604 * [backup-simplify]: Simplify (fma 1/12 x 1/2) into (fma 1/12 x 1/2)
4.604 * [approximate]: Taking taylor expansion of (fma 1/12 x 1/2) in (x) around 0
4.604 * [taylor]: Taking taylor expansion of (fma 1/12 x 1/2) in x
4.604 * [taylor]: Rewrote expression to (+ (* 1/12 x) 1/2)
4.604 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
4.604 * [taylor]: Taking taylor expansion of 1/12 in x
4.604 * [backup-simplify]: Simplify 1/12 into 1/12
4.604 * [taylor]: Taking taylor expansion of x in x
4.604 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify 1 into 1
4.604 * [taylor]: Taking taylor expansion of 1/2 in x
4.604 * [backup-simplify]: Simplify 1/2 into 1/2
4.604 * [taylor]: Taking taylor expansion of (fma 1/12 x 1/2) in x
4.604 * [taylor]: Rewrote expression to (+ (* 1/12 x) 1/2)
4.604 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
4.604 * [taylor]: Taking taylor expansion of 1/12 in x
4.604 * [backup-simplify]: Simplify 1/12 into 1/12
4.604 * [taylor]: Taking taylor expansion of x in x
4.604 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify 1 into 1
4.604 * [taylor]: Taking taylor expansion of 1/2 in x
4.604 * [backup-simplify]: Simplify 1/2 into 1/2
4.605 * [backup-simplify]: Simplify (* 1/12 0) into 0
4.605 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.605 * [backup-simplify]: Simplify 1/2 into 1/2
4.606 * [backup-simplify]: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12
4.606 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
4.606 * [backup-simplify]: Simplify 1/12 into 1/12
4.606 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 1) (* 0 0))) into 0
4.607 * [backup-simplify]: Simplify (+ 0 0) into 0
4.607 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.608 * [backup-simplify]: Simplify (+ 0 0) into 0
4.608 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.609 * [backup-simplify]: Simplify (+ 0 0) into 0
4.609 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.610 * [backup-simplify]: Simplify (+ 0 0) into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
4.611 * [backup-simplify]: Simplify (+ 0 0) into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
4.612 * [backup-simplify]: Simplify (+ 0 0) into 0
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify (+ (* 1/12 x) 1/2) into (+ (* 1/12 x) 1/2)
4.612 * [backup-simplify]: Simplify (fma 1/12 (/ 1 x) 1/2) into (fma 1/12 (/ 1 x) 1/2)
4.612 * [approximate]: Taking taylor expansion of (fma 1/12 (/ 1 x) 1/2) in (x) around 0
4.612 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) 1/2) in x
4.612 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) 1/2)
4.612 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
4.612 * [taylor]: Taking taylor expansion of 1/12 in x
4.612 * [backup-simplify]: Simplify 1/12 into 1/12
4.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.612 * [taylor]: Taking taylor expansion of x in x
4.612 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify 1 into 1
4.613 * [backup-simplify]: Simplify (/ 1 1) into 1
4.613 * [taylor]: Taking taylor expansion of 1/2 in x
4.613 * [backup-simplify]: Simplify 1/2 into 1/2
4.613 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) 1/2) in x
4.613 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) 1/2)
4.613 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
4.613 * [taylor]: Taking taylor expansion of 1/12 in x
4.613 * [backup-simplify]: Simplify 1/12 into 1/12
4.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.613 * [taylor]: Taking taylor expansion of x in x
4.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify 1 into 1
4.613 * [backup-simplify]: Simplify (/ 1 1) into 1
4.613 * [taylor]: Taking taylor expansion of 1/2 in x
4.613 * [backup-simplify]: Simplify 1/2 into 1/2
4.614 * [backup-simplify]: Simplify (* 1/12 1) into 1/12
4.614 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
4.614 * [backup-simplify]: Simplify 1/12 into 1/12
4.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.615 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 1)) into 0
4.615 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.615 * [backup-simplify]: Simplify 1/2 into 1/2
4.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.616 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0
4.616 * [backup-simplify]: Simplify (+ 0 0) into 0
4.616 * [backup-simplify]: Simplify 0 into 0
4.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.618 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.618 * [backup-simplify]: Simplify (+ 0 0) into 0
4.618 * [backup-simplify]: Simplify 0 into 0
4.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.619 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.619 * [backup-simplify]: Simplify (+ 0 0) into 0
4.619 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.621 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.621 * [backup-simplify]: Simplify (+ 0 0) into 0
4.621 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.623 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.623 * [backup-simplify]: Simplify (+ 0 0) into 0
4.623 * [backup-simplify]: Simplify 0 into 0
4.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.630 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.630 * [backup-simplify]: Simplify (+ 0 0) into 0
4.630 * [backup-simplify]: Simplify 0 into 0
4.631 * [backup-simplify]: Simplify (+ 1/2 (* 1/12 (/ 1 (/ 1 x)))) into (+ (* 1/12 x) 1/2)
4.631 * [backup-simplify]: Simplify (fma 1/12 (/ 1 (- x)) 1/2) into (fma 1/12 (/ -1 x) 1/2)
4.631 * [approximate]: Taking taylor expansion of (fma 1/12 (/ -1 x) 1/2) in (x) around 0
4.631 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) 1/2) in x
4.631 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) 1/2)
4.631 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
4.631 * [taylor]: Taking taylor expansion of 1/12 in x
4.631 * [backup-simplify]: Simplify 1/12 into 1/12
4.631 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.631 * [taylor]: Taking taylor expansion of -1 in x
4.631 * [backup-simplify]: Simplify -1 into -1
4.631 * [taylor]: Taking taylor expansion of x in x
4.631 * [backup-simplify]: Simplify 0 into 0
4.631 * [backup-simplify]: Simplify 1 into 1
4.631 * [backup-simplify]: Simplify (/ -1 1) into -1
4.631 * [taylor]: Taking taylor expansion of 1/2 in x
4.631 * [backup-simplify]: Simplify 1/2 into 1/2
4.631 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) 1/2) in x
4.632 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) 1/2)
4.632 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
4.632 * [taylor]: Taking taylor expansion of 1/12 in x
4.632 * [backup-simplify]: Simplify 1/12 into 1/12
4.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.632 * [taylor]: Taking taylor expansion of -1 in x
4.632 * [backup-simplify]: Simplify -1 into -1
4.632 * [taylor]: Taking taylor expansion of x in x
4.632 * [backup-simplify]: Simplify 0 into 0
4.632 * [backup-simplify]: Simplify 1 into 1
4.632 * [backup-simplify]: Simplify (/ -1 1) into -1
4.632 * [taylor]: Taking taylor expansion of 1/2 in x
4.632 * [backup-simplify]: Simplify 1/2 into 1/2
4.633 * [backup-simplify]: Simplify (* 1/12 -1) into -1/12
4.633 * [backup-simplify]: Simplify (+ -1/12 0) into -1/12
4.633 * [backup-simplify]: Simplify -1/12 into -1/12
4.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.634 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 -1)) into 0
4.635 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.635 * [backup-simplify]: Simplify 1/2 into 1/2
4.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.636 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 -1))) into 0
4.637 * [backup-simplify]: Simplify (+ 0 0) into 0
4.637 * [backup-simplify]: Simplify 0 into 0
4.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.639 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
4.639 * [backup-simplify]: Simplify (+ 0 0) into 0
4.639 * [backup-simplify]: Simplify 0 into 0
4.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.641 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
4.641 * [backup-simplify]: Simplify (+ 0 0) into 0
4.641 * [backup-simplify]: Simplify 0 into 0
4.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.643 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
4.644 * [backup-simplify]: Simplify (+ 0 0) into 0
4.644 * [backup-simplify]: Simplify 0 into 0
4.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.646 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
4.646 * [backup-simplify]: Simplify (+ 0 0) into 0
4.646 * [backup-simplify]: Simplify 0 into 0
4.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.649 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
4.649 * [backup-simplify]: Simplify (+ 0 0) into 0
4.649 * [backup-simplify]: Simplify 0 into 0
4.650 * [backup-simplify]: Simplify (+ 1/2 (* -1/12 (/ 1 (/ 1 (- x))))) into (+ (* 1/12 x) 1/2)
4.650 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.650 * [backup-simplify]: Simplify (+ (/ 1 x) (fma 1/12 x 1/2)) into (+ (fma 1/12 x 1/2) (/ 1 x))
4.650 * [approximate]: Taking taylor expansion of (+ (fma 1/12 x 1/2) (/ 1 x)) in (x) around 0
4.650 * [taylor]: Taking taylor expansion of (+ (fma 1/12 x 1/2) (/ 1 x)) in x
4.650 * [taylor]: Taking taylor expansion of (fma 1/12 x 1/2) in x
4.650 * [taylor]: Rewrote expression to (+ (* 1/12 x) 1/2)
4.650 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
4.650 * [taylor]: Taking taylor expansion of 1/12 in x
4.650 * [backup-simplify]: Simplify 1/12 into 1/12
4.650 * [taylor]: Taking taylor expansion of x in x
4.650 * [backup-simplify]: Simplify 0 into 0
4.650 * [backup-simplify]: Simplify 1 into 1
4.650 * [taylor]: Taking taylor expansion of 1/2 in x
4.650 * [backup-simplify]: Simplify 1/2 into 1/2
4.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.650 * [taylor]: Taking taylor expansion of x in x
4.650 * [backup-simplify]: Simplify 0 into 0
4.650 * [backup-simplify]: Simplify 1 into 1
4.651 * [backup-simplify]: Simplify (/ 1 1) into 1
4.651 * [taylor]: Taking taylor expansion of (+ (fma 1/12 x 1/2) (/ 1 x)) in x
4.651 * [taylor]: Taking taylor expansion of (fma 1/12 x 1/2) in x
4.651 * [taylor]: Rewrote expression to (+ (* 1/12 x) 1/2)
4.651 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
4.651 * [taylor]: Taking taylor expansion of 1/12 in x
4.651 * [backup-simplify]: Simplify 1/12 into 1/12
4.651 * [taylor]: Taking taylor expansion of x in x
4.651 * [backup-simplify]: Simplify 0 into 0
4.651 * [backup-simplify]: Simplify 1 into 1
4.651 * [taylor]: Taking taylor expansion of 1/2 in x
4.651 * [backup-simplify]: Simplify 1/2 into 1/2
4.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.651 * [taylor]: Taking taylor expansion of x in x
4.651 * [backup-simplify]: Simplify 0 into 0
4.651 * [backup-simplify]: Simplify 1 into 1
4.652 * [backup-simplify]: Simplify (/ 1 1) into 1
4.652 * [backup-simplify]: Simplify (+ 0 1) into 1
4.652 * [backup-simplify]: Simplify 1 into 1
4.653 * [backup-simplify]: Simplify (* 1/12 0) into 0
4.653 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.654 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
4.654 * [backup-simplify]: Simplify 1/2 into 1/2
4.655 * [backup-simplify]: Simplify (+ (* 1/12 1) (* 0 0)) into 1/12
4.655 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
4.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.656 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
4.656 * [backup-simplify]: Simplify 1/12 into 1/12
4.656 * [backup-simplify]: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
4.657 * [backup-simplify]: Simplify (+ (/ 1 (/ 1 x)) (fma 1/12 (/ 1 x) 1/2)) into (+ x (fma 1/12 (/ 1 x) 1/2))
4.657 * [approximate]: Taking taylor expansion of (+ x (fma 1/12 (/ 1 x) 1/2)) in (x) around 0
4.657 * [taylor]: Taking taylor expansion of (+ x (fma 1/12 (/ 1 x) 1/2)) in x
4.657 * [taylor]: Taking taylor expansion of x in x
4.657 * [backup-simplify]: Simplify 0 into 0
4.657 * [backup-simplify]: Simplify 1 into 1
4.657 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) 1/2) in x
4.657 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) 1/2)
4.657 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
4.657 * [taylor]: Taking taylor expansion of 1/12 in x
4.657 * [backup-simplify]: Simplify 1/12 into 1/12
4.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.657 * [taylor]: Taking taylor expansion of x in x
4.657 * [backup-simplify]: Simplify 0 into 0
4.657 * [backup-simplify]: Simplify 1 into 1
4.657 * [backup-simplify]: Simplify (/ 1 1) into 1
4.657 * [taylor]: Taking taylor expansion of 1/2 in x
4.657 * [backup-simplify]: Simplify 1/2 into 1/2
4.657 * [taylor]: Taking taylor expansion of (+ x (fma 1/12 (/ 1 x) 1/2)) in x
4.657 * [taylor]: Taking taylor expansion of x in x
4.657 * [backup-simplify]: Simplify 0 into 0
4.657 * [backup-simplify]: Simplify 1 into 1
4.658 * [taylor]: Taking taylor expansion of (fma 1/12 (/ 1 x) 1/2) in x
4.658 * [taylor]: Rewrote expression to (+ (* 1/12 (/ 1 x)) 1/2)
4.658 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
4.658 * [taylor]: Taking taylor expansion of 1/12 in x
4.658 * [backup-simplify]: Simplify 1/12 into 1/12
4.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.658 * [taylor]: Taking taylor expansion of x in x
4.658 * [backup-simplify]: Simplify 0 into 0
4.658 * [backup-simplify]: Simplify 1 into 1
4.658 * [backup-simplify]: Simplify (/ 1 1) into 1
4.658 * [taylor]: Taking taylor expansion of 1/2 in x
4.658 * [backup-simplify]: Simplify 1/2 into 1/2
4.658 * [backup-simplify]: Simplify (* 1/12 1) into 1/12
4.659 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
4.659 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
4.659 * [backup-simplify]: Simplify 1/12 into 1/12
4.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.660 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 1)) into 0
4.660 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.660 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.660 * [backup-simplify]: Simplify 1/2 into 1/2
4.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.661 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0
4.662 * [backup-simplify]: Simplify (+ 0 0) into 0
4.662 * [backup-simplify]: Simplify (+ 1 0) into 1
4.662 * [backup-simplify]: Simplify 1 into 1
4.662 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) (+ 1/2 (* 1/12 (/ 1 (/ 1 x))))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
4.662 * [backup-simplify]: Simplify (+ (/ 1 (/ 1 (- x))) (fma 1/12 (/ 1 (- x)) 1/2)) into (- (fma 1/12 (/ -1 x) 1/2) x)
4.662 * [approximate]: Taking taylor expansion of (- (fma 1/12 (/ -1 x) 1/2) x) in (x) around 0
4.662 * [taylor]: Taking taylor expansion of (- (fma 1/12 (/ -1 x) 1/2) x) in x
4.662 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) 1/2) in x
4.662 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) 1/2)
4.662 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
4.662 * [taylor]: Taking taylor expansion of 1/12 in x
4.662 * [backup-simplify]: Simplify 1/12 into 1/12
4.662 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.662 * [taylor]: Taking taylor expansion of -1 in x
4.662 * [backup-simplify]: Simplify -1 into -1
4.662 * [taylor]: Taking taylor expansion of x in x
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 1 into 1
4.663 * [backup-simplify]: Simplify (/ -1 1) into -1
4.663 * [taylor]: Taking taylor expansion of 1/2 in x
4.663 * [backup-simplify]: Simplify 1/2 into 1/2
4.663 * [taylor]: Taking taylor expansion of x in x
4.663 * [backup-simplify]: Simplify 0 into 0
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [taylor]: Taking taylor expansion of (- (fma 1/12 (/ -1 x) 1/2) x) in x
4.663 * [taylor]: Taking taylor expansion of (fma 1/12 (/ -1 x) 1/2) in x
4.663 * [taylor]: Rewrote expression to (+ (* 1/12 (/ -1 x)) 1/2)
4.663 * [taylor]: Taking taylor expansion of (* 1/12 (/ -1 x)) in x
4.663 * [taylor]: Taking taylor expansion of 1/12 in x
4.663 * [backup-simplify]: Simplify 1/12 into 1/12
4.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.663 * [taylor]: Taking taylor expansion of -1 in x
4.663 * [backup-simplify]: Simplify -1 into -1
4.663 * [taylor]: Taking taylor expansion of x in x
4.663 * [backup-simplify]: Simplify 0 into 0
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [backup-simplify]: Simplify (/ -1 1) into -1
4.663 * [taylor]: Taking taylor expansion of 1/2 in x
4.663 * [backup-simplify]: Simplify 1/2 into 1/2
4.663 * [taylor]: Taking taylor expansion of x in x
4.663 * [backup-simplify]: Simplify 0 into 0
4.663 * [backup-simplify]: Simplify 1 into 1
4.664 * [backup-simplify]: Simplify (* 1/12 -1) into -1/12
4.664 * [backup-simplify]: Simplify (+ -1/12 0) into -1/12
4.664 * [backup-simplify]: Simplify (+ -1/12 0) into -1/12
4.664 * [backup-simplify]: Simplify -1/12 into -1/12
4.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.665 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 -1)) into 0
4.665 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.666 * [backup-simplify]: Simplify (- 0) into 0
4.666 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
4.666 * [backup-simplify]: Simplify 1/2 into 1/2
4.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.667 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 -1))) into 0
4.667 * [backup-simplify]: Simplify (+ 0 0) into 0
4.668 * [backup-simplify]: Simplify (- 1) into -1
4.668 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.668 * [backup-simplify]: Simplify -1 into -1
4.668 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- x))) (+ 1/2 (* -1/12 (/ 1 (/ 1 (- x)))))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
4.668 * * * [progress]: simplifying candidates
4.668 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (log1p (expm1 (fma 1/12 x 1/2)))))>
4.668 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (expm1 (log1p (fma 1/12 x 1/2)))))>
4.668 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (+ (* 1/12 x) 1/2)))>
4.669 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (pow (fma 1/12 x 1/2) 1)))>
4.669 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (exp (log (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (log (exp (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (* (* (cbrt (fma 1/12 x 1/2)) (cbrt (fma 1/12 x 1/2))) (cbrt (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (cbrt (* (* (fma 1/12 x 1/2) (fma 1/12 x 1/2)) (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (* (sqrt (fma 1/12 x 1/2)) (sqrt (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (* 1 (fma 1/12 x 1/2))))>
4.669 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (posit16->real (real->posit16 (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (+ (/ 1 x) (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (+ (/ 1 x) (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (x) (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (x) (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (x) (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (x) (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (x) (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (x) (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (x) (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (x) (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (x) (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (x) (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (x) (fma (/ 1 1) (/ 1 x) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (x) (fma 1 (/ 1 x) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (x) (fma 1 (/ 1 x) (fma 1/12 x 1/2)))>
4.669 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (x) (log (* (exp (/ 1 x)) (exp (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (x) (pow (+ (/ 1 x) (fma 1/12 x 1/2)) 1))>
4.669 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (x) (exp (log (+ (/ 1 x) (fma 1/12 x 1/2)))))>
4.669 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (/ 1 x) (fma 1/12 x 1/2)))))>
4.670 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (+ (/ 1 x) (fma 1/12 x 1/2))) (cbrt (+ (/ 1 x) (fma 1/12 x 1/2)))) (cbrt (+ (/ 1 x) (fma 1/12 x 1/2)))))>
4.670 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (/ 1 x) (fma 1/12 x 1/2)) (+ (/ 1 x) (fma 1/12 x 1/2))) (+ (/ 1 x) (fma 1/12 x 1/2)))))>
4.670 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (/ 1 x) (fma 1/12 x 1/2))) (sqrt (+ (/ 1 x) (fma 1/12 x 1/2)))))>
4.670 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (x) (/ (+ (pow (/ 1 x) 3) (pow (fma 1/12 x 1/2) 3)) (+ (* (/ 1 x) (/ 1 x)) (- (* (fma 1/12 x 1/2) (fma 1/12 x 1/2)) (* (/ 1 x) (fma 1/12 x 1/2))))))>
4.670 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 x) (fma 1/12 x 1/2))))>
4.670 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (x) (/ (- (* (/ 1 x) (/ 1 x)) (* (fma 1/12 x 1/2) (fma 1/12 x 1/2))) (- (/ 1 x) (fma 1/12 x 1/2))))>
4.670 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 x) (fma 1/12 x 1/2))))>
4.670 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 x) (fma 1/12 x 1/2))))>
4.670 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (x) (+ (+ (/ 1 x) (* 1/12 x)) 1/2))>
4.670 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (+ (/ 1 x) (fma 1/12 x 1/2)))))>
4.670 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (x) (+ (fma 1/12 x 1/2) (/ 1 x)))>
4.670 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (+ (* 1/12 x) 1/2)))>
4.670 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (+ (* 1/12 x) 1/2)))>
4.670 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 x) (+ (* 1/12 x) 1/2)))>
4.670 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2)))>
4.670 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2)))>
4.670 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2)))>
4.671 * [simplify]: Simplifying (expm1 (fma 1/12 x 1/2)), (log1p (fma 1/12 x 1/2)), (* 1/12 x), (log (fma 1/12 x 1/2)), (exp (fma 1/12 x 1/2)), (* (cbrt (fma 1/12 x 1/2)) (cbrt (fma 1/12 x 1/2))), (cbrt (fma 1/12 x 1/2)), (* (* (fma 1/12 x 1/2) (fma 1/12 x 1/2)) (fma 1/12 x 1/2)), (sqrt (fma 1/12 x 1/2)), (sqrt (fma 1/12 x 1/2)), (real->posit16 (fma 1/12 x 1/2)), (expm1 (+ (/ 1 x) (fma 1/12 x 1/2))), (log1p (+ (/ 1 x) (fma 1/12 x 1/2))), (* (exp (/ 1 x)) (exp (fma 1/12 x 1/2))), (log (+ (/ 1 x) (fma 1/12 x 1/2))), (exp (+ (/ 1 x) (fma 1/12 x 1/2))), (* (cbrt (+ (/ 1 x) (fma 1/12 x 1/2))) (cbrt (+ (/ 1 x) (fma 1/12 x 1/2)))), (cbrt (+ (/ 1 x) (fma 1/12 x 1/2))), (* (* (+ (/ 1 x) (fma 1/12 x 1/2)) (+ (/ 1 x) (fma 1/12 x 1/2))) (+ (/ 1 x) (fma 1/12 x 1/2))), (sqrt (+ (/ 1 x) (fma 1/12 x 1/2))), (sqrt (+ (/ 1 x) (fma 1/12 x 1/2))), (+ (pow (/ 1 x) 3) (pow (fma 1/12 x 1/2) 3)), (+ (* (/ 1 x) (/ 1 x)) (- (* (fma 1/12 x 1/2) (fma 1/12 x 1/2)) (* (/ 1 x) (fma 1/12 x 1/2)))), (- (* (/ 1 x) (/ 1 x)) (* (fma 1/12 x 1/2) (fma 1/12 x 1/2))), (- (/ 1 x) (fma 1/12 x 1/2)), (+ (/ 1 x) (fma 1/12 x 1/2)), (+ (/ 1 x) (fma 1/12 x 1/2)), (+ (/ 1 x) (* 1/12 x)), (real->posit16 (+ (/ 1 x) (fma 1/12 x 1/2))), (+ (* 1/12 x) 1/2), (+ (* 1/12 x) 1/2), (+ (* 1/12 x) 1/2), (+ (* 1/12 x) (+ (/ 1 x) 1/2)), (+ (* 1/12 x) (+ (/ 1 x) 1/2)), (+ (* 1/12 x) (+ (/ 1 x) 1/2))
4.671 * * [simplify]: iteration 1: (44 enodes)
4.692 * * [simplify]: iteration 2: (198 enodes)
4.753 * * [simplify]: iteration 3: (479 enodes)
5.021 * * [simplify]: iteration 4: (1566 enodes)
7.549 * * [simplify]: Extracting #0: cost 26 inf + 0
7.550 * * [simplify]: Extracting #1: cost 294 inf + 0
7.558 * * [simplify]: Extracting #2: cost 1285 inf + 3869
7.610 * * [simplify]: Extracting #3: cost 806 inf + 118909
7.706 * * [simplify]: Extracting #4: cost 50 inf + 317820
7.859 * * [simplify]: Extracting #5: cost 0 inf + 327311
7.999 * * [simplify]: Extracting #6: cost 0 inf + 327261
8.147 * [simplify]: Simplified to (expm1 (fma x 1/12 1/2)), (log1p (fma x 1/12 1/2)), (* 1/12 x), (log (fma x 1/12 1/2)), (exp (fma x 1/12 1/2)), (* (cbrt (fma x 1/12 1/2)) (cbrt (fma x 1/12 1/2))), (cbrt (fma x 1/12 1/2)), (* (* (fma x 1/12 1/2) (fma x 1/12 1/2)) (fma x 1/12 1/2)), (sqrt (fma x 1/12 1/2)), (sqrt (fma x 1/12 1/2)), (real->posit16 (fma x 1/12 1/2)), (expm1 (fma 1/12 x (+ (/ 1 x) 1/2))), (log1p (fma 1/12 x (+ (/ 1 x) 1/2))), (exp (fma 1/12 x (+ (/ 1 x) 1/2))), (log (fma 1/12 x (+ (/ 1 x) 1/2))), (exp (fma 1/12 x (+ (/ 1 x) 1/2))), (* (cbrt (fma 1/12 x (+ (/ 1 x) 1/2))) (cbrt (fma 1/12 x (+ (/ 1 x) 1/2)))), (cbrt (fma 1/12 x (+ (/ 1 x) 1/2))), (* (fma 1/12 x (+ (/ 1 x) 1/2)) (* (fma 1/12 x (+ (/ 1 x) 1/2)) (fma 1/12 x (+ (/ 1 x) 1/2)))), (sqrt (fma 1/12 x (+ (/ 1 x) 1/2))), (sqrt (fma 1/12 x (+ (/ 1 x) 1/2))), (fma (/ 1 x) (/ (/ 1 x) x) (* (* (fma x 1/12 1/2) (fma x 1/12 1/2)) (fma x 1/12 1/2))), (fma (- (fma x 1/12 1/2) (/ 1 x)) (fma x 1/12 1/2) (/ (/ 1 x) x)), (- (/ (/ 1 x) x) (* (fma x 1/12 1/2) (fma x 1/12 1/2))), (+ (fma -1/12 x -1/2) (/ 1 x)), (fma 1/12 x (+ (/ 1 x) 1/2)), (fma 1/12 x (+ (/ 1 x) 1/2)), (fma x 1/12 (/ 1 x)), (real->posit16 (fma 1/12 x (+ (/ 1 x) 1/2))), (fma x 1/12 1/2), (fma x 1/12 1/2), (fma x 1/12 1/2), (fma 1/12 x (+ (/ 1 x) 1/2)), (fma 1/12 x (+ (/ 1 x) 1/2)), (fma 1/12 x (+ (/ 1 x) 1/2))
8.149 * * * [progress]: adding candidates to table
8.499 * * [progress]: iteration 4 / 4
8.499 * * * [progress]: picking best candidate
8.501 * * * * [pick]: Picked  #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
8.501 * * * [progress]: localizing error
8.513 * * * [progress]: generating rewritten candidates
8.514 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
8.531 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
8.540 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.564 * * * [progress]: generating series expansions
8.564 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
8.565 * [backup-simplify]: Simplify (- 1 (/ 1 (exp x))) into (- 1 (/ 1 (exp x)))
8.565 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (exp x))) in (x) around 0
8.565 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp x))) in x
8.565 * [taylor]: Taking taylor expansion of 1 in x
8.565 * [backup-simplify]: Simplify 1 into 1
8.565 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
8.565 * [taylor]: Taking taylor expansion of (exp x) in x
8.565 * [taylor]: Taking taylor expansion of x in x
8.565 * [backup-simplify]: Simplify 0 into 0
8.565 * [backup-simplify]: Simplify 1 into 1
8.565 * [backup-simplify]: Simplify (exp 0) into 1
8.566 * [backup-simplify]: Simplify (/ 1 1) into 1
8.566 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp x))) in x
8.566 * [taylor]: Taking taylor expansion of 1 in x
8.566 * [backup-simplify]: Simplify 1 into 1
8.566 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
8.566 * [taylor]: Taking taylor expansion of (exp x) in x
8.566 * [taylor]: Taking taylor expansion of x in x
8.566 * [backup-simplify]: Simplify 0 into 0
8.566 * [backup-simplify]: Simplify 1 into 1
8.566 * [backup-simplify]: Simplify (exp 0) into 1
8.566 * [backup-simplify]: Simplify (/ 1 1) into 1
8.567 * [backup-simplify]: Simplify (- 1) into -1
8.567 * [backup-simplify]: Simplify (+ 1 -1) into 0
8.567 * [backup-simplify]: Simplify 0 into 0
8.568 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
8.569 * [backup-simplify]: Simplify (- -1) into 1
8.570 * [backup-simplify]: Simplify (+ 0 1) into 1
8.570 * [backup-simplify]: Simplify 1 into 1
8.571 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
8.573 * [backup-simplify]: Simplify (- 1/2) into -1/2
8.573 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
8.573 * [backup-simplify]: Simplify -1/2 into -1/2
8.575 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
8.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
8.576 * [backup-simplify]: Simplify (- -1/6) into 1/6
8.576 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6
8.576 * [backup-simplify]: Simplify 1/6 into 1/6
8.576 * [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)))
8.576 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ 1 x)))) into (- 1 (/ 1 (exp (/ 1 x))))
8.576 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (exp (/ 1 x)))) in (x) around 0
8.576 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ 1 x)))) in x
8.576 * [taylor]: Taking taylor expansion of 1 in x
8.576 * [backup-simplify]: Simplify 1 into 1
8.576 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
8.576 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.577 * [taylor]: Taking taylor expansion of x in x
8.577 * [backup-simplify]: Simplify 0 into 0
8.577 * [backup-simplify]: Simplify 1 into 1
8.577 * [backup-simplify]: Simplify (/ 1 1) into 1
8.577 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.577 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
8.577 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ 1 x)))) in x
8.577 * [taylor]: Taking taylor expansion of 1 in x
8.577 * [backup-simplify]: Simplify 1 into 1
8.577 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
8.577 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.577 * [taylor]: Taking taylor expansion of x in x
8.577 * [backup-simplify]: Simplify 0 into 0
8.577 * [backup-simplify]: Simplify 1 into 1
8.577 * [backup-simplify]: Simplify (/ 1 1) into 1
8.577 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.577 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
8.577 * [backup-simplify]: Simplify (- (/ 1 (exp (/ 1 x)))) into (- (/ 1 (exp (/ 1 x))))
8.578 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (exp (/ 1 x))))) into (- 1 (/ 1 (exp (/ 1 x))))
8.578 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ 1 x)))) into (- 1 (/ 1 (exp (/ 1 x))))
8.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
8.578 * [backup-simplify]: Simplify (- 0) into 0
8.578 * [backup-simplify]: Simplify (+ 0 0) into 0
8.578 * [backup-simplify]: Simplify 0 into 0
8.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
8.579 * [backup-simplify]: Simplify (- 0) into 0
8.579 * [backup-simplify]: Simplify (+ 0 0) into 0
8.579 * [backup-simplify]: Simplify 0 into 0
8.579 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
8.579 * [backup-simplify]: Simplify (- 0) into 0
8.580 * [backup-simplify]: Simplify (+ 0 0) into 0
8.580 * [backup-simplify]: Simplify 0 into 0
8.580 * [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
8.580 * [backup-simplify]: Simplify (- 0) into 0
8.580 * [backup-simplify]: Simplify (+ 0 0) into 0
8.580 * [backup-simplify]: Simplify 0 into 0
8.581 * [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
8.581 * [backup-simplify]: Simplify (- 0) into 0
8.581 * [backup-simplify]: Simplify (+ 0 0) into 0
8.581 * [backup-simplify]: Simplify 0 into 0
8.581 * [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
8.582 * [backup-simplify]: Simplify (- 0) into 0
8.582 * [backup-simplify]: Simplify (+ 0 0) into 0
8.582 * [backup-simplify]: Simplify 0 into 0
8.582 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ 1 (/ 1 x))))) into (- 1 (/ 1 (exp x)))
8.582 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ 1 (- x))))) into (- 1 (/ 1 (exp (/ -1 x))))
8.582 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (exp (/ -1 x)))) in (x) around 0
8.582 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ -1 x)))) in x
8.582 * [taylor]: Taking taylor expansion of 1 in x
8.582 * [backup-simplify]: Simplify 1 into 1
8.582 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
8.582 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.582 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.582 * [taylor]: Taking taylor expansion of -1 in x
8.582 * [backup-simplify]: Simplify -1 into -1
8.582 * [taylor]: Taking taylor expansion of x in x
8.582 * [backup-simplify]: Simplify 0 into 0
8.582 * [backup-simplify]: Simplify 1 into 1
8.582 * [backup-simplify]: Simplify (/ -1 1) into -1
8.582 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.583 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
8.583 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ -1 x)))) in x
8.583 * [taylor]: Taking taylor expansion of 1 in x
8.583 * [backup-simplify]: Simplify 1 into 1
8.583 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
8.583 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.583 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.583 * [taylor]: Taking taylor expansion of -1 in x
8.583 * [backup-simplify]: Simplify -1 into -1
8.583 * [taylor]: Taking taylor expansion of x in x
8.583 * [backup-simplify]: Simplify 0 into 0
8.583 * [backup-simplify]: Simplify 1 into 1
8.583 * [backup-simplify]: Simplify (/ -1 1) into -1
8.583 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.583 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
8.583 * [backup-simplify]: Simplify (- (/ 1 (exp (/ -1 x)))) into (- (/ 1 (exp (/ -1 x))))
8.583 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (exp (/ -1 x))))) into (- 1 (/ 1 (exp (/ -1 x))))
8.583 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ -1 x)))) into (- 1 (/ 1 (exp (/ -1 x))))
8.583 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
8.584 * [backup-simplify]: Simplify (- 0) into 0
8.584 * [backup-simplify]: Simplify (+ 0 0) into 0
8.584 * [backup-simplify]: Simplify 0 into 0
8.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
8.584 * [backup-simplify]: Simplify (- 0) into 0
8.585 * [backup-simplify]: Simplify (+ 0 0) into 0
8.585 * [backup-simplify]: Simplify 0 into 0
8.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
8.585 * [backup-simplify]: Simplify (- 0) into 0
8.585 * [backup-simplify]: Simplify (+ 0 0) into 0
8.585 * [backup-simplify]: Simplify 0 into 0
8.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
8.586 * [backup-simplify]: Simplify (- 0) into 0
8.586 * [backup-simplify]: Simplify (+ 0 0) into 0
8.586 * [backup-simplify]: Simplify 0 into 0
8.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
8.586 * [backup-simplify]: Simplify (- 0) into 0
8.587 * [backup-simplify]: Simplify (+ 0 0) into 0
8.587 * [backup-simplify]: Simplify 0 into 0
8.587 * [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
8.587 * [backup-simplify]: Simplify (- 0) into 0
8.587 * [backup-simplify]: Simplify (+ 0 0) into 0
8.587 * [backup-simplify]: Simplify 0 into 0
8.588 * [backup-simplify]: Simplify (- 1 (/ 1 (exp (/ -1 (/ 1 (- x)))))) into (- 1 (/ 1 (exp x)))
8.588 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
8.588 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
8.588 * [approximate]: Taking taylor expansion of (/ 1 (exp x)) in (x) around 0
8.588 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
8.588 * [taylor]: Taking taylor expansion of (exp x) in x
8.588 * [taylor]: Taking taylor expansion of x in x
8.588 * [backup-simplify]: Simplify 0 into 0
8.588 * [backup-simplify]: Simplify 1 into 1
8.588 * [backup-simplify]: Simplify (exp 0) into 1
8.588 * [backup-simplify]: Simplify (/ 1 1) into 1
8.588 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
8.588 * [taylor]: Taking taylor expansion of (exp x) in x
8.588 * [taylor]: Taking taylor expansion of x in x
8.588 * [backup-simplify]: Simplify 0 into 0
8.588 * [backup-simplify]: Simplify 1 into 1
8.588 * [backup-simplify]: Simplify (exp 0) into 1
8.588 * [backup-simplify]: Simplify (/ 1 1) into 1
8.588 * [backup-simplify]: Simplify 1 into 1
8.589 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
8.589 * [backup-simplify]: Simplify -1 into -1
8.591 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
8.591 * [backup-simplify]: Simplify 1/2 into 1/2
8.591 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x)
8.592 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
8.592 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in (x) around 0
8.592 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
8.592 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.592 * [taylor]: Taking taylor expansion of x in x
8.592 * [backup-simplify]: Simplify 0 into 0
8.592 * [backup-simplify]: Simplify 1 into 1
8.592 * [backup-simplify]: Simplify (/ 1 1) into 1
8.592 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.592 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
8.592 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
8.592 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.592 * [taylor]: Taking taylor expansion of x in x
8.592 * [backup-simplify]: Simplify 0 into 0
8.592 * [backup-simplify]: Simplify 1 into 1
8.592 * [backup-simplify]: Simplify (/ 1 1) into 1
8.592 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.592 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
8.593 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
8.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
8.593 * [backup-simplify]: Simplify 0 into 0
8.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
8.593 * [backup-simplify]: Simplify 0 into 0
8.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
8.593 * [backup-simplify]: Simplify 0 into 0
8.593 * [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
8.593 * [backup-simplify]: Simplify 0 into 0
8.593 * [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
8.593 * [backup-simplify]: Simplify 0 into 0
8.594 * [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
8.594 * [backup-simplify]: Simplify 0 into 0
8.594 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (/ 1 x)))) into (/ 1 (exp x))
8.594 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (- x)))) into (/ 1 (exp (/ -1 x)))
8.594 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in (x) around 0
8.594 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
8.594 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.594 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.594 * [taylor]: Taking taylor expansion of -1 in x
8.594 * [backup-simplify]: Simplify -1 into -1
8.594 * [taylor]: Taking taylor expansion of x in x
8.594 * [backup-simplify]: Simplify 0 into 0
8.594 * [backup-simplify]: Simplify 1 into 1
8.594 * [backup-simplify]: Simplify (/ -1 1) into -1
8.594 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.594 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
8.594 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
8.594 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.594 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.594 * [taylor]: Taking taylor expansion of -1 in x
8.595 * [backup-simplify]: Simplify -1 into -1
8.595 * [taylor]: Taking taylor expansion of x in x
8.595 * [backup-simplify]: Simplify 0 into 0
8.595 * [backup-simplify]: Simplify 1 into 1
8.595 * [backup-simplify]: Simplify (/ -1 1) into -1
8.595 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.595 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
8.595 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
8.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
8.595 * [backup-simplify]: Simplify 0 into 0
8.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
8.595 * [backup-simplify]: Simplify 0 into 0
8.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
8.595 * [backup-simplify]: Simplify 0 into 0
8.596 * [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
8.596 * [backup-simplify]: Simplify 0 into 0
8.596 * [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
8.596 * [backup-simplify]: Simplify 0 into 0
8.596 * [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
8.596 * [backup-simplify]: Simplify 0 into 0
8.596 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 (/ 1 (- x))))) into (/ 1 (exp x))
8.596 * * * * [progress]: [ 3 / 3 ] generating series at (2)
8.596 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp x)))) into (/ 1 (- 1 (/ 1 (exp x))))
8.596 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (/ 1 (exp x)))) in (x) around 0
8.596 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 (exp x)))) in x
8.596 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp x))) in x
8.596 * [taylor]: Taking taylor expansion of 1 in x
8.597 * [backup-simplify]: Simplify 1 into 1
8.597 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
8.597 * [taylor]: Taking taylor expansion of (exp x) in x
8.597 * [taylor]: Taking taylor expansion of x in x
8.597 * [backup-simplify]: Simplify 0 into 0
8.597 * [backup-simplify]: Simplify 1 into 1
8.597 * [backup-simplify]: Simplify (exp 0) into 1
8.597 * [backup-simplify]: Simplify (/ 1 1) into 1
8.597 * [backup-simplify]: Simplify (- 1) into -1
8.597 * [backup-simplify]: Simplify (+ 1 -1) into 0
8.598 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
8.599 * [backup-simplify]: Simplify (- -1) into 1
8.599 * [backup-simplify]: Simplify (+ 0 1) into 1
8.599 * [backup-simplify]: Simplify (/ 1 1) into 1
8.599 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 (exp x)))) in x
8.599 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp x))) in x
8.599 * [taylor]: Taking taylor expansion of 1 in x
8.599 * [backup-simplify]: Simplify 1 into 1
8.599 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
8.599 * [taylor]: Taking taylor expansion of (exp x) in x
8.599 * [taylor]: Taking taylor expansion of x in x
8.599 * [backup-simplify]: Simplify 0 into 0
8.599 * [backup-simplify]: Simplify 1 into 1
8.599 * [backup-simplify]: Simplify (exp 0) into 1
8.600 * [backup-simplify]: Simplify (/ 1 1) into 1
8.600 * [backup-simplify]: Simplify (- 1) into -1
8.600 * [backup-simplify]: Simplify (+ 1 -1) into 0
8.601 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
8.601 * [backup-simplify]: Simplify (- -1) into 1
8.602 * [backup-simplify]: Simplify (+ 0 1) into 1
8.602 * [backup-simplify]: Simplify (/ 1 1) into 1
8.602 * [backup-simplify]: Simplify 1 into 1
8.603 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
8.604 * [backup-simplify]: Simplify (- 1/2) into -1/2
8.604 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
8.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ -1/2 1)))) into 1/2
8.604 * [backup-simplify]: Simplify 1/2 into 1/2
8.606 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
8.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
8.607 * [backup-simplify]: Simplify (- -1/6) into 1/6
8.607 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6
8.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* 1/2 (/ -1/2 1)))) into 1/12
8.608 * [backup-simplify]: Simplify 1/12 into 1/12
8.608 * [backup-simplify]: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
8.608 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) into (/ 1 (- 1 (/ 1 (exp (/ 1 x)))))
8.608 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) in (x) around 0
8.608 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) in x
8.608 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ 1 x)))) in x
8.608 * [taylor]: Taking taylor expansion of 1 in x
8.608 * [backup-simplify]: Simplify 1 into 1
8.608 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
8.608 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.608 * [taylor]: Taking taylor expansion of x in x
8.608 * [backup-simplify]: Simplify 0 into 0
8.608 * [backup-simplify]: Simplify 1 into 1
8.609 * [backup-simplify]: Simplify (/ 1 1) into 1
8.609 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.609 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
8.609 * [backup-simplify]: Simplify (- (/ 1 (exp (/ 1 x)))) into (- (/ 1 (exp (/ 1 x))))
8.609 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (exp (/ 1 x))))) into (- 1 (/ 1 (exp (/ 1 x))))
8.609 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) into (/ 1 (- 1 (/ 1 (exp (/ 1 x)))))
8.609 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) in x
8.609 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ 1 x)))) in x
8.609 * [taylor]: Taking taylor expansion of 1 in x
8.609 * [backup-simplify]: Simplify 1 into 1
8.609 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
8.609 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.609 * [taylor]: Taking taylor expansion of x in x
8.609 * [backup-simplify]: Simplify 0 into 0
8.609 * [backup-simplify]: Simplify 1 into 1
8.609 * [backup-simplify]: Simplify (/ 1 1) into 1
8.609 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.609 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
8.609 * [backup-simplify]: Simplify (- (/ 1 (exp (/ 1 x)))) into (- (/ 1 (exp (/ 1 x))))
8.610 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (exp (/ 1 x))))) into (- 1 (/ 1 (exp (/ 1 x))))
8.610 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) into (/ 1 (- 1 (/ 1 (exp (/ 1 x)))))
8.610 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) into (/ 1 (- 1 (/ 1 (exp (/ 1 x)))))
8.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
8.610 * [backup-simplify]: Simplify (- 0) into 0
8.610 * [backup-simplify]: Simplify (+ 0 0) into 0
8.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))))) into 0
8.611 * [backup-simplify]: Simplify 0 into 0
8.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
8.611 * [backup-simplify]: Simplify (- 0) into 0
8.611 * [backup-simplify]: Simplify (+ 0 0) into 0
8.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))))) into 0
8.612 * [backup-simplify]: Simplify 0 into 0
8.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
8.612 * [backup-simplify]: Simplify (- 0) into 0
8.612 * [backup-simplify]: Simplify (+ 0 0) into 0
8.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))))) into 0
8.613 * [backup-simplify]: Simplify 0 into 0
8.613 * [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
8.613 * [backup-simplify]: Simplify (- 0) into 0
8.613 * [backup-simplify]: Simplify (+ 0 0) into 0
8.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))))) into 0
8.614 * [backup-simplify]: Simplify 0 into 0
8.614 * [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
8.614 * [backup-simplify]: Simplify (- 0) into 0
8.614 * [backup-simplify]: Simplify (+ 0 0) into 0
8.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))))) into 0
8.615 * [backup-simplify]: Simplify 0 into 0
8.615 * [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
8.615 * [backup-simplify]: Simplify (- 0) into 0
8.616 * [backup-simplify]: Simplify (+ 0 0) into 0
8.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ 1 x))))) (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ 1 x)))))))) into 0
8.616 * [backup-simplify]: Simplify 0 into 0
8.616 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ 1 (/ 1 x)))))) into (/ 1 (- 1 (/ 1 (exp x))))
8.616 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ 1 (- x)))))) into (/ 1 (- 1 (/ 1 (exp (/ -1 x)))))
8.616 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) in (x) around 0
8.616 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) in x
8.616 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ -1 x)))) in x
8.616 * [taylor]: Taking taylor expansion of 1 in x
8.616 * [backup-simplify]: Simplify 1 into 1
8.616 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
8.616 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.616 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.616 * [taylor]: Taking taylor expansion of -1 in x
8.616 * [backup-simplify]: Simplify -1 into -1
8.616 * [taylor]: Taking taylor expansion of x in x
8.616 * [backup-simplify]: Simplify 0 into 0
8.616 * [backup-simplify]: Simplify 1 into 1
8.617 * [backup-simplify]: Simplify (/ -1 1) into -1
8.617 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.617 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
8.617 * [backup-simplify]: Simplify (- (/ 1 (exp (/ -1 x)))) into (- (/ 1 (exp (/ -1 x))))
8.617 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (exp (/ -1 x))))) into (- 1 (/ 1 (exp (/ -1 x))))
8.617 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) into (/ 1 (- 1 (/ 1 (exp (/ -1 x)))))
8.617 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) in x
8.617 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (exp (/ -1 x)))) in x
8.617 * [taylor]: Taking taylor expansion of 1 in x
8.617 * [backup-simplify]: Simplify 1 into 1
8.617 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
8.617 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.617 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.617 * [taylor]: Taking taylor expansion of -1 in x
8.617 * [backup-simplify]: Simplify -1 into -1
8.617 * [taylor]: Taking taylor expansion of x in x
8.617 * [backup-simplify]: Simplify 0 into 0
8.617 * [backup-simplify]: Simplify 1 into 1
8.618 * [backup-simplify]: Simplify (/ -1 1) into -1
8.618 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.618 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
8.618 * [backup-simplify]: Simplify (- (/ 1 (exp (/ -1 x)))) into (- (/ 1 (exp (/ -1 x))))
8.618 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (exp (/ -1 x))))) into (- 1 (/ 1 (exp (/ -1 x))))
8.618 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) into (/ 1 (- 1 (/ 1 (exp (/ -1 x)))))
8.618 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) into (/ 1 (- 1 (/ 1 (exp (/ -1 x)))))
8.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
8.618 * [backup-simplify]: Simplify (- 0) into 0
8.619 * [backup-simplify]: Simplify (+ 0 0) into 0
8.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))))) into 0
8.619 * [backup-simplify]: Simplify 0 into 0
8.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
8.619 * [backup-simplify]: Simplify (- 0) into 0
8.619 * [backup-simplify]: Simplify (+ 0 0) into 0
8.620 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))))) into 0
8.620 * [backup-simplify]: Simplify 0 into 0
8.620 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
8.996 * [backup-simplify]: Simplify (- 0) into 0
8.996 * [backup-simplify]: Simplify (+ 0 0) into 0
8.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))))) into 0
8.997 * [backup-simplify]: Simplify 0 into 0
8.997 * [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
8.997 * [backup-simplify]: Simplify (- 0) into 0
8.997 * [backup-simplify]: Simplify (+ 0 0) into 0
8.998 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))))) into 0
8.998 * [backup-simplify]: Simplify 0 into 0
8.998 * [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
8.998 * [backup-simplify]: Simplify (- 0) into 0
8.998 * [backup-simplify]: Simplify (+ 0 0) into 0
8.999 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))))) into 0
8.999 * [backup-simplify]: Simplify 0 into 0
8.999 * [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
8.999 * [backup-simplify]: Simplify (- 0) into 0
9.000 * [backup-simplify]: Simplify (+ 0 0) into 0
9.000 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ 1 (exp (/ -1 x))))) (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))) (* 0 (/ 0 (- 1 (/ 1 (exp (/ -1 x)))))))) into 0
9.000 * [backup-simplify]: Simplify 0 into 0
9.000 * [backup-simplify]: Simplify (/ 1 (- 1 (/ 1 (exp (/ -1 (/ 1 (- x))))))) into (/ 1 (- 1 (/ 1 (exp x))))
9.000 * * * [progress]: simplifying candidates
9.000 * * * * [progress]: [ 1 / 179 ] 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)))))))))>
9.000 * * * * [progress]: [ 2 / 179 ] 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))))))))>
9.000 * * * * [progress]: [ 3 / 179 ] 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)))))))))>
9.000 * * * * [progress]: [ 4 / 179 ] 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))))))))>
9.000 * * * * [progress]: [ 5 / 179 ] 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))))))>
9.000 * * * * [progress]: [ 6 / 179 ] 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)))))))))>
9.001 * * * * [progress]: [ 7 / 179 ] 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))))))))>
9.001 * * * * [progress]: [ 8 / 179 ] 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))))))>
9.001 * * * * [progress]: [ 9 / 179 ] 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)))))))))>
9.001 * * * * [progress]: [ 10 / 179 ] 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))))))))>
9.001 * * * * [progress]: [ 11 / 179 ] 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))))))>
9.001 * * * * [progress]: [ 12 / 179 ] 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)))))>
9.001 * * * * [progress]: [ 13 / 179 ] 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)))))>
9.001 * * * * [progress]: [ 14 / 179 ] 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)))))))))>
9.001 * * * * [progress]: [ 15 / 179 ] 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))))))))>
9.001 * * * * [progress]: [ 16 / 179 ] 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)))))))))>
9.001 * * * * [progress]: [ 17 / 179 ] 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))))))))>
9.001 * * * * [progress]: [ 18 / 179 ] 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))))))>
9.001 * * * * [progress]: [ 19 / 179 ] 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)))))))))>
9.001 * * * * [progress]: [ 20 / 179 ] 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))))))))>
9.001 * * * * [progress]: [ 21 / 179 ] 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))))))>
9.001 * * * * [progress]: [ 22 / 179 ] 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)))))))))>
9.001 * * * * [progress]: [ 23 / 179 ] 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))))))))>
9.001 * * * * [progress]: [ 24 / 179 ] 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))))))>
9.001 * * * * [progress]: [ 25 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
9.001 * * * * [progress]: [ 26 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
9.001 * * * * [progress]: [ 27 / 179 ] 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)))))))))>
9.001 * * * * [progress]: [ 28 / 179 ] 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))))))))>
9.001 * * * * [progress]: [ 29 / 179 ] 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)))))))))>
9.002 * * * * [progress]: [ 30 / 179 ] 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))))))))>
9.002 * * * * [progress]: [ 31 / 179 ] 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))))))>
9.002 * * * * [progress]: [ 32 / 179 ] 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)))))))))>
9.002 * * * * [progress]: [ 33 / 179 ] 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))))))))>
9.002 * * * * [progress]: [ 34 / 179 ] 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))))))>
9.002 * * * * [progress]: [ 35 / 179 ] 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)))))))))>
9.002 * * * * [progress]: [ 36 / 179 ] 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))))))))>
9.002 * * * * [progress]: [ 37 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ 1 (exp x)) (/ 1 1)))) (fma (- (/ 1 (exp x))) (/ 1 1) (* (/ 1 (exp x)) (/ 1 1))))))>
9.002 * * * * [progress]: [ 38 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
9.002 * * * * [progress]: [ 39 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ (fma 1 1 (- (* (/ 1 (exp x)) 1))) (fma (- (/ 1 (exp x))) 1 (* (/ 1 (exp x)) 1)))))>
9.002 * * * * [progress]: [ 40 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (log1p (expm1 (- 1 (/ 1 (exp x)))))))>
9.002 * * * * [progress]: [ 41 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (expm1 (log1p (- 1 (/ 1 (exp x)))))))>
9.002 * * * * [progress]: [ 42 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (/ 1 (exp x))))))>
9.002 * * * * [progress]: [ 43 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (fma (sqrt 1) (sqrt 1) (- (/ 1 (exp x))))))>
9.002 * * * * [progress]: [ 44 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (fma 1 1 (- (/ 1 (exp x))))))>
9.002 * * * * [progress]: [ 45 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (log (/ (exp 1) (exp (/ 1 (exp x)))))))>
9.002 * * * * [progress]: [ 46 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (pow (- 1 (/ 1 (exp x))) 1)))>
9.002 * * * * [progress]: [ 47 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (exp (log (- 1 (/ 1 (exp x)))))))>
9.002 * * * * [progress]: [ 48 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (log (exp (- 1 (/ 1 (exp x)))))))>
9.002 * * * * [progress]: [ 49 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x))))) (cbrt (- 1 (/ 1 (exp x)))))))>
9.002 * * * * [progress]: [ 50 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (cbrt (* (* (- 1 (/ 1 (exp x))) (- 1 (/ 1 (exp x)))) (- 1 (/ 1 (exp x)))))))>
9.002 * * * * [progress]: [ 51 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (sqrt (- 1 (/ 1 (exp x)))) (sqrt (- 1 (/ 1 (exp x)))))))>
9.002 * * * * [progress]: [ 52 / 179 ] 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))))))))>
9.002 * * * * [progress]: [ 53 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ 1 (- (/ 1 (exp x))))))>
9.002 * * * * [progress]: [ 54 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* 1 (- 1 (/ 1 (exp x))))))>
9.002 * * * * [progress]: [ 55 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- (* 1 1) (* (/ 1 (exp x)) (/ 1 (exp x)))) (+ 1 (/ 1 (exp x))))))>
9.002 * * * * [progress]: [ 56 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ (sqrt 1) (sqrt (/ 1 (exp x)))) (- (sqrt 1) (sqrt (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 57 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x)))) (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x)))))))>
9.003 * * * * [progress]: [ 58 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ (sqrt 1) (/ 1 (sqrt (exp x)))) (- (sqrt 1) (/ 1 (sqrt (exp x)))))))>
9.003 * * * * [progress]: [ 59 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ 1 (sqrt (/ 1 (exp x)))) (- 1 (sqrt (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 60 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ 1 (/ (sqrt 1) (sqrt (exp x)))) (- 1 (/ (sqrt 1) (sqrt (exp x)))))))>
9.003 * * * * [progress]: [ 61 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* (+ 1 (/ 1 (sqrt (exp x)))) (- 1 (/ 1 (sqrt (exp x)))))))>
9.003 * * * * [progress]: [ 62 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* 1 (- 1 (/ 1 (exp x))))))>
9.003 * * * * [progress]: [ 63 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (* 1 (- 1 (/ 1 (exp x))))))>
9.003 * * * * [progress]: [ 64 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (+ 1 (- (/ 1 (exp x))))))>
9.003 * * * * [progress]: [ 65 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (posit16->real (real->posit16 (- 1 (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 66 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (log1p (expm1 (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 67 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (expm1 (log1p (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 68 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp x) -1))))>
9.003 * * * * [progress]: [ 69 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp x) (- 1)))))>
9.003 * * * * [progress]: [ 70 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp (* (cbrt x) (cbrt x))) (- (cbrt x))))))>
9.003 * * * * [progress]: [ 71 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp (sqrt x)) (- (sqrt x))))))>
9.003 * * * * [progress]: [ 72 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (exp 1) (- x)))))>
9.003 * * * * [progress]: [ 73 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (pow (/ 1 (exp x)) 1))))>
9.003 * * * * [progress]: [ 74 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (exp (- x)))))>
9.003 * * * * [progress]: [ 75 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (exp (- 0 x)))))>
9.003 * * * * [progress]: [ 76 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (exp (- (log 1) x)))))>
9.003 * * * * [progress]: [ 77 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (exp (log (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 78 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (log (exp (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 79 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (cbrt (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))))))>
9.003 * * * * [progress]: [ 80 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (cbrt (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 81 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (cbrt (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 82 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))))))>
9.003 * * * * [progress]: [ 83 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (- 1) (- (exp x))))))>
9.003 * * * * [progress]: [ 84 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1) (cbrt (exp x)))))))>
9.003 * * * * [progress]: [ 85 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (/ (cbrt 1) (sqrt (exp x)))))))>
9.004 * * * * [progress]: [ 86 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (exp x))))))>
9.004 * * * * [progress]: [ 87 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1) (cbrt (exp x)))))))>
9.004 * * * * [progress]: [ 88 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))))))>
9.004 * * * * [progress]: [ 89 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ (sqrt 1) 1) (/ (sqrt 1) (exp x))))))>
9.004 * * * * [progress]: [ 90 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x)))))))>
9.004 * * * * [progress]: [ 91 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))))))>
9.004 * * * * [progress]: [ 92 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* (/ 1 1) (/ 1 (exp x))))))>
9.004 * * * * [progress]: [ 93 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* 1 (/ 1 (exp x))))))>
9.004 * * * * [progress]: [ 94 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (* 1 (/ 1 (exp x))))))>
9.004 * * * * [progress]: [ 95 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (/ (exp x) 1)))))>
9.004 * * * * [progress]: [ 96 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))))>
9.004 * * * * [progress]: [ 97 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (/ 1 (sqrt (exp x))) (sqrt (exp x))))))>
9.004 * * * * [progress]: [ 98 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (/ 1 1) (exp x)))))>
9.004 * * * * [progress]: [ 99 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (* (cbrt 1) (cbrt 1)) (/ (exp x) (cbrt 1))))))>
9.004 * * * * [progress]: [ 100 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ (sqrt 1) (/ (exp x) (sqrt 1))))))>
9.004 * * * * [progress]: [ 101 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (/ (exp x) 1)))))>
9.004 * * * * [progress]: [ 102 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (posit16->real (real->posit16 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 103 / 179 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ 1 (- 1 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 104 / 179 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ 1 (- 1 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 105 / 179 ] simplifiying candidate #<alt (λ (x) (pow (- 1 (/ 1 (exp x))) -1))>
9.004 * * * * [progress]: [ 106 / 179 ] simplifiying candidate #<alt (λ (x) (pow (- 1 (/ 1 (exp x))) (- 1)))>
9.004 * * * * [progress]: [ 107 / 179 ] simplifiying candidate #<alt (λ (x) (pow (/ 1 (- 1 (/ 1 (exp x)))) 1))>
9.004 * * * * [progress]: [ 108 / 179 ] simplifiying candidate #<alt (λ (x) (exp (- (log (- 1 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 109 / 179 ] simplifiying candidate #<alt (λ (x) (exp (- 0 (log (- 1 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 110 / 179 ] simplifiying candidate #<alt (λ (x) (exp (- (log 1) (log (- 1 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 111 / 179 ] simplifiying candidate #<alt (λ (x) (exp (log (/ 1 (- 1 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 112 / 179 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 1 (- 1 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 113 / 179 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* 1 1) 1) (* (* (- 1 (/ 1 (exp x))) (- 1 (/ 1 (exp x)))) (- 1 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 114 / 179 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ 1 (- 1 (/ 1 (exp x))))) (cbrt (/ 1 (- 1 (/ 1 (exp x)))))) (cbrt (/ 1 (- 1 (/ 1 (exp x)))))))>
9.004 * * * * [progress]: [ 115 / 179 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ 1 (- 1 (/ 1 (exp x)))) (/ 1 (- 1 (/ 1 (exp x))))) (/ 1 (- 1 (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 116 / 179 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 1 (- 1 (/ 1 (exp x))))) (sqrt (/ 1 (- 1 (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 117 / 179 ] simplifiying candidate #<alt (λ (x) (/ (- 1) (- (- 1 (/ 1 (exp x))))))>
9.005 * * * * [progress]: [ 118 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x)))))) (/ (cbrt 1) (cbrt (- 1 (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 119 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (- 1 (/ 1 (exp x))))) (/ (cbrt 1) (sqrt (- 1 (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 120 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- 1 (/ 1 (exp x))))))>
9.005 * * * * [progress]: [ 121 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (sqrt (/ 1 (exp x))))) (/ (cbrt 1) (- (sqrt 1) (sqrt (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 122 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))) (/ (cbrt 1) (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x)))))))>
9.005 * * * * [progress]: [ 123 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (/ 1 (sqrt (exp x))))) (/ (cbrt 1) (- (sqrt 1) (/ 1 (sqrt (exp x)))))))>
9.005 * * * * [progress]: [ 124 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) (+ 1 (sqrt (/ 1 (exp x))))) (/ (cbrt 1) (- 1 (sqrt (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 125 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) (+ 1 (/ (sqrt 1) (sqrt (exp x))))) (/ (cbrt 1) (- 1 (/ (sqrt 1) (sqrt (exp x)))))))>
9.005 * * * * [progress]: [ 126 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) (+ 1 (/ 1 (sqrt (exp x))))) (/ (cbrt 1) (- 1 (/ 1 (sqrt (exp x)))))))>
9.005 * * * * [progress]: [ 127 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- 1 (/ 1 (exp x))))))>
9.005 * * * * [progress]: [ 128 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- 1 (/ 1 (exp x))))))>
9.005 * * * * [progress]: [ 129 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x)))))) (/ (sqrt 1) (cbrt (- 1 (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 130 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) (sqrt (- 1 (/ 1 (exp x))))) (/ (sqrt 1) (sqrt (- 1 (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 131 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) 1) (/ (sqrt 1) (- 1 (/ 1 (exp x))))))>
9.005 * * * * [progress]: [ 132 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) (+ (sqrt 1) (sqrt (/ 1 (exp x))))) (/ (sqrt 1) (- (sqrt 1) (sqrt (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 133 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))) (/ (sqrt 1) (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x)))))))>
9.005 * * * * [progress]: [ 134 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) (+ (sqrt 1) (/ 1 (sqrt (exp x))))) (/ (sqrt 1) (- (sqrt 1) (/ 1 (sqrt (exp x)))))))>
9.005 * * * * [progress]: [ 135 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) (+ 1 (sqrt (/ 1 (exp x))))) (/ (sqrt 1) (- 1 (sqrt (/ 1 (exp x)))))))>
9.005 * * * * [progress]: [ 136 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) (+ 1 (/ (sqrt 1) (sqrt (exp x))))) (/ (sqrt 1) (- 1 (/ (sqrt 1) (sqrt (exp x)))))))>
9.005 * * * * [progress]: [ 137 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) (+ 1 (/ 1 (sqrt (exp x))))) (/ (sqrt 1) (- 1 (/ 1 (sqrt (exp x)))))))>
9.005 * * * * [progress]: [ 138 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) 1) (/ (sqrt 1) (- 1 (/ 1 (exp x))))))>
9.005 * * * * [progress]: [ 139 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 1) 1) (/ (sqrt 1) (- 1 (/ 1 (exp x))))))>
9.005 * * * * [progress]: [ 140 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x)))))) (/ 1 (cbrt (- 1 (/ 1 (exp x)))))))>
9.006 * * * * [progress]: [ 141 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (- 1 (/ 1 (exp x))))) (/ 1 (sqrt (- 1 (/ 1 (exp x)))))))>
9.006 * * * * [progress]: [ 142 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ 1 (- 1 (/ 1 (exp x))))))>
9.006 * * * * [progress]: [ 143 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (sqrt 1) (sqrt (/ 1 (exp x))))) (/ 1 (- (sqrt 1) (sqrt (/ 1 (exp x)))))))>
9.006 * * * * [progress]: [ 144 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))) (/ 1 (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x)))))))>
9.006 * * * * [progress]: [ 145 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (sqrt 1) (/ 1 (sqrt (exp x))))) (/ 1 (- (sqrt 1) (/ 1 (sqrt (exp x)))))))>
9.006 * * * * [progress]: [ 146 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ 1 (sqrt (/ 1 (exp x))))) (/ 1 (- 1 (sqrt (/ 1 (exp x)))))))>
9.006 * * * * [progress]: [ 147 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ 1 (/ (sqrt 1) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1) (sqrt (exp x)))))))>
9.006 * * * * [progress]: [ 148 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ 1 (/ 1 (sqrt (exp x))))) (/ 1 (- 1 (/ 1 (sqrt (exp x)))))))>
9.006 * * * * [progress]: [ 149 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ 1 (- 1 (/ 1 (exp x))))))>
9.006 * * * * [progress]: [ 150 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ 1 (- 1 (/ 1 (exp x))))))>
9.006 * * * * [progress]: [ 151 / 179 ] simplifiying candidate #<alt (λ (x) (* 1 (/ 1 (- 1 (/ 1 (exp x))))))>
9.006 * * * * [progress]: [ 152 / 179 ] simplifiying candidate #<alt (λ (x) (* 1 (/ 1 (- 1 (/ 1 (exp x))))))>
9.006 * * * * [progress]: [ 153 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- 1 (/ 1 (exp x))) 1)))>
9.006 * * * * [progress]: [ 154 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x)))))) (cbrt (- 1 (/ 1 (exp x))))))>
9.006 * * * * [progress]: [ 155 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (sqrt (- 1 (/ 1 (exp x))))) (sqrt (- 1 (/ 1 (exp x))))))>
9.006 * * * * [progress]: [ 156 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 1) (- 1 (/ 1 (exp x)))))>
9.006 * * * * [progress]: [ 157 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (+ (sqrt 1) (sqrt (/ 1 (exp x))))) (- (sqrt 1) (sqrt (/ 1 (exp x))))))>
9.006 * * * * [progress]: [ 158 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))) (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))))>
9.006 * * * * [progress]: [ 159 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (+ (sqrt 1) (/ 1 (sqrt (exp x))))) (- (sqrt 1) (/ 1 (sqrt (exp x))))))>
9.006 * * * * [progress]: [ 160 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (+ 1 (sqrt (/ 1 (exp x))))) (- 1 (sqrt (/ 1 (exp x))))))>
9.006 * * * * [progress]: [ 161 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (+ 1 (/ (sqrt 1) (sqrt (exp x))))) (- 1 (/ (sqrt 1) (sqrt (exp x))))))>
9.006 * * * * [progress]: [ 162 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 (+ 1 (/ 1 (sqrt (exp x))))) (- 1 (/ 1 (sqrt (exp x))))))>
9.006 * * * * [progress]: [ 163 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 1) (- 1 (/ 1 (exp x)))))>
9.006 * * * * [progress]: [ 164 / 179 ] simplifiying candidate #<alt (λ (x) (/ (/ 1 1) (- 1 (/ 1 (exp x)))))>
9.007 * * * * [progress]: [ 165 / 179 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt 1) (cbrt 1)) (/ (- 1 (/ 1 (exp x))) (cbrt 1))))>
9.007 * * * * [progress]: [ 166 / 179 ] simplifiying candidate #<alt (λ (x) (/ (sqrt 1) (/ (- 1 (/ 1 (exp x))) (sqrt 1))))>
9.007 * * * * [progress]: [ 167 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (- 1 (/ 1 (exp x))) 1)))>
9.007 * * * * [progress]: [ 168 / 179 ] 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)))))))>
9.007 * * * * [progress]: [ 169 / 179 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (- (* 1 1) (* (/ 1 (exp x)) (/ 1 (exp x))))) (+ 1 (/ 1 (exp x)))))>
9.007 * * * * [progress]: [ 170 / 179 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (/ 1 (- 1 (/ 1 (exp x)))))))>
9.007 * * * * [progress]: [ 171 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- (+ x (* 1/6 (pow x 3))) (* 1/2 (pow x 2)))))>
9.007 * * * * [progress]: [ 172 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
9.007 * * * * [progress]: [ 173 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
9.007 * * * * [progress]: [ 174 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (- (+ (* 1/2 (pow x 2)) 1) x))))>
9.007 * * * * [progress]: [ 175 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
9.007 * * * * [progress]: [ 176 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
9.007 * * * * [progress]: [ 177 / 179 ] simplifiying candidate #<alt (λ (x) (+ (* 1/12 x) (+ (/ 1 x) 1/2)))>
9.007 * * * * [progress]: [ 178 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
9.007 * * * * [progress]: [ 179 / 179 ] simplifiying candidate #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>
9.009 * [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))), (expm1 (/ 1 (- 1 (/ 1 (exp x))))), (log1p (/ 1 (- 1 (/ 1 (exp x))))), (- 1), (- (log (- 1 (/ 1 (exp x))))), (- 0 (log (- 1 (/ 1 (exp x))))), (- (log 1) (log (- 1 (/ 1 (exp x))))), (log (/ 1 (- 1 (/ 1 (exp x))))), (exp (/ 1 (- 1 (/ 1 (exp x))))), (/ (* (* 1 1) 1) (* (* (- 1 (/ 1 (exp x))) (- 1 (/ 1 (exp x)))) (- 1 (/ 1 (exp x))))), (* (cbrt (/ 1 (- 1 (/ 1 (exp x))))) (cbrt (/ 1 (- 1 (/ 1 (exp x)))))), (cbrt (/ 1 (- 1 (/ 1 (exp x))))), (* (* (/ 1 (- 1 (/ 1 (exp x)))) (/ 1 (- 1 (/ 1 (exp x))))) (/ 1 (- 1 (/ 1 (exp x))))), (sqrt (/ 1 (- 1 (/ 1 (exp x))))), (sqrt (/ 1 (- 1 (/ 1 (exp x))))), (- 1), (- (- 1 (/ 1 (exp x)))), (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x)))))), (/ (cbrt 1) (cbrt (- 1 (/ 1 (exp x))))), (/ (* (cbrt 1) (cbrt 1)) (sqrt (- 1 (/ 1 (exp x))))), (/ (cbrt 1) (sqrt (- 1 (/ 1 (exp x))))), (/ (* (cbrt 1) (cbrt 1)) 1), (/ (cbrt 1) (- 1 (/ 1 (exp x)))), (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (sqrt (/ 1 (exp x))))), (/ (cbrt 1) (- (sqrt 1) (sqrt (/ 1 (exp x))))), (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))), (/ (cbrt 1) (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))), (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (/ 1 (sqrt (exp x))))), (/ (cbrt 1) (- (sqrt 1) (/ 1 (sqrt (exp x))))), (/ (* (cbrt 1) (cbrt 1)) (+ 1 (sqrt (/ 1 (exp x))))), (/ (cbrt 1) (- 1 (sqrt (/ 1 (exp x))))), (/ (* (cbrt 1) (cbrt 1)) (+ 1 (/ (sqrt 1) (sqrt (exp x))))), (/ (cbrt 1) (- 1 (/ (sqrt 1) (sqrt (exp x))))), (/ (* (cbrt 1) (cbrt 1)) (+ 1 (/ 1 (sqrt (exp x))))), (/ (cbrt 1) (- 1 (/ 1 (sqrt (exp x))))), (/ (* (cbrt 1) (cbrt 1)) 1), (/ (cbrt 1) (- 1 (/ 1 (exp x)))), (/ (* (cbrt 1) (cbrt 1)) 1), (/ (cbrt 1) (- 1 (/ 1 (exp x)))), (/ (sqrt 1) (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x)))))), (/ (sqrt 1) (cbrt (- 1 (/ 1 (exp x))))), (/ (sqrt 1) (sqrt (- 1 (/ 1 (exp x))))), (/ (sqrt 1) (sqrt (- 1 (/ 1 (exp x))))), (/ (sqrt 1) 1), (/ (sqrt 1) (- 1 (/ 1 (exp x)))), (/ (sqrt 1) (+ (sqrt 1) (sqrt (/ 1 (exp x))))), (/ (sqrt 1) (- (sqrt 1) (sqrt (/ 1 (exp x))))), (/ (sqrt 1) (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))), (/ (sqrt 1) (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))), (/ (sqrt 1) (+ (sqrt 1) (/ 1 (sqrt (exp x))))), (/ (sqrt 1) (- (sqrt 1) (/ 1 (sqrt (exp x))))), (/ (sqrt 1) (+ 1 (sqrt (/ 1 (exp x))))), (/ (sqrt 1) (- 1 (sqrt (/ 1 (exp x))))), (/ (sqrt 1) (+ 1 (/ (sqrt 1) (sqrt (exp x))))), (/ (sqrt 1) (- 1 (/ (sqrt 1) (sqrt (exp x))))), (/ (sqrt 1) (+ 1 (/ 1 (sqrt (exp x))))), (/ (sqrt 1) (- 1 (/ 1 (sqrt (exp x))))), (/ (sqrt 1) 1), (/ (sqrt 1) (- 1 (/ 1 (exp x)))), (/ (sqrt 1) 1), (/ (sqrt 1) (- 1 (/ 1 (exp x)))), (/ 1 (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x)))))), (/ 1 (cbrt (- 1 (/ 1 (exp x))))), (/ 1 (sqrt (- 1 (/ 1 (exp x))))), (/ 1 (sqrt (- 1 (/ 1 (exp x))))), (/ 1 1), (/ 1 (- 1 (/ 1 (exp x)))), (/ 1 (+ (sqrt 1) (sqrt (/ 1 (exp x))))), (/ 1 (- (sqrt 1) (sqrt (/ 1 (exp x))))), (/ 1 (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))), (/ 1 (- (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))), (/ 1 (+ (sqrt 1) (/ 1 (sqrt (exp x))))), (/ 1 (- (sqrt 1) (/ 1 (sqrt (exp x))))), (/ 1 (+ 1 (sqrt (/ 1 (exp x))))), (/ 1 (- 1 (sqrt (/ 1 (exp x))))), (/ 1 (+ 1 (/ (sqrt 1) (sqrt (exp x))))), (/ 1 (- 1 (/ (sqrt 1) (sqrt (exp x))))), (/ 1 (+ 1 (/ 1 (sqrt (exp x))))), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 1), (/ 1 (- 1 (/ 1 (exp x)))), (/ 1 1), (/ 1 (- 1 (/ 1 (exp x)))), (/ 1 (- 1 (/ 1 (exp x)))), (/ (- 1 (/ 1 (exp x))) 1), (/ 1 (* (cbrt (- 1 (/ 1 (exp x)))) (cbrt (- 1 (/ 1 (exp x)))))), (/ 1 (sqrt (- 1 (/ 1 (exp x))))), (/ 1 1), (/ 1 (+ (sqrt 1) (sqrt (/ 1 (exp x))))), (/ 1 (+ (sqrt 1) (/ (sqrt 1) (sqrt (exp x))))), (/ 1 (+ (sqrt 1) (/ 1 (sqrt (exp x))))), (/ 1 (+ 1 (sqrt (/ 1 (exp x))))), (/ 1 (+ 1 (/ (sqrt 1) (sqrt (exp x))))), (/ 1 (+ 1 (/ 1 (sqrt (exp x))))), (/ 1 1), (/ 1 1), (/ (- 1 (/ 1 (exp x))) (cbrt 1)), (/ (- 1 (/ 1 (exp x))) (sqrt 1)), (/ (- 1 (/ 1 (exp x))) 1), (/ 1 (- (pow 1 3) (pow (/ 1 (exp x)) 3))), (/ 1 (- (* 1 1) (* (/ 1 (exp x)) (/ 1 (exp x))))), (real->posit16 (/ 1 (- 1 (/ 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)), (+ (* 1/12 x) (+ (/ 1 x) 1/2)), (/ 1 (- 1 (/ 1 (exp x)))), (/ 1 (- 1 (/ 1 (exp x))))
9.012 * * [simplify]: iteration 1: (256 enodes)
9.203 * * [simplify]: iteration 2: (973 enodes)
9.359 * * [simplify]: iteration 3: (1338 enodes)
9.668 * * [simplify]: Extracting #0: cost 67 inf + 0
9.668 * * [simplify]: Extracting #1: cost 256 inf + 2
9.670 * * [simplify]: Extracting #2: cost 370 inf + 2117
9.675 * * [simplify]: Extracting #3: cost 211 inf + 34586
9.692 * * [simplify]: Extracting #4: cost 46 inf + 74717
9.716 * * [simplify]: Extracting #5: cost 4 inf + 86937
9.738 * * [simplify]: Extracting #6: cost 0 inf + 88296
9.753 * [simplify]: Simplified to (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (/ 1 (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))), (- 1 (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x))))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (- 1 (exp (- x))), (- (exp (- x)) (exp (- x))), (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 (exp (- (- (- x) x) x))), (+ (fma (exp (- x)) (exp (- x)) 1) (exp (- x))), (/ -1 (exp x)), (- 1 (* (exp (- x)) (exp (- x)))), (+ 1 (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)))), (+ (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))), (expm1 (/ 1 (- 1 (exp (- x))))), (log1p (/ 1 (- 1 (exp (- x))))), -1, (- (log1p (/ -1 (exp x)))), (- (log1p (/ -1 (exp x)))), (- (log1p (/ -1 (exp x)))), (- (log1p (/ -1 (exp x)))), (exp (/ 1 (- 1 (exp (- x))))), (/ (/ 1 (- 1 (exp (- x)))) (* (- 1 (exp (- x))) (- 1 (exp (- x))))), (* (cbrt (/ 1 (- 1 (exp (- x))))) (cbrt (/ 1 (- 1 (exp (- x)))))), (cbrt (/ 1 (- 1 (exp (- x))))), (/ (/ 1 (- 1 (exp (- x)))) (* (- 1 (exp (- x))) (- 1 (exp (- x))))), (sqrt (/ 1 (- 1 (exp (- x))))), (sqrt (/ 1 (- 1 (exp (- x))))), -1, (- (- 1 (exp (- x)))), (/ 1 (* (cbrt (- 1 (exp (- x)))) (cbrt (- 1 (exp (- x)))))), (/ 1 (cbrt (- 1 (exp (- x))))), (/ 1 (sqrt (- 1 (exp (- x))))), (/ 1 (sqrt (- 1 (exp (- x))))), 1, (/ 1 (- 1 (exp (- x)))), (/ 1 (+ (sqrt (exp (- x))) 1)), (/ 1 (- 1 (sqrt (exp (- x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 (+ (sqrt (exp (- x))) 1)), (/ 1 (- 1 (sqrt (exp (- x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), 1, (/ 1 (- 1 (exp (- x)))), 1, (/ 1 (- 1 (exp (- x)))), (/ 1 (* (cbrt (- 1 (exp (- x)))) (cbrt (- 1 (exp (- x)))))), (/ 1 (cbrt (- 1 (exp (- x))))), (/ 1 (sqrt (- 1 (exp (- x))))), (/ 1 (sqrt (- 1 (exp (- x))))), 1, (/ 1 (- 1 (exp (- x)))), (/ 1 (+ (sqrt (exp (- x))) 1)), (/ 1 (- 1 (sqrt (exp (- x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 (+ (sqrt (exp (- x))) 1)), (/ 1 (- 1 (sqrt (exp (- x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), 1, (/ 1 (- 1 (exp (- x)))), 1, (/ 1 (- 1 (exp (- x)))), (/ 1 (* (cbrt (- 1 (exp (- x)))) (cbrt (- 1 (exp (- x)))))), (/ 1 (cbrt (- 1 (exp (- x))))), (/ 1 (sqrt (- 1 (exp (- x))))), (/ 1 (sqrt (- 1 (exp (- x))))), 1, (/ 1 (- 1 (exp (- x)))), (/ 1 (+ (sqrt (exp (- x))) 1)), (/ 1 (- 1 (sqrt (exp (- x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 (+ (sqrt (exp (- x))) 1)), (/ 1 (- 1 (sqrt (exp (- x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (- 1 (/ 1 (sqrt (exp x))))), 1, (/ 1 (- 1 (exp (- x)))), 1, (/ 1 (- 1 (exp (- x)))), (/ 1 (- 1 (exp (- x)))), (- 1 (exp (- x))), (/ 1 (* (cbrt (- 1 (exp (- x)))) (cbrt (- 1 (exp (- x)))))), (/ 1 (sqrt (- 1 (exp (- x))))), 1, (/ 1 (+ (sqrt (exp (- x))) 1)), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (+ (sqrt (exp (- x))) 1)), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), (/ 1 (+ (/ 1 (sqrt (exp x))) 1)), 1, 1, (- 1 (exp (- x))), (- 1 (exp (- x))), (- 1 (exp (- x))), (/ 1 (- 1 (exp (- (- (- x) x) x)))), (/ 1 (- 1 (* (exp (- x)) (exp (- x))))), (real->posit16 (/ 1 (- 1 (exp (- x))))), (fma -1/2 (* x x) (fma 1/6 (* (* x x) x) x)), (- 1 (exp (- x))), (- 1 (exp (- x))), (- (fma (* 1/2 x) x 1) x), (exp (- x)), (exp (- x)), (+ (/ 1 x) (fma x 1/12 1/2)), (/ 1 (- 1 (exp (- x)))), (/ 1 (- 1 (exp (- x))))
9.765 * * * [progress]: adding candidates to table
10.961 * [progress]: [Phase 3 of 3] Extracting.
10.961 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (/ 1 x) (fma 1/12 x 1/2)))> #<alt (λ (x) (/ (exp x) (expm1 x)))> #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>)
10.961 * * * [regime-changes]: Trying 2 branch expressions: (x (exp x))
10.961 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (/ 1 x) (fma 1/12 x 1/2)))> #<alt (λ (x) (/ (exp x) (expm1 x)))> #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>)
10.986 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (+ (/ 1 x) (fma 1/12 x 1/2)))> #<alt (λ (x) (/ (exp x) (expm1 x)))> #<alt (λ (x) (/ 1 (- 1 (/ 1 (exp x)))))>)
11.004 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
11.004 * [simplify]: Simplifying (/ (exp x) (expm1 x))
11.004 * * [simplify]: iteration 1: (4 enodes)
11.004 * * [simplify]: Extracting #0: cost 1 inf + 0
11.004 * * [simplify]: Extracting #1: cost 3 inf + 0
11.004 * * [simplify]: Extracting #2: cost 4 inf + 0
11.004 * * [simplify]: Extracting #3: cost 3 inf + 1
11.004 * * [simplify]: Extracting #4: cost 0 inf + 324
11.004 * [simplify]: Simplified to (/ (exp x) (expm1 x))
14.511 * [regime-testing]: Baseline error score: 0.36894640847305427
14.513 * [regime-testing]: Oracle error score: 0.003375421927740968
14.517 * [regime-testing]: End program error score: 0.36894640847305427
14.565 * [regime-testing]: Target error score: 39.726923550152854