9.967 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.060 * * * [progress]: [2/2] Setting up program. 0.062 * [progress]: [Phase 2 of 3] Improving. 0.063 * [simplify]: Simplifying using # : (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) 0.063 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 0.065 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 0.068 * * [simplify]: iteration 2 : 52 enodes (cost 15 ) 0.074 * * [simplify]: iteration 3 : 111 enodes (cost 15 ) 0.097 * * [simplify]: iteration 4 : 207 enodes (cost 14 ) 0.151 * * [simplify]: iteration 5 : 592 enodes (cost 12 ) 0.863 * * [simplify]: iteration 6 : 3156 enodes (cost 12 ) 3.053 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 3.053 * [simplify]: Simplified to: (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj) 3.056 * * [progress]: iteration 1 / 4 3.056 * * * [progress]: picking best candidate 3.059 * * * * [pick]: Picked # 3.059 * * * [progress]: localizing error 3.067 * * * [progress]: generating rewritten candidates 3.067 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.165 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 3.168 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 3.212 * * * [progress]: generating series expansions 3.212 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.212 * [approximate]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in (x wj) around 0 3.212 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in wj 3.212 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (exp wj) (+ wj 1)))) in wj 3.212 * [taylor]: Taking taylor expansion of wj in wj 3.212 * [taylor]: Taking taylor expansion of (/ x (* (exp wj) (+ wj 1))) in wj 3.212 * [taylor]: Taking taylor expansion of x in wj 3.212 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 3.212 * [taylor]: Taking taylor expansion of (exp wj) in wj 3.212 * [taylor]: Taking taylor expansion of wj in wj 3.212 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 3.212 * [taylor]: Taking taylor expansion of wj in wj 3.212 * [taylor]: Taking taylor expansion of 1 in wj 3.213 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 3.213 * [taylor]: Taking taylor expansion of wj in wj 3.213 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 3.213 * [taylor]: Taking taylor expansion of wj in wj 3.213 * [taylor]: Taking taylor expansion of 1 in wj 3.213 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in x 3.213 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (exp wj) (+ wj 1)))) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of (/ x (* (exp wj) (+ wj 1))) in x 3.214 * [taylor]: Taking taylor expansion of x in x 3.214 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in x 3.214 * [taylor]: Taking taylor expansion of (exp wj) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of (+ wj 1) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of 1 in x 3.214 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of (+ wj 1) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of 1 in x 3.214 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in x 3.214 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (exp wj) (+ wj 1)))) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of (/ x (* (exp wj) (+ wj 1))) in x 3.214 * [taylor]: Taking taylor expansion of x in x 3.214 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in x 3.214 * [taylor]: Taking taylor expansion of (exp wj) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of (+ wj 1) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of 1 in x 3.214 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of (+ wj 1) in x 3.214 * [taylor]: Taking taylor expansion of wj in x 3.214 * [taylor]: Taking taylor expansion of 1 in x 3.215 * [taylor]: Taking taylor expansion of (- wj (/ wj (+ wj 1))) in wj 3.215 * [taylor]: Taking taylor expansion of wj in wj 3.215 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 3.215 * [taylor]: Taking taylor expansion of wj in wj 3.215 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 3.215 * [taylor]: Taking taylor expansion of wj in wj 3.215 * [taylor]: Taking taylor expansion of 1 in wj 3.216 * [taylor]: Taking taylor expansion of (/ 1 (* (exp wj) (+ wj 1))) in wj 3.216 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 3.216 * [taylor]: Taking taylor expansion of (exp wj) in wj 3.216 * [taylor]: Taking taylor expansion of wj in wj 3.216 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 3.216 * [taylor]: Taking taylor expansion of wj in wj 3.216 * [taylor]: Taking taylor expansion of 1 in wj 3.219 * [taylor]: Taking taylor expansion of 0 in wj 3.222 * [approximate]: Taking taylor expansion of (- (+ (/ 1 wj) (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))))) (/ 1 (* wj (+ (/ 1 wj) 1)))) in (x wj) around 0 3.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 wj) (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))))) (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 3.222 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))))) in wj 3.222 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.222 * [taylor]: Taking taylor expansion of wj in wj 3.223 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) in wj 3.223 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in wj 3.223 * [taylor]: Taking taylor expansion of x in wj 3.223 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in wj 3.223 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 3.223 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.223 * [taylor]: Taking taylor expansion of wj in wj 3.223 * [taylor]: Taking taylor expansion of 1 in wj 3.223 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 3.223 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.223 * [taylor]: Taking taylor expansion of wj in wj 3.224 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 3.224 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 3.224 * [taylor]: Taking taylor expansion of wj in wj 3.224 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 3.224 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.224 * [taylor]: Taking taylor expansion of wj in wj 3.224 * [taylor]: Taking taylor expansion of 1 in wj 3.226 * [taylor]: Taking taylor expansion of (- (+ (/ 1 wj) (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))))) (/ 1 (* wj (+ (/ 1 wj) 1)))) in x 3.226 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))))) in x 3.226 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.226 * [taylor]: Taking taylor expansion of wj in x 3.226 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) in x 3.226 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in x 3.226 * [taylor]: Taking taylor expansion of x in x 3.226 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in x 3.226 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 3.226 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.226 * [taylor]: Taking taylor expansion of wj in x 3.226 * [taylor]: Taking taylor expansion of 1 in x 3.226 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 3.226 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.226 * [taylor]: Taking taylor expansion of wj in x 3.228 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in x 3.228 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in x 3.228 * [taylor]: Taking taylor expansion of wj in x 3.228 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 3.228 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.228 * [taylor]: Taking taylor expansion of wj in x 3.228 * [taylor]: Taking taylor expansion of 1 in x 3.228 * [taylor]: Taking taylor expansion of (- (+ (/ 1 wj) (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))))) (/ 1 (* wj (+ (/ 1 wj) 1)))) in x 3.228 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))))) in x 3.228 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.228 * [taylor]: Taking taylor expansion of wj in x 3.228 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) in x 3.228 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in x 3.228 * [taylor]: Taking taylor expansion of x in x 3.228 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in x 3.228 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 3.228 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.228 * [taylor]: Taking taylor expansion of wj in x 3.228 * [taylor]: Taking taylor expansion of 1 in x 3.228 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 3.228 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.228 * [taylor]: Taking taylor expansion of wj in x 3.230 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in x 3.230 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in x 3.230 * [taylor]: Taking taylor expansion of wj in x 3.230 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 3.230 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.230 * [taylor]: Taking taylor expansion of wj in x 3.230 * [taylor]: Taking taylor expansion of 1 in x 3.230 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in wj 3.230 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 3.230 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 3.230 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 3.230 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.230 * [taylor]: Taking taylor expansion of wj in wj 3.231 * [taylor]: Taking taylor expansion of wj in wj 3.231 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 3.231 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.231 * [taylor]: Taking taylor expansion of wj in wj 3.233 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 3.233 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.233 * [taylor]: Taking taylor expansion of wj in wj 3.234 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 3.234 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 3.234 * [taylor]: Taking taylor expansion of wj in wj 3.234 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 3.234 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.234 * [taylor]: Taking taylor expansion of wj in wj 3.234 * [taylor]: Taking taylor expansion of 1 in wj 3.240 * [taylor]: Taking taylor expansion of 0 in wj 3.241 * [approximate]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in (x wj) around 0 3.241 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in wj 3.241 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 3.241 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 3.241 * [taylor]: Taking taylor expansion of wj in wj 3.241 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 3.241 * [taylor]: Taking taylor expansion of 1 in wj 3.241 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.241 * [taylor]: Taking taylor expansion of wj in wj 3.244 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in wj 3.244 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.244 * [taylor]: Taking taylor expansion of wj in wj 3.244 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in wj 3.244 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in wj 3.244 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 3.244 * [taylor]: Taking taylor expansion of 1 in wj 3.244 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.244 * [taylor]: Taking taylor expansion of wj in wj 3.244 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 3.245 * [taylor]: Taking taylor expansion of x in wj 3.245 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 3.245 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 3.245 * [taylor]: Taking taylor expansion of -1 in wj 3.245 * [taylor]: Taking taylor expansion of wj in wj 3.245 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in x 3.246 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in x 3.246 * [taylor]: Taking taylor expansion of wj in x 3.246 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 3.246 * [taylor]: Taking taylor expansion of 1 in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.246 * [taylor]: Taking taylor expansion of wj in x 3.246 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.246 * [taylor]: Taking taylor expansion of wj in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in x 3.246 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in x 3.246 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 3.246 * [taylor]: Taking taylor expansion of 1 in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.246 * [taylor]: Taking taylor expansion of wj in x 3.246 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 3.246 * [taylor]: Taking taylor expansion of x in x 3.246 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 3.246 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 3.246 * [taylor]: Taking taylor expansion of -1 in x 3.246 * [taylor]: Taking taylor expansion of wj in x 3.248 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in x 3.248 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in x 3.248 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in x 3.248 * [taylor]: Taking taylor expansion of wj in x 3.248 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 3.248 * [taylor]: Taking taylor expansion of 1 in x 3.248 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.248 * [taylor]: Taking taylor expansion of wj in x 3.248 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in x 3.248 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.248 * [taylor]: Taking taylor expansion of wj in x 3.248 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in x 3.248 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in x 3.248 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 3.248 * [taylor]: Taking taylor expansion of 1 in x 3.248 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.248 * [taylor]: Taking taylor expansion of wj in x 3.248 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 3.248 * [taylor]: Taking taylor expansion of x in x 3.248 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 3.248 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 3.248 * [taylor]: Taking taylor expansion of -1 in x 3.248 * [taylor]: Taking taylor expansion of wj in x 3.251 * [taylor]: Taking taylor expansion of (- (/ 1 (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) in wj 3.251 * [taylor]: Taking taylor expansion of (/ 1 (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in wj 3.251 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 3.251 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 3.251 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 3.251 * [taylor]: Taking taylor expansion of -1 in wj 3.251 * [taylor]: Taking taylor expansion of wj in wj 3.251 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 3.251 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 3.251 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 3.251 * [taylor]: Taking taylor expansion of -1 in wj 3.251 * [taylor]: Taking taylor expansion of wj in wj 3.251 * [taylor]: Taking taylor expansion of wj in wj 3.257 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (/ 1 wj)) in wj 3.257 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 3.257 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 3.258 * [taylor]: Taking taylor expansion of wj in wj 3.258 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 3.258 * [taylor]: Taking taylor expansion of 1 in wj 3.258 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.258 * [taylor]: Taking taylor expansion of wj in wj 3.260 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.260 * [taylor]: Taking taylor expansion of wj in wj 3.265 * [taylor]: Taking taylor expansion of 0 in wj 3.267 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 3.267 * [approximate]: Taking taylor expansion of (/ x (exp wj)) in (x wj) around 0 3.267 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 3.267 * [taylor]: Taking taylor expansion of x in wj 3.267 * [taylor]: Taking taylor expansion of (exp wj) in wj 3.267 * [taylor]: Taking taylor expansion of wj in wj 3.267 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 3.267 * [taylor]: Taking taylor expansion of x in x 3.267 * [taylor]: Taking taylor expansion of (exp wj) in x 3.267 * [taylor]: Taking taylor expansion of wj in x 3.267 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 3.267 * [taylor]: Taking taylor expansion of x in x 3.267 * [taylor]: Taking taylor expansion of (exp wj) in x 3.267 * [taylor]: Taking taylor expansion of wj in x 3.267 * [taylor]: Taking taylor expansion of (/ 1 (exp wj)) in wj 3.267 * [taylor]: Taking taylor expansion of (exp wj) in wj 3.267 * [taylor]: Taking taylor expansion of wj in wj 3.268 * [taylor]: Taking taylor expansion of 0 in wj 3.270 * [taylor]: Taking taylor expansion of 0 in wj 3.271 * [approximate]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in (x wj) around 0 3.271 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 3.271 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 3.271 * [taylor]: Taking taylor expansion of x in wj 3.271 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 3.271 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.271 * [taylor]: Taking taylor expansion of wj in wj 3.272 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 3.272 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 3.272 * [taylor]: Taking taylor expansion of x in x 3.272 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 3.272 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.272 * [taylor]: Taking taylor expansion of wj in x 3.273 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 3.273 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 3.273 * [taylor]: Taking taylor expansion of x in x 3.273 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 3.273 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.273 * [taylor]: Taking taylor expansion of wj in x 3.274 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 wj))) in wj 3.274 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 3.274 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.274 * [taylor]: Taking taylor expansion of wj in wj 3.276 * [taylor]: Taking taylor expansion of 0 in wj 3.278 * [taylor]: Taking taylor expansion of 0 in wj 3.280 * [taylor]: Taking taylor expansion of 0 in wj 3.280 * [approximate]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in (x wj) around 0 3.281 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in wj 3.281 * [taylor]: Taking taylor expansion of -1 in wj 3.281 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 3.281 * [taylor]: Taking taylor expansion of x in wj 3.281 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 3.281 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 3.281 * [taylor]: Taking taylor expansion of -1 in wj 3.281 * [taylor]: Taking taylor expansion of wj in wj 3.281 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in x 3.281 * [taylor]: Taking taylor expansion of -1 in x 3.281 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 3.281 * [taylor]: Taking taylor expansion of x in x 3.281 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 3.281 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 3.281 * [taylor]: Taking taylor expansion of -1 in x 3.281 * [taylor]: Taking taylor expansion of wj in x 3.282 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in x 3.282 * [taylor]: Taking taylor expansion of -1 in x 3.282 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 3.282 * [taylor]: Taking taylor expansion of x in x 3.282 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 3.282 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 3.282 * [taylor]: Taking taylor expansion of -1 in x 3.282 * [taylor]: Taking taylor expansion of wj in x 3.283 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 wj))) in wj 3.283 * [taylor]: Taking taylor expansion of -1 in wj 3.283 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 3.283 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 3.283 * [taylor]: Taking taylor expansion of -1 in wj 3.283 * [taylor]: Taking taylor expansion of wj in wj 3.285 * [taylor]: Taking taylor expansion of 0 in wj 3.287 * [taylor]: Taking taylor expansion of 0 in wj 3.290 * [taylor]: Taking taylor expansion of 0 in wj 3.290 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 3.290 * [approximate]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ wj 1)) in (x wj) around 0 3.290 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ wj 1)) in wj 3.290 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in wj 3.290 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 3.290 * [taylor]: Taking taylor expansion of x in wj 3.290 * [taylor]: Taking taylor expansion of (exp wj) in wj 3.290 * [taylor]: Taking taylor expansion of wj in wj 3.290 * [taylor]: Taking taylor expansion of wj in wj 3.290 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 3.290 * [taylor]: Taking taylor expansion of wj in wj 3.290 * [taylor]: Taking taylor expansion of 1 in wj 3.291 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ wj 1)) in x 3.291 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 3.291 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 3.291 * [taylor]: Taking taylor expansion of x in x 3.291 * [taylor]: Taking taylor expansion of (exp wj) in x 3.291 * [taylor]: Taking taylor expansion of wj in x 3.291 * [taylor]: Taking taylor expansion of wj in x 3.291 * [taylor]: Taking taylor expansion of (+ wj 1) in x 3.291 * [taylor]: Taking taylor expansion of wj in x 3.291 * [taylor]: Taking taylor expansion of 1 in x 3.291 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ wj 1)) in x 3.291 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 3.291 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 3.291 * [taylor]: Taking taylor expansion of x in x 3.291 * [taylor]: Taking taylor expansion of (exp wj) in x 3.291 * [taylor]: Taking taylor expansion of wj in x 3.291 * [taylor]: Taking taylor expansion of wj in x 3.291 * [taylor]: Taking taylor expansion of (+ wj 1) in x 3.291 * [taylor]: Taking taylor expansion of wj in x 3.291 * [taylor]: Taking taylor expansion of 1 in x 3.292 * [taylor]: Taking taylor expansion of (* -1 (/ wj (+ wj 1))) in wj 3.292 * [taylor]: Taking taylor expansion of -1 in wj 3.292 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 3.292 * [taylor]: Taking taylor expansion of wj in wj 3.292 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 3.292 * [taylor]: Taking taylor expansion of wj in wj 3.292 * [taylor]: Taking taylor expansion of 1 in wj 3.293 * [taylor]: Taking taylor expansion of (/ 1 (* (exp wj) (+ wj 1))) in wj 3.293 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 3.293 * [taylor]: Taking taylor expansion of (exp wj) in wj 3.293 * [taylor]: Taking taylor expansion of wj in wj 3.293 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 3.293 * [taylor]: Taking taylor expansion of wj in wj 3.293 * [taylor]: Taking taylor expansion of 1 in wj 3.295 * [taylor]: Taking taylor expansion of 0 in wj 3.297 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 wj) 1)) in (x wj) around 0 3.297 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 wj) 1)) in wj 3.297 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in wj 3.297 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 3.297 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 3.297 * [taylor]: Taking taylor expansion of x in wj 3.297 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 3.297 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.297 * [taylor]: Taking taylor expansion of wj in wj 3.298 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.298 * [taylor]: Taking taylor expansion of wj in wj 3.298 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 3.298 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.298 * [taylor]: Taking taylor expansion of wj in wj 3.298 * [taylor]: Taking taylor expansion of 1 in wj 3.299 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 wj) 1)) in x 3.299 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 3.299 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 3.299 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 3.299 * [taylor]: Taking taylor expansion of x in x 3.299 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 3.299 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.299 * [taylor]: Taking taylor expansion of wj in x 3.300 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.300 * [taylor]: Taking taylor expansion of wj in x 3.300 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 3.300 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.300 * [taylor]: Taking taylor expansion of wj in x 3.300 * [taylor]: Taking taylor expansion of 1 in x 3.300 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 wj) 1)) in x 3.300 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 3.300 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 3.300 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 3.300 * [taylor]: Taking taylor expansion of x in x 3.300 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 3.300 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.300 * [taylor]: Taking taylor expansion of wj in x 3.301 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.301 * [taylor]: Taking taylor expansion of wj in x 3.301 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 3.301 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.301 * [taylor]: Taking taylor expansion of wj in x 3.302 * [taylor]: Taking taylor expansion of 1 in x 3.302 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in wj 3.302 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in wj 3.302 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 3.302 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.302 * [taylor]: Taking taylor expansion of wj in wj 3.302 * [taylor]: Taking taylor expansion of 1 in wj 3.302 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 3.302 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.302 * [taylor]: Taking taylor expansion of wj in wj 3.305 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 3.305 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 3.305 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 3.305 * [taylor]: Taking taylor expansion of wj in wj 3.305 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 3.305 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.305 * [taylor]: Taking taylor expansion of wj in wj 3.305 * [taylor]: Taking taylor expansion of 1 in wj 3.310 * [taylor]: Taking taylor expansion of 0 in wj 3.312 * [approximate]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 wj))) in (x wj) around 0 3.312 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 wj))) in wj 3.312 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in wj 3.312 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.312 * [taylor]: Taking taylor expansion of wj in wj 3.312 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in wj 3.312 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 3.312 * [taylor]: Taking taylor expansion of x in wj 3.312 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 3.313 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 3.313 * [taylor]: Taking taylor expansion of -1 in wj 3.313 * [taylor]: Taking taylor expansion of wj in wj 3.313 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 3.313 * [taylor]: Taking taylor expansion of 1 in wj 3.313 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.313 * [taylor]: Taking taylor expansion of wj in wj 3.314 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 wj))) in x 3.314 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 3.314 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.314 * [taylor]: Taking taylor expansion of wj in x 3.314 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 3.314 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 3.314 * [taylor]: Taking taylor expansion of x in x 3.314 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 3.314 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 3.314 * [taylor]: Taking taylor expansion of -1 in x 3.314 * [taylor]: Taking taylor expansion of wj in x 3.315 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 3.315 * [taylor]: Taking taylor expansion of 1 in x 3.315 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.315 * [taylor]: Taking taylor expansion of wj in x 3.316 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 wj))) in x 3.316 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 3.316 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.316 * [taylor]: Taking taylor expansion of wj in x 3.316 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 3.316 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 3.316 * [taylor]: Taking taylor expansion of x in x 3.316 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 3.316 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 3.316 * [taylor]: Taking taylor expansion of -1 in x 3.316 * [taylor]: Taking taylor expansion of wj in x 3.317 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 3.317 * [taylor]: Taking taylor expansion of 1 in x 3.317 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 3.317 * [taylor]: Taking taylor expansion of wj in x 3.317 * [taylor]: Taking taylor expansion of (/ -1 (* (- 1 (/ 1 wj)) (exp (/ -1 wj)))) in wj 3.317 * [taylor]: Taking taylor expansion of -1 in wj 3.317 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (exp (/ -1 wj))) in wj 3.317 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 3.317 * [taylor]: Taking taylor expansion of 1 in wj 3.317 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.317 * [taylor]: Taking taylor expansion of wj in wj 3.317 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 3.317 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 3.317 * [taylor]: Taking taylor expansion of -1 in wj 3.317 * [taylor]: Taking taylor expansion of wj in wj 3.321 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 3.321 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 3.321 * [taylor]: Taking taylor expansion of wj in wj 3.321 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 3.321 * [taylor]: Taking taylor expansion of 1 in wj 3.321 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.321 * [taylor]: Taking taylor expansion of wj in wj 3.326 * [taylor]: Taking taylor expansion of 0 in wj 3.328 * * * [progress]: simplifying candidates 3.330 * [simplify]: Simplifying using # : (expm1 (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (log1p (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (* (exp (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (exp wj)) (log (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (exp (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (* (cbrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (cbrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj))) (cbrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (* (* (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj) (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (sqrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (sqrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (+ (pow (/ (- (/ x (exp wj)) wj) (+ 1 wj)) 3) (pow wj 3)) (+ (* (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (- (* wj wj) (* (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj))) (- (* (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (* wj wj)) (- (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj) (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj) (- (/ wj (+ 1 wj)) wj) (expm1 (/ x (exp wj))) (log1p (/ x (exp wj))) (- (log x) wj) (log (/ x (exp wj))) (exp (/ x (exp wj))) (/ (* (* x x) x) (* (* (exp wj) (exp wj)) (exp wj))) (* (cbrt (/ x (exp wj))) (cbrt (/ x (exp wj)))) (cbrt (/ x (exp wj))) (* (* (/ x (exp wj)) (/ x (exp wj))) (/ x (exp wj))) (sqrt (/ x (exp wj))) (sqrt (/ x (exp wj))) (- x) (- (exp wj)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (cbrt x) (cbrt (exp wj))) (/ (* (cbrt x) (cbrt x)) (sqrt (exp wj))) (/ (cbrt x) (sqrt (exp wj))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (exp wj)) (/ (sqrt x) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (sqrt x) (cbrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (/ (sqrt x) 1) (/ (sqrt x) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ x (sqrt (exp wj))) (/ 1 1) (/ x (exp wj)) (/ 1 (exp wj)) (/ (exp wj) x) (/ x (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (sqrt (exp wj))) (/ x 1) (/ (exp wj) (cbrt x)) (/ (exp wj) (sqrt x)) (/ (exp wj) x) (expm1 (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (log1p (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (- (log (- (/ x (exp wj)) wj)) (log (+ 1 wj))) (log (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (exp (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (/ (* (* (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj)) (- (/ x (exp wj)) wj)) (* (* (+ 1 wj) (+ 1 wj)) (+ 1 wj))) (* (cbrt (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (cbrt (/ (- (/ x (exp wj)) wj) (+ 1 wj)))) (cbrt (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (* (* (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (sqrt (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (sqrt (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (- (- (/ x (exp wj)) wj)) (- (+ 1 wj)) (/ (/ x (exp wj)) (+ 1 wj)) (/ wj (+ 1 wj)) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (cbrt (- (/ x (exp wj)) wj)) (cbrt (+ 1 wj))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (sqrt (+ 1 wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (sqrt (+ 1 wj))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) 1) (/ (cbrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) 1) (/ (cbrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (sqrt (- (/ x (exp wj)) wj)) (cbrt (+ 1 wj))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ 1 wj))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ 1 wj))) (/ (sqrt (- (/ x (exp wj)) wj)) 1) (/ (sqrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (/ (sqrt (- (/ x (exp wj)) wj)) 1) (/ (sqrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (/ 1 (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (/ x (exp wj)) wj) (cbrt (+ 1 wj))) (/ 1 (sqrt (+ 1 wj))) (/ (- (/ x (exp wj)) wj) (sqrt (+ 1 wj))) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (cbrt (+ 1 wj))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ 1 wj))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ 1 wj))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) 1) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ 1 wj)) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) 1) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ 1 wj)) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (cbrt (+ 1 wj))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ 1 wj))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ 1 wj))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) 1) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ 1 wj)) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) 1) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ 1 wj)) (/ 1 (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (/ x (exp wj)) wj) (cbrt (+ 1 wj))) (/ 1 (sqrt (+ 1 wj))) (/ (- (/ x (exp wj)) wj) (sqrt (+ 1 wj))) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ 1 (+ 1 wj)) (/ (+ 1 wj) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (/ x (exp wj)) wj) (sqrt (+ 1 wj))) (/ (- (/ x (exp wj)) wj) 1) (/ (- (/ x (exp wj)) wj) 1) (/ (+ 1 wj) (cbrt (- (/ x (exp wj)) wj))) (/ (+ 1 wj) (sqrt (- (/ x (exp wj)) wj))) (/ (+ 1 wj) (- (/ x (exp wj)) wj)) (/ (+ 1 wj) (- (sqrt (/ x (exp wj))) (sqrt wj))) (/ (+ 1 wj) (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj))) (/ (+ 1 wj) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ (- (/ x (exp wj)) wj) (- (* 1 1) (* wj wj))) (* (+ 1 wj) (+ (* (/ x (exp wj)) (/ x (exp wj))) (+ (* wj wj) (* (/ x (exp wj)) wj)))) (* (+ 1 wj) (+ (/ x (exp wj)) wj)) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ x (* 1/2 (* (pow wj 2) x))) (* wj x)) (/ x (exp wj)) (/ x (exp wj)) (- x (+ wj (* 2 (* wj x)))) (- (+ (/ x (* wj (exp wj))) (/ 1 wj)) 1) (- (+ (/ x (* wj (exp wj))) (/ 1 wj)) 1) 3.337 * * [simplify]: iteration 0 : 175 enodes (cost 1546 ) 3.369 * * [simplify]: iteration 1 : 416 enodes (cost 1474 ) 3.508 * * [simplify]: iteration 2 : 1217 enodes (cost 1408 ) 4.160 * * [simplify]: iteration done : 5000 enodes (cost 1399 ) 4.161 * [simplify]: Simplified to: (expm1 (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (log1p (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (exp (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (log (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (exp (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (* (cbrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (cbrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj))) (cbrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (pow (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj) 3) (sqrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (sqrt (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (+ (pow (/ (- (/ x (exp wj)) wj) (+ 1 wj)) 3) (pow wj 3)) (+ (* (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (- (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj)) (* wj wj)) (- (* (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (* wj wj)) (- (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj) (+ (/ (- (/ x (exp wj)) wj) (+ 1 wj)) wj) (- (/ wj (+ 1 wj)) wj) (expm1 (/ x (exp wj))) (log1p (/ x (exp wj))) (- (log x) wj) (- (log x) wj) (exp (/ x (exp wj))) (pow (/ x (exp wj)) 3) (* (cbrt (/ x (exp wj))) (cbrt (/ x (exp wj)))) (cbrt (/ x (exp wj))) (pow (/ x (exp wj)) 3) (sqrt (/ x (exp wj))) (sqrt (/ x (exp wj))) (- x) (- (exp wj)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (cbrt x) (cbrt (exp wj))) (/ (* (cbrt x) (cbrt x)) (sqrt (exp wj))) (/ (cbrt x) (sqrt (exp wj))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (exp wj)) (/ (sqrt x) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (sqrt x) (cbrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (sqrt x) (/ (sqrt x) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ x (sqrt (exp wj))) 1 (/ x (exp wj)) (exp (- wj)) (/ (exp wj) x) (/ x (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (sqrt (exp wj))) x (/ (exp wj) (cbrt x)) (/ (exp wj) (sqrt x)) (/ (exp wj) x) (expm1 (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (log1p (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (- (log (- (/ x (exp wj)) wj)) (log1p wj)) (- (log (- (/ x (exp wj)) wj)) (log1p wj)) (exp (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (pow (/ (- (/ x (exp wj)) wj) (+ 1 wj)) 3) (* (cbrt (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (cbrt (/ (- (/ x (exp wj)) wj) (+ 1 wj)))) (cbrt (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (pow (/ (- (/ x (exp wj)) wj) (+ 1 wj)) 3) (sqrt (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (sqrt (/ (- (/ x (exp wj)) wj) (+ 1 wj))) (- (- (/ x (exp wj)) wj)) (- -1 wj) (/ (/ x (exp wj)) (+ 1 wj)) (/ wj (+ 1 wj)) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (cbrt (- (/ x (exp wj)) wj)) (cbrt (+ 1 wj))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (sqrt (+ 1 wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (sqrt (+ 1 wj))) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (sqrt (- (/ x (exp wj)) wj)) (cbrt (+ 1 wj))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ 1 wj))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ 1 wj))) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (/ 1 (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (/ x (exp wj)) wj) (cbrt (+ 1 wj))) (/ 1 (sqrt (+ 1 wj))) (/ (- (/ x (exp wj)) wj) (sqrt (+ 1 wj))) 1 (/ (- (/ x (exp wj)) wj) (+ 1 wj)) 1 (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (cbrt (+ 1 wj))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ 1 wj))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ 1 wj))) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ 1 wj)) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ 1 wj)) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (cbrt (+ 1 wj))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ 1 wj))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ 1 wj))) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ 1 wj)) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ 1 wj)) (/ 1 (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (/ x (exp wj)) wj) (cbrt (+ 1 wj))) (/ 1 (sqrt (+ 1 wj))) (/ (- (/ x (exp wj)) wj) (sqrt (+ 1 wj))) 1 (/ (- (/ x (exp wj)) wj) (+ 1 wj)) 1 (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ 1 (+ 1 wj)) (/ (+ 1 wj) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj)))) (/ (- (/ x (exp wj)) wj) (sqrt (+ 1 wj))) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) (/ (+ 1 wj) (cbrt (- (/ x (exp wj)) wj))) (/ (+ 1 wj) (sqrt (- (/ x (exp wj)) wj))) (/ (+ 1 wj) (- (/ x (exp wj)) wj)) (/ (+ 1 wj) (- (sqrt (/ x (exp wj))) (sqrt wj))) (/ (+ 1 wj) (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj))) (/ (+ 1 wj) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (+ 1 (pow wj 3))) (/ (- (/ x (exp wj)) wj) (- 1 (* wj wj))) (* (+ wj 1) (fma wj (+ (/ x (exp wj)) wj) (/ (* x x) (exp (+ wj wj))))) (* (+ 1 wj) (+ (/ x (exp wj)) wj)) (+ x (* wj (- wj (* x 2)))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (+ x (* x (- (* 1/2 (* wj wj)) wj))) (/ x (exp wj)) (/ x (exp wj)) (- x (fma 2 (* wj x) wj)) (- (+ (/ x (* wj (exp wj))) (/ 1 wj)) 1) (- (+ (/ x (* wj (exp wj))) (/ 1 wj)) 1) 4.162 * * * [progress]: adding candidates to table 4.439 * * [progress]: iteration 2 / 4 4.439 * * * [progress]: picking best candidate 4.449 * * * * [pick]: Picked # 4.449 * * * [progress]: localizing error 4.455 * * * [progress]: generating rewritten candidates 4.455 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.460 * * * [progress]: generating series expansions 4.460 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.460 * [approximate]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in (x wj) around 0 4.460 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in wj 4.460 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in wj 4.460 * [taylor]: Taking taylor expansion of x in wj 4.460 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 4.460 * [taylor]: Taking taylor expansion of wj in wj 4.460 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in wj 4.460 * [taylor]: Taking taylor expansion of 2 in wj 4.460 * [taylor]: Taking taylor expansion of (* wj x) in wj 4.460 * [taylor]: Taking taylor expansion of wj in wj 4.460 * [taylor]: Taking taylor expansion of x in wj 4.460 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 4.460 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 4.460 * [taylor]: Taking taylor expansion of x in x 4.460 * [taylor]: Taking taylor expansion of (pow wj 2) in x 4.460 * [taylor]: Taking taylor expansion of wj in x 4.460 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 4.460 * [taylor]: Taking taylor expansion of 2 in x 4.460 * [taylor]: Taking taylor expansion of (* wj x) in x 4.460 * [taylor]: Taking taylor expansion of wj in x 4.460 * [taylor]: Taking taylor expansion of x in x 4.460 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 4.460 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 4.460 * [taylor]: Taking taylor expansion of x in x 4.460 * [taylor]: Taking taylor expansion of (pow wj 2) in x 4.460 * [taylor]: Taking taylor expansion of wj in x 4.460 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 4.460 * [taylor]: Taking taylor expansion of 2 in x 4.460 * [taylor]: Taking taylor expansion of (* wj x) in x 4.460 * [taylor]: Taking taylor expansion of wj in x 4.460 * [taylor]: Taking taylor expansion of x in x 4.461 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 4.461 * [taylor]: Taking taylor expansion of wj in wj 4.462 * [taylor]: Taking taylor expansion of (- 1 (* 2 wj)) in wj 4.462 * [taylor]: Taking taylor expansion of 1 in wj 4.462 * [taylor]: Taking taylor expansion of (* 2 wj) in wj 4.462 * [taylor]: Taking taylor expansion of 2 in wj 4.462 * [taylor]: Taking taylor expansion of wj in wj 4.465 * [taylor]: Taking taylor expansion of 0 in wj 4.466 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in (x wj) around 0 4.466 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in wj 4.466 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in wj 4.466 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 4.466 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 4.466 * [taylor]: Taking taylor expansion of wj in wj 4.467 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 4.467 * [taylor]: Taking taylor expansion of x in wj 4.467 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 4.467 * [taylor]: Taking taylor expansion of 2 in wj 4.467 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 4.467 * [taylor]: Taking taylor expansion of (* wj x) in wj 4.467 * [taylor]: Taking taylor expansion of wj in wj 4.467 * [taylor]: Taking taylor expansion of x in wj 4.467 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 4.467 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 4.467 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 4.467 * [taylor]: Taking taylor expansion of (pow wj 2) in x 4.467 * [taylor]: Taking taylor expansion of wj in x 4.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.468 * [taylor]: Taking taylor expansion of x in x 4.468 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 4.468 * [taylor]: Taking taylor expansion of 2 in x 4.468 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 4.468 * [taylor]: Taking taylor expansion of (* wj x) in x 4.468 * [taylor]: Taking taylor expansion of wj in x 4.468 * [taylor]: Taking taylor expansion of x in x 4.468 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 4.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 4.468 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 4.468 * [taylor]: Taking taylor expansion of (pow wj 2) in x 4.468 * [taylor]: Taking taylor expansion of wj in x 4.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.468 * [taylor]: Taking taylor expansion of x in x 4.469 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 4.469 * [taylor]: Taking taylor expansion of 2 in x 4.469 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 4.469 * [taylor]: Taking taylor expansion of (* wj x) in x 4.469 * [taylor]: Taking taylor expansion of wj in x 4.469 * [taylor]: Taking taylor expansion of x in x 4.469 * [taylor]: Taking taylor expansion of (- 1 (* 2 (/ 1 wj))) in wj 4.469 * [taylor]: Taking taylor expansion of 1 in wj 4.469 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 4.469 * [taylor]: Taking taylor expansion of 2 in wj 4.469 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 4.469 * [taylor]: Taking taylor expansion of wj in wj 4.471 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 4.471 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 4.471 * [taylor]: Taking taylor expansion of wj in wj 4.475 * [taylor]: Taking taylor expansion of 0 in wj 4.477 * [approximate]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in (x wj) around 0 4.477 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in wj 4.477 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 4.477 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 4.477 * [taylor]: Taking taylor expansion of wj in wj 4.478 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in wj 4.478 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 4.478 * [taylor]: Taking taylor expansion of 2 in wj 4.478 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 4.478 * [taylor]: Taking taylor expansion of (* wj x) in wj 4.478 * [taylor]: Taking taylor expansion of wj in wj 4.478 * [taylor]: Taking taylor expansion of x in wj 4.478 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 4.478 * [taylor]: Taking taylor expansion of x in wj 4.478 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 4.478 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 4.478 * [taylor]: Taking taylor expansion of (pow wj 2) in x 4.478 * [taylor]: Taking taylor expansion of wj in x 4.478 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 4.478 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 4.478 * [taylor]: Taking taylor expansion of 2 in x 4.478 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 4.478 * [taylor]: Taking taylor expansion of (* wj x) in x 4.478 * [taylor]: Taking taylor expansion of wj in x 4.479 * [taylor]: Taking taylor expansion of x in x 4.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.479 * [taylor]: Taking taylor expansion of x in x 4.479 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 4.479 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 4.479 * [taylor]: Taking taylor expansion of (pow wj 2) in x 4.479 * [taylor]: Taking taylor expansion of wj in x 4.479 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 4.479 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 4.479 * [taylor]: Taking taylor expansion of 2 in x 4.479 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 4.479 * [taylor]: Taking taylor expansion of (* wj x) in x 4.479 * [taylor]: Taking taylor expansion of wj in x 4.479 * [taylor]: Taking taylor expansion of x in x 4.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.480 * [taylor]: Taking taylor expansion of x in x 4.480 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 wj)) 1)) in wj 4.480 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 wj)) 1) in wj 4.480 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 4.480 * [taylor]: Taking taylor expansion of 2 in wj 4.480 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 4.480 * [taylor]: Taking taylor expansion of wj in wj 4.480 * [taylor]: Taking taylor expansion of 1 in wj 4.482 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 4.482 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 4.482 * [taylor]: Taking taylor expansion of wj in wj 4.486 * [taylor]: Taking taylor expansion of 0 in wj 4.488 * * * [progress]: simplifying candidates 4.489 * [simplify]: Simplifying using # : (expm1 (+ x (* wj (- wj (* x 2))))) (log1p (+ x (* wj (- wj (* x 2))))) (* (exp x) (exp (* wj (- wj (* x 2))))) (log (+ x (* wj (- wj (* x 2))))) (exp (+ x (* wj (- wj (* x 2))))) (* (cbrt (+ x (* wj (- wj (* x 2))))) (cbrt (+ x (* wj (- wj (* x 2)))))) (cbrt (+ x (* wj (- wj (* x 2))))) (* (* (+ x (* wj (- wj (* x 2)))) (+ x (* wj (- wj (* x 2))))) (+ x (* wj (- wj (* x 2))))) (sqrt (+ x (* wj (- wj (* x 2))))) (sqrt (+ x (* wj (- wj (* x 2))))) (+ (pow x 3) (pow (* wj (- wj (* x 2))) 3)) (+ (* x x) (- (* (* wj (- wj (* x 2))) (* wj (- wj (* x 2)))) (* x (* wj (- wj (* x 2)))))) (- (* x x) (* (* wj (- wj (* x 2))) (* wj (- wj (* x 2))))) (- x (* wj (- wj (* x 2)))) (+ x (* wj (fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* 2 x))))) (+ x (* wj (fma (sqrt wj) (sqrt wj) (- (* 2 x))))) (+ x (* wj (fma 1 wj (- (* 2 x))))) (+ x (* wj wj)) (+ x (* wj wj)) (+ x (* (fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* 2 x))) wj)) (+ x (* (fma (sqrt wj) (sqrt wj) (- (* 2 x))) wj)) (+ x (* (fma 1 wj (- (* 2 x))) wj)) (+ x (* wj wj)) (+ x (* wj wj)) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ x (pow wj 2)) (* 2 (* wj x))) 4.490 * * [simplify]: iteration 0 : 58 enodes (cost 334 ) 4.502 * * [simplify]: iteration 1 : 143 enodes (cost 318 ) 4.537 * * [simplify]: iteration 2 : 384 enodes (cost 267 ) 4.727 * * [simplify]: iteration 3 : 1668 enodes (cost 229 ) 5.604 * * [simplify]: iteration done : 5000 enodes (cost 229 ) 5.604 * [simplify]: Simplified to: (expm1 (fma wj (fma x -2 wj) x)) (log1p (fma wj (fma x -2 wj) x)) (exp (fma wj (fma x -2 wj) x)) (log (fma wj (fma x -2 wj) x)) (exp (fma wj (fma x -2 wj) x)) (* (cbrt (fma wj (fma x -2 wj) x)) (cbrt (fma wj (fma x -2 wj) x))) (cbrt (fma wj (fma x -2 wj) x)) (pow (fma wj (fma x -2 wj) x) 3) (sqrt (fma wj (fma x -2 wj) x)) (sqrt (fma wj (fma x -2 wj) x)) (+ (pow (* wj (fma x -2 wj)) 3) (pow x 3)) (fma (- (* wj (fma x -2 wj)) x) (* wj (fma x -2 wj)) (* x x)) (* (fma wj (fma x -2 wj) x) (fma (- (fma x -2 wj)) wj x)) (fma (- (fma x -2 wj)) wj x) (fma (fma -2 x (pow (cbrt wj) 3)) wj x) (fma wj (fma x -2 wj) x) (fma wj (fma x -2 wj) x) (fma wj wj x) (fma wj wj x) (fma (fma -2 x (pow (cbrt wj) 3)) wj x) (fma wj (fma x -2 wj) x) (fma wj (fma x -2 wj) x) (fma wj wj x) (fma wj wj x) (fma wj (fma x -2 wj) x) (fma wj (fma x -2 wj) x) (fma wj (fma x -2 wj) x) 5.604 * * * [progress]: adding candidates to table 5.662 * * [progress]: iteration 3 / 4 5.662 * * * [progress]: picking best candidate 5.675 * * * * [pick]: Picked # 5.675 * * * [progress]: localizing error 5.686 * * * [progress]: generating rewritten candidates 5.686 * * * [progress]: generating series expansions 5.686 * * * [progress]: simplifying candidates 5.686 * [simplify]: Simplifying using # : 5.687 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 5.687 * * [simplify]: iteration done : 0 enodes (cost 0 ) 5.687 * [simplify]: Simplified to: 5.687 * * * [progress]: adding candidates to table 5.687 * * [progress]: iteration 4 / 4 5.687 * * * [progress]: picking best candidate 5.700 * * * * [pick]: Picked # 5.700 * * * [progress]: localizing error 5.717 * * * [progress]: generating rewritten candidates 5.717 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 5.717 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 5.720 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 5.780 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 5.789 * * * [progress]: generating series expansions 5.789 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.790 * [approximate]: Taking taylor expansion of (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj) wj) in (x wj) around 0 5.790 * [taylor]: Taking taylor expansion of (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj) wj) in wj 5.791 * [taylor]: Rewrote expression to (+ (* (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj)) wj) 5.791 * [taylor]: Taking taylor expansion of (* (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj)) in wj 5.791 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) in wj 5.791 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in wj 5.791 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 5.791 * [taylor]: Taking taylor expansion of x in wj 5.791 * [taylor]: Taking taylor expansion of (exp wj) in wj 5.791 * [taylor]: Taking taylor expansion of wj in wj 5.791 * [taylor]: Taking taylor expansion of wj in wj 5.791 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.791 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.791 * [taylor]: Taking taylor expansion of wj in wj 5.791 * [taylor]: Taking taylor expansion of 1 in wj 5.791 * [taylor]: Taking taylor expansion of (- (+ (pow wj 2) 1) wj) in wj 5.791 * [taylor]: Taking taylor expansion of (+ (pow wj 2) 1) in wj 5.791 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.791 * [taylor]: Taking taylor expansion of wj in wj 5.791 * [taylor]: Taking taylor expansion of 1 in wj 5.792 * [taylor]: Taking taylor expansion of wj in wj 5.792 * [taylor]: Taking taylor expansion of wj in wj 5.792 * [taylor]: Taking taylor expansion of (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj) wj) in x 5.792 * [taylor]: Rewrote expression to (+ (* (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj)) wj) 5.792 * [taylor]: Taking taylor expansion of (* (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj)) in x 5.792 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) in x 5.792 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 5.792 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 5.792 * [taylor]: Taking taylor expansion of x in x 5.792 * [taylor]: Taking taylor expansion of (exp wj) in x 5.792 * [taylor]: Taking taylor expansion of wj in x 5.792 * [taylor]: Taking taylor expansion of wj in x 5.792 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in x 5.792 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.792 * [taylor]: Taking taylor expansion of wj in x 5.792 * [taylor]: Taking taylor expansion of 1 in x 5.792 * [taylor]: Taking taylor expansion of (- (+ (pow wj 2) 1) wj) in x 5.792 * [taylor]: Taking taylor expansion of (+ (pow wj 2) 1) in x 5.792 * [taylor]: Taking taylor expansion of (pow wj 2) in x 5.792 * [taylor]: Taking taylor expansion of wj in x 5.792 * [taylor]: Taking taylor expansion of 1 in x 5.792 * [taylor]: Taking taylor expansion of wj in x 5.792 * [taylor]: Taking taylor expansion of wj in x 5.792 * [taylor]: Taking taylor expansion of (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj) wj) in x 5.792 * [taylor]: Rewrote expression to (+ (* (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj)) wj) 5.792 * [taylor]: Taking taylor expansion of (* (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (+ (pow wj 2) 1) wj)) in x 5.792 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) in x 5.792 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 5.792 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 5.792 * [taylor]: Taking taylor expansion of x in x 5.792 * [taylor]: Taking taylor expansion of (exp wj) in x 5.792 * [taylor]: Taking taylor expansion of wj in x 5.793 * [taylor]: Taking taylor expansion of wj in x 5.793 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in x 5.793 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.793 * [taylor]: Taking taylor expansion of wj in x 5.793 * [taylor]: Taking taylor expansion of 1 in x 5.793 * [taylor]: Taking taylor expansion of (- (+ (pow wj 2) 1) wj) in x 5.793 * [taylor]: Taking taylor expansion of (+ (pow wj 2) 1) in x 5.793 * [taylor]: Taking taylor expansion of (pow wj 2) in x 5.793 * [taylor]: Taking taylor expansion of wj in x 5.793 * [taylor]: Taking taylor expansion of 1 in x 5.793 * [taylor]: Taking taylor expansion of wj in x 5.793 * [taylor]: Taking taylor expansion of wj in x 5.794 * [taylor]: Taking taylor expansion of (- (+ wj (/ (pow wj 2) (+ (pow wj 3) 1))) (+ (/ wj (+ (pow wj 3) 1)) (/ (pow wj 3) (+ (pow wj 3) 1)))) in wj 5.794 * [taylor]: Taking taylor expansion of (+ wj (/ (pow wj 2) (+ (pow wj 3) 1))) in wj 5.794 * [taylor]: Taking taylor expansion of wj in wj 5.794 * [taylor]: Taking taylor expansion of (/ (pow wj 2) (+ (pow wj 3) 1)) in wj 5.794 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.794 * [taylor]: Taking taylor expansion of wj in wj 5.794 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.794 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.794 * [taylor]: Taking taylor expansion of wj in wj 5.794 * [taylor]: Taking taylor expansion of 1 in wj 5.795 * [taylor]: Taking taylor expansion of (+ (/ wj (+ (pow wj 3) 1)) (/ (pow wj 3) (+ (pow wj 3) 1))) in wj 5.795 * [taylor]: Taking taylor expansion of (/ wj (+ (pow wj 3) 1)) in wj 5.795 * [taylor]: Taking taylor expansion of wj in wj 5.795 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.795 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.795 * [taylor]: Taking taylor expansion of wj in wj 5.795 * [taylor]: Taking taylor expansion of 1 in wj 5.795 * [taylor]: Taking taylor expansion of (/ (pow wj 3) (+ (pow wj 3) 1)) in wj 5.795 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.795 * [taylor]: Taking taylor expansion of wj in wj 5.795 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.795 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.795 * [taylor]: Taking taylor expansion of wj in wj 5.795 * [taylor]: Taking taylor expansion of 1 in wj 5.799 * [taylor]: Taking taylor expansion of (- (+ (/ (pow wj 2) (* (exp wj) (+ (pow wj 3) 1))) (/ 1 (* (exp wj) (+ (pow wj 3) 1)))) (/ wj (* (exp wj) (+ (pow wj 3) 1)))) in wj 5.799 * [taylor]: Taking taylor expansion of (+ (/ (pow wj 2) (* (exp wj) (+ (pow wj 3) 1))) (/ 1 (* (exp wj) (+ (pow wj 3) 1)))) in wj 5.799 * [taylor]: Taking taylor expansion of (/ (pow wj 2) (* (exp wj) (+ (pow wj 3) 1))) in wj 5.799 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.799 * [taylor]: Taking taylor expansion of wj in wj 5.800 * [taylor]: Taking taylor expansion of (* (exp wj) (+ (pow wj 3) 1)) in wj 5.800 * [taylor]: Taking taylor expansion of (exp wj) in wj 5.800 * [taylor]: Taking taylor expansion of wj in wj 5.800 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.800 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.800 * [taylor]: Taking taylor expansion of wj in wj 5.800 * [taylor]: Taking taylor expansion of 1 in wj 5.801 * [taylor]: Taking taylor expansion of (/ 1 (* (exp wj) (+ (pow wj 3) 1))) in wj 5.801 * [taylor]: Taking taylor expansion of (* (exp wj) (+ (pow wj 3) 1)) in wj 5.801 * [taylor]: Taking taylor expansion of (exp wj) in wj 5.801 * [taylor]: Taking taylor expansion of wj in wj 5.801 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.801 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.801 * [taylor]: Taking taylor expansion of wj in wj 5.801 * [taylor]: Taking taylor expansion of 1 in wj 5.801 * [taylor]: Taking taylor expansion of (/ wj (* (exp wj) (+ (pow wj 3) 1))) in wj 5.801 * [taylor]: Taking taylor expansion of wj in wj 5.801 * [taylor]: Taking taylor expansion of (* (exp wj) (+ (pow wj 3) 1)) in wj 5.801 * [taylor]: Taking taylor expansion of (exp wj) in wj 5.801 * [taylor]: Taking taylor expansion of wj in wj 5.801 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.801 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.801 * [taylor]: Taking taylor expansion of wj in wj 5.802 * [taylor]: Taking taylor expansion of 1 in wj 5.807 * [taylor]: Taking taylor expansion of 0 in wj 5.812 * [approximate]: Taking taylor expansion of (fma (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj)) (/ 1 wj)) in (x wj) around 0 5.812 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj)) (/ 1 wj)) in wj 5.812 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj))) (/ 1 wj)) 5.812 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj))) in wj 5.812 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) in wj 5.812 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in wj 5.812 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 5.812 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 5.812 * [taylor]: Taking taylor expansion of x in wj 5.812 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 5.812 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.812 * [taylor]: Taking taylor expansion of wj in wj 5.813 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.813 * [taylor]: Taking taylor expansion of wj in wj 5.813 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.813 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.813 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.813 * [taylor]: Taking taylor expansion of wj in wj 5.814 * [taylor]: Taking taylor expansion of 1 in wj 5.815 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj)) in wj 5.815 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) 1) in wj 5.815 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 5.815 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.815 * [taylor]: Taking taylor expansion of wj in wj 5.815 * [taylor]: Taking taylor expansion of 1 in wj 5.815 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.815 * [taylor]: Taking taylor expansion of wj in wj 5.816 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.816 * [taylor]: Taking taylor expansion of wj in wj 5.816 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj)) (/ 1 wj)) in x 5.816 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj))) (/ 1 wj)) 5.816 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj))) in x 5.816 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) in x 5.816 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 5.816 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 5.816 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 5.816 * [taylor]: Taking taylor expansion of x in x 5.816 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 5.816 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.816 * [taylor]: Taking taylor expansion of wj in x 5.817 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.817 * [taylor]: Taking taylor expansion of wj in x 5.817 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in x 5.817 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in x 5.817 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.817 * [taylor]: Taking taylor expansion of wj in x 5.817 * [taylor]: Taking taylor expansion of 1 in x 5.818 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj)) in x 5.818 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) 1) in x 5.818 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 5.818 * [taylor]: Taking taylor expansion of (pow wj 2) in x 5.818 * [taylor]: Taking taylor expansion of wj in x 5.818 * [taylor]: Taking taylor expansion of 1 in x 5.818 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.818 * [taylor]: Taking taylor expansion of wj in x 5.818 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.818 * [taylor]: Taking taylor expansion of wj in x 5.818 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj)) (/ 1 wj)) in x 5.818 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj))) (/ 1 wj)) 5.818 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj))) in x 5.818 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) in x 5.818 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 5.818 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 5.818 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 5.818 * [taylor]: Taking taylor expansion of x in x 5.818 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 5.818 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.818 * [taylor]: Taking taylor expansion of wj in x 5.819 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.819 * [taylor]: Taking taylor expansion of wj in x 5.819 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in x 5.819 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in x 5.819 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.819 * [taylor]: Taking taylor expansion of wj in x 5.819 * [taylor]: Taking taylor expansion of 1 in x 5.820 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) 1) (/ 1 wj)) in x 5.820 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) 1) in x 5.820 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 5.820 * [taylor]: Taking taylor expansion of (pow wj 2) in x 5.820 * [taylor]: Taking taylor expansion of wj in x 5.820 * [taylor]: Taking taylor expansion of 1 in x 5.820 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.820 * [taylor]: Taking taylor expansion of wj in x 5.820 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.820 * [taylor]: Taking taylor expansion of wj in x 5.821 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj)))) (/ 1 (* (pow wj 2) (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj)))))) (/ 1 (* wj (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj)))))) in wj 5.821 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj)))) (/ 1 (* (pow wj 2) (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj)))))) in wj 5.821 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj)))) in wj 5.821 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj))) in wj 5.821 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.821 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.821 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.821 * [taylor]: Taking taylor expansion of wj in wj 5.821 * [taylor]: Taking taylor expansion of 1 in wj 5.822 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 5.822 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.822 * [taylor]: Taking taylor expansion of wj in wj 5.822 * [taylor]: Taking taylor expansion of (/ 1 (* (pow wj 2) (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj))))) in wj 5.822 * [taylor]: Taking taylor expansion of (* (pow wj 2) (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj)))) in wj 5.822 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.822 * [taylor]: Taking taylor expansion of wj in wj 5.822 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj))) in wj 5.822 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.822 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.822 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.822 * [taylor]: Taking taylor expansion of wj in wj 5.823 * [taylor]: Taking taylor expansion of 1 in wj 5.823 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 5.823 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.823 * [taylor]: Taking taylor expansion of wj in wj 5.824 * [taylor]: Taking taylor expansion of (/ 1 (* wj (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj))))) in wj 5.824 * [taylor]: Taking taylor expansion of (* wj (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj)))) in wj 5.824 * [taylor]: Taking taylor expansion of wj in wj 5.824 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj))) in wj 5.824 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.824 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.824 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.824 * [taylor]: Taking taylor expansion of wj in wj 5.825 * [taylor]: Taking taylor expansion of 1 in wj 5.825 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 5.825 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.825 * [taylor]: Taking taylor expansion of wj in wj 5.831 * [taylor]: Taking taylor expansion of (- (+ (/ 1 wj) (/ 1 (* (pow wj 2) (+ (/ 1 (pow wj 3)) 1)))) (+ (/ 1 (* (pow wj 3) (+ (/ 1 (pow wj 3)) 1))) (/ 1 (* wj (+ (/ 1 (pow wj 3)) 1))))) in wj 5.831 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (pow wj 2) (+ (/ 1 (pow wj 3)) 1)))) in wj 5.831 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.831 * [taylor]: Taking taylor expansion of wj in wj 5.832 * [taylor]: Taking taylor expansion of (/ 1 (* (pow wj 2) (+ (/ 1 (pow wj 3)) 1))) in wj 5.832 * [taylor]: Taking taylor expansion of (* (pow wj 2) (+ (/ 1 (pow wj 3)) 1)) in wj 5.832 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.832 * [taylor]: Taking taylor expansion of wj in wj 5.832 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.832 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.832 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.832 * [taylor]: Taking taylor expansion of wj in wj 5.832 * [taylor]: Taking taylor expansion of 1 in wj 5.833 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow wj 3) (+ (/ 1 (pow wj 3)) 1))) (/ 1 (* wj (+ (/ 1 (pow wj 3)) 1)))) in wj 5.833 * [taylor]: Taking taylor expansion of (/ 1 (* (pow wj 3) (+ (/ 1 (pow wj 3)) 1))) in wj 5.833 * [taylor]: Taking taylor expansion of (* (pow wj 3) (+ (/ 1 (pow wj 3)) 1)) in wj 5.833 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.833 * [taylor]: Taking taylor expansion of wj in wj 5.833 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.833 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.833 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.834 * [taylor]: Taking taylor expansion of wj in wj 5.834 * [taylor]: Taking taylor expansion of 1 in wj 5.835 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 (pow wj 3)) 1))) in wj 5.835 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 (pow wj 3)) 1)) in wj 5.835 * [taylor]: Taking taylor expansion of wj in wj 5.835 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.835 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.835 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.835 * [taylor]: Taking taylor expansion of wj in wj 5.839 * [taylor]: Taking taylor expansion of 1 in wj 5.848 * [taylor]: Taking taylor expansion of 0 in wj 5.851 * [approximate]: Taking taylor expansion of (fma (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1)) (/ -1 wj)) in (x wj) around 0 5.851 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1)) (/ -1 wj)) in wj 5.851 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1))) (/ -1 wj)) 5.851 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1))) in wj 5.851 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) in wj 5.851 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in wj 5.851 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.851 * [taylor]: Taking taylor expansion of wj in wj 5.852 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in wj 5.852 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 5.852 * [taylor]: Taking taylor expansion of x in wj 5.852 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 5.852 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 5.852 * [taylor]: Taking taylor expansion of -1 in wj 5.852 * [taylor]: Taking taylor expansion of wj in wj 5.852 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.852 * [taylor]: Taking taylor expansion of 1 in wj 5.852 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.852 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.852 * [taylor]: Taking taylor expansion of wj in wj 5.854 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1)) in wj 5.854 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 5.854 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.854 * [taylor]: Taking taylor expansion of wj in wj 5.854 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 5.854 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.854 * [taylor]: Taking taylor expansion of wj in wj 5.855 * [taylor]: Taking taylor expansion of 1 in wj 5.855 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 5.855 * [taylor]: Taking taylor expansion of -1 in wj 5.855 * [taylor]: Taking taylor expansion of wj in wj 5.855 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1)) (/ -1 wj)) in x 5.855 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1))) (/ -1 wj)) 5.855 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1))) in x 5.855 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) in x 5.855 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 5.855 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.855 * [taylor]: Taking taylor expansion of wj in x 5.855 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 5.855 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 5.855 * [taylor]: Taking taylor expansion of x in x 5.855 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 5.855 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 5.855 * [taylor]: Taking taylor expansion of -1 in x 5.855 * [taylor]: Taking taylor expansion of wj in x 5.856 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in x 5.856 * [taylor]: Taking taylor expansion of 1 in x 5.856 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in x 5.856 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.856 * [taylor]: Taking taylor expansion of wj in x 5.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1)) in x 5.857 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 5.857 * [taylor]: Taking taylor expansion of (pow wj 2) in x 5.857 * [taylor]: Taking taylor expansion of wj in x 5.857 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 5.857 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.857 * [taylor]: Taking taylor expansion of wj in x 5.857 * [taylor]: Taking taylor expansion of 1 in x 5.857 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 5.857 * [taylor]: Taking taylor expansion of -1 in x 5.857 * [taylor]: Taking taylor expansion of wj in x 5.857 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1)) (/ -1 wj)) in x 5.857 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1))) (/ -1 wj)) 5.857 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1))) in x 5.857 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) in x 5.857 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 5.857 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.857 * [taylor]: Taking taylor expansion of wj in x 5.857 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 5.857 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 5.857 * [taylor]: Taking taylor expansion of x in x 5.857 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 5.857 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 5.857 * [taylor]: Taking taylor expansion of -1 in x 5.857 * [taylor]: Taking taylor expansion of wj in x 5.858 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in x 5.858 * [taylor]: Taking taylor expansion of 1 in x 5.858 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in x 5.858 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.858 * [taylor]: Taking taylor expansion of wj in x 5.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (+ (/ 1 wj) 1)) in x 5.859 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 5.859 * [taylor]: Taking taylor expansion of (pow wj 2) in x 5.859 * [taylor]: Taking taylor expansion of wj in x 5.859 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 5.859 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.859 * [taylor]: Taking taylor expansion of wj in x 5.859 * [taylor]: Taking taylor expansion of 1 in x 5.859 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 5.859 * [taylor]: Taking taylor expansion of -1 in x 5.859 * [taylor]: Taking taylor expansion of wj in x 5.860 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3))))) (+ (/ 1 (* (pow wj 2) (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))))) (/ 1 (* wj (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3))))))))) in wj 5.860 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3))))) (+ (/ 1 (* (pow wj 2) (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))))) (/ 1 (* wj (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))))))) in wj 5.860 * [taylor]: Taking taylor expansion of (/ 1 (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3))))) in wj 5.860 * [taylor]: Taking taylor expansion of (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))) in wj 5.860 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 5.860 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 5.860 * [taylor]: Taking taylor expansion of -1 in wj 5.860 * [taylor]: Taking taylor expansion of wj in wj 5.860 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.860 * [taylor]: Taking taylor expansion of 1 in wj 5.860 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.861 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.861 * [taylor]: Taking taylor expansion of wj in wj 5.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow wj 2) (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))))) (/ 1 (* wj (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3))))))) in wj 5.862 * [taylor]: Taking taylor expansion of (/ 1 (* (pow wj 2) (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))))) in wj 5.862 * [taylor]: Taking taylor expansion of (* (pow wj 2) (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3))))) in wj 5.862 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.862 * [taylor]: Taking taylor expansion of wj in wj 5.862 * [taylor]: Taking taylor expansion of (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))) in wj 5.862 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 5.862 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 5.862 * [taylor]: Taking taylor expansion of -1 in wj 5.862 * [taylor]: Taking taylor expansion of wj in wj 5.862 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.862 * [taylor]: Taking taylor expansion of 1 in wj 5.862 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.862 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.862 * [taylor]: Taking taylor expansion of wj in wj 5.864 * [taylor]: Taking taylor expansion of (/ 1 (* wj (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))))) in wj 5.864 * [taylor]: Taking taylor expansion of (* wj (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3))))) in wj 5.864 * [taylor]: Taking taylor expansion of wj in wj 5.864 * [taylor]: Taking taylor expansion of (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))) in wj 5.864 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 5.864 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 5.864 * [taylor]: Taking taylor expansion of -1 in wj 5.864 * [taylor]: Taking taylor expansion of wj in wj 5.864 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.864 * [taylor]: Taking taylor expansion of 1 in wj 5.864 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.864 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.864 * [taylor]: Taking taylor expansion of wj in wj 5.872 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow wj 3) (- 1 (/ 1 (pow wj 3))))) (+ (/ 1 (* wj (- 1 (/ 1 (pow wj 3))))) (/ 1 (* (pow wj 2) (- 1 (/ 1 (pow wj 3))))))) (/ 1 wj)) in wj 5.872 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow wj 3) (- 1 (/ 1 (pow wj 3))))) (+ (/ 1 (* wj (- 1 (/ 1 (pow wj 3))))) (/ 1 (* (pow wj 2) (- 1 (/ 1 (pow wj 3))))))) in wj 5.872 * [taylor]: Taking taylor expansion of (/ 1 (* (pow wj 3) (- 1 (/ 1 (pow wj 3))))) in wj 5.872 * [taylor]: Taking taylor expansion of (* (pow wj 3) (- 1 (/ 1 (pow wj 3)))) in wj 5.872 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.872 * [taylor]: Taking taylor expansion of wj in wj 5.872 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.872 * [taylor]: Taking taylor expansion of 1 in wj 5.872 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.872 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.872 * [taylor]: Taking taylor expansion of wj in wj 5.874 * [taylor]: Taking taylor expansion of (+ (/ 1 (* wj (- 1 (/ 1 (pow wj 3))))) (/ 1 (* (pow wj 2) (- 1 (/ 1 (pow wj 3)))))) in wj 5.874 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 (pow wj 3))))) in wj 5.874 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 (pow wj 3)))) in wj 5.874 * [taylor]: Taking taylor expansion of wj in wj 5.874 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.874 * [taylor]: Taking taylor expansion of 1 in wj 5.874 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.874 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.874 * [taylor]: Taking taylor expansion of wj in wj 5.878 * [taylor]: Taking taylor expansion of (/ 1 (* (pow wj 2) (- 1 (/ 1 (pow wj 3))))) in wj 5.878 * [taylor]: Taking taylor expansion of (* (pow wj 2) (- 1 (/ 1 (pow wj 3)))) in wj 5.878 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.878 * [taylor]: Taking taylor expansion of wj in wj 5.878 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.878 * [taylor]: Taking taylor expansion of 1 in wj 5.878 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.878 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.878 * [taylor]: Taking taylor expansion of wj in wj 5.880 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.880 * [taylor]: Taking taylor expansion of wj in wj 5.886 * [taylor]: Taking taylor expansion of 0 in wj 5.888 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 5.888 * [approximate]: Taking taylor expansion of (/ x (exp wj)) in (x wj) around 0 5.888 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 5.888 * [taylor]: Taking taylor expansion of x in wj 5.888 * [taylor]: Taking taylor expansion of (exp wj) in wj 5.888 * [taylor]: Taking taylor expansion of wj in wj 5.888 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 5.888 * [taylor]: Taking taylor expansion of x in x 5.888 * [taylor]: Taking taylor expansion of (exp wj) in x 5.888 * [taylor]: Taking taylor expansion of wj in x 5.888 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 5.888 * [taylor]: Taking taylor expansion of x in x 5.888 * [taylor]: Taking taylor expansion of (exp wj) in x 5.888 * [taylor]: Taking taylor expansion of wj in x 5.888 * [taylor]: Taking taylor expansion of (/ 1 (exp wj)) in wj 5.888 * [taylor]: Taking taylor expansion of (exp wj) in wj 5.888 * [taylor]: Taking taylor expansion of wj in wj 5.889 * [taylor]: Taking taylor expansion of 0 in wj 5.891 * [taylor]: Taking taylor expansion of 0 in wj 5.893 * [approximate]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in (x wj) around 0 5.893 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 5.893 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 5.893 * [taylor]: Taking taylor expansion of x in wj 5.893 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 5.893 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.893 * [taylor]: Taking taylor expansion of wj in wj 5.893 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 5.893 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 5.893 * [taylor]: Taking taylor expansion of x in x 5.893 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 5.893 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.893 * [taylor]: Taking taylor expansion of wj in x 5.894 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 5.894 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 5.894 * [taylor]: Taking taylor expansion of x in x 5.894 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 5.894 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.894 * [taylor]: Taking taylor expansion of wj in x 5.895 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 wj))) in wj 5.895 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 5.895 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.895 * [taylor]: Taking taylor expansion of wj in wj 5.897 * [taylor]: Taking taylor expansion of 0 in wj 5.899 * [taylor]: Taking taylor expansion of 0 in wj 5.902 * [taylor]: Taking taylor expansion of 0 in wj 5.902 * [approximate]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in (x wj) around 0 5.902 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in wj 5.902 * [taylor]: Taking taylor expansion of -1 in wj 5.902 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 5.902 * [taylor]: Taking taylor expansion of x in wj 5.902 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 5.902 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 5.902 * [taylor]: Taking taylor expansion of -1 in wj 5.902 * [taylor]: Taking taylor expansion of wj in wj 5.903 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in x 5.903 * [taylor]: Taking taylor expansion of -1 in x 5.903 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 5.903 * [taylor]: Taking taylor expansion of x in x 5.903 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 5.903 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 5.903 * [taylor]: Taking taylor expansion of -1 in x 5.903 * [taylor]: Taking taylor expansion of wj in x 5.904 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in x 5.904 * [taylor]: Taking taylor expansion of -1 in x 5.904 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 5.904 * [taylor]: Taking taylor expansion of x in x 5.904 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 5.904 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 5.904 * [taylor]: Taking taylor expansion of -1 in x 5.904 * [taylor]: Taking taylor expansion of wj in x 5.905 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 wj))) in wj 5.905 * [taylor]: Taking taylor expansion of -1 in wj 5.905 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 5.905 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 5.905 * [taylor]: Taking taylor expansion of -1 in wj 5.905 * [taylor]: Taking taylor expansion of wj in wj 5.907 * [taylor]: Taking taylor expansion of 0 in wj 5.909 * [taylor]: Taking taylor expansion of 0 in wj 5.912 * [taylor]: Taking taylor expansion of 0 in wj 5.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 5.912 * [approximate]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) in (x wj) around 0 5.912 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) in wj 5.912 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in wj 5.912 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 5.912 * [taylor]: Taking taylor expansion of x in wj 5.912 * [taylor]: Taking taylor expansion of (exp wj) in wj 5.912 * [taylor]: Taking taylor expansion of wj in wj 5.912 * [taylor]: Taking taylor expansion of wj in wj 5.913 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.913 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.913 * [taylor]: Taking taylor expansion of wj in wj 5.913 * [taylor]: Taking taylor expansion of 1 in wj 5.913 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) in x 5.913 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 5.913 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 5.913 * [taylor]: Taking taylor expansion of x in x 5.913 * [taylor]: Taking taylor expansion of (exp wj) in x 5.913 * [taylor]: Taking taylor expansion of wj in x 5.913 * [taylor]: Taking taylor expansion of wj in x 5.913 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in x 5.913 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.913 * [taylor]: Taking taylor expansion of wj in x 5.913 * [taylor]: Taking taylor expansion of 1 in x 5.914 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) in x 5.914 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 5.914 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 5.914 * [taylor]: Taking taylor expansion of x in x 5.914 * [taylor]: Taking taylor expansion of (exp wj) in x 5.914 * [taylor]: Taking taylor expansion of wj in x 5.914 * [taylor]: Taking taylor expansion of wj in x 5.914 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in x 5.914 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.914 * [taylor]: Taking taylor expansion of wj in x 5.914 * [taylor]: Taking taylor expansion of 1 in x 5.914 * [taylor]: Taking taylor expansion of (* -1 (/ wj (+ (pow wj 3) 1))) in wj 5.914 * [taylor]: Taking taylor expansion of -1 in wj 5.914 * [taylor]: Taking taylor expansion of (/ wj (+ (pow wj 3) 1)) in wj 5.914 * [taylor]: Taking taylor expansion of wj in wj 5.914 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.914 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.914 * [taylor]: Taking taylor expansion of wj in wj 5.914 * [taylor]: Taking taylor expansion of 1 in wj 5.916 * [taylor]: Taking taylor expansion of (/ 1 (* (exp wj) (+ (pow wj 3) 1))) in wj 5.916 * [taylor]: Taking taylor expansion of (* (exp wj) (+ (pow wj 3) 1)) in wj 5.916 * [taylor]: Taking taylor expansion of (exp wj) in wj 5.916 * [taylor]: Taking taylor expansion of wj in wj 5.916 * [taylor]: Taking taylor expansion of (+ (pow wj 3) 1) in wj 5.916 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.916 * [taylor]: Taking taylor expansion of wj in wj 5.916 * [taylor]: Taking taylor expansion of 1 in wj 5.919 * [taylor]: Taking taylor expansion of 0 in wj 5.921 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) in (x wj) around 0 5.921 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) in wj 5.921 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in wj 5.921 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 5.921 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 5.921 * [taylor]: Taking taylor expansion of x in wj 5.921 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 5.921 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.921 * [taylor]: Taking taylor expansion of wj in wj 5.922 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.922 * [taylor]: Taking taylor expansion of wj in wj 5.925 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.925 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.925 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.925 * [taylor]: Taking taylor expansion of wj in wj 5.926 * [taylor]: Taking taylor expansion of 1 in wj 5.927 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) in x 5.927 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 5.927 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 5.927 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 5.927 * [taylor]: Taking taylor expansion of x in x 5.927 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 5.927 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.927 * [taylor]: Taking taylor expansion of wj in x 5.928 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.928 * [taylor]: Taking taylor expansion of wj in x 5.928 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in x 5.928 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in x 5.928 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.928 * [taylor]: Taking taylor expansion of wj in x 5.928 * [taylor]: Taking taylor expansion of 1 in x 5.928 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 (pow wj 3)) 1)) in x 5.928 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 5.928 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 5.928 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 5.928 * [taylor]: Taking taylor expansion of x in x 5.929 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 5.929 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.929 * [taylor]: Taking taylor expansion of wj in x 5.929 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.929 * [taylor]: Taking taylor expansion of wj in x 5.930 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in x 5.930 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in x 5.930 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.930 * [taylor]: Taking taylor expansion of wj in x 5.930 * [taylor]: Taking taylor expansion of 1 in x 5.930 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj)))) in wj 5.930 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow wj 3)) 1) (exp (/ 1 wj))) in wj 5.930 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.930 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.930 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.930 * [taylor]: Taking taylor expansion of wj in wj 5.931 * [taylor]: Taking taylor expansion of 1 in wj 5.931 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 5.931 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.931 * [taylor]: Taking taylor expansion of wj in wj 5.934 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (+ (/ 1 (pow wj 3)) 1)))) in wj 5.934 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 (pow wj 3)) 1))) in wj 5.934 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 (pow wj 3)) 1)) in wj 5.934 * [taylor]: Taking taylor expansion of wj in wj 5.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 3)) 1) in wj 5.934 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.934 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.934 * [taylor]: Taking taylor expansion of wj in wj 5.935 * [taylor]: Taking taylor expansion of 1 in wj 5.941 * [taylor]: Taking taylor expansion of 0 in wj 5.951 * [taylor]: Taking taylor expansion of 0 in wj 5.955 * [approximate]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) in (x wj) around 0 5.955 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) in wj 5.955 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in wj 5.955 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.955 * [taylor]: Taking taylor expansion of wj in wj 5.955 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in wj 5.955 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 5.955 * [taylor]: Taking taylor expansion of x in wj 5.955 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 5.955 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 5.955 * [taylor]: Taking taylor expansion of -1 in wj 5.955 * [taylor]: Taking taylor expansion of wj in wj 5.956 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.956 * [taylor]: Taking taylor expansion of 1 in wj 5.956 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.956 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.956 * [taylor]: Taking taylor expansion of wj in wj 5.957 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) in x 5.957 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 5.957 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.957 * [taylor]: Taking taylor expansion of wj in x 5.957 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 5.957 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 5.957 * [taylor]: Taking taylor expansion of x in x 5.957 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 5.958 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 5.958 * [taylor]: Taking taylor expansion of -1 in x 5.958 * [taylor]: Taking taylor expansion of wj in x 5.958 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in x 5.959 * [taylor]: Taking taylor expansion of 1 in x 5.959 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in x 5.959 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.959 * [taylor]: Taking taylor expansion of wj in x 5.959 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 (pow wj 3)))) in x 5.959 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 5.959 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 5.959 * [taylor]: Taking taylor expansion of wj in x 5.959 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 5.959 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 5.959 * [taylor]: Taking taylor expansion of x in x 5.959 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 5.959 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 5.959 * [taylor]: Taking taylor expansion of -1 in x 5.959 * [taylor]: Taking taylor expansion of wj in x 5.960 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in x 5.960 * [taylor]: Taking taylor expansion of 1 in x 5.960 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in x 5.960 * [taylor]: Taking taylor expansion of (pow wj 3) in x 5.960 * [taylor]: Taking taylor expansion of wj in x 5.961 * [taylor]: Taking taylor expansion of (/ -1 (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3))))) in wj 5.961 * [taylor]: Taking taylor expansion of -1 in wj 5.961 * [taylor]: Taking taylor expansion of (* (exp (/ -1 wj)) (- 1 (/ 1 (pow wj 3)))) in wj 5.961 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 5.961 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 5.961 * [taylor]: Taking taylor expansion of -1 in wj 5.961 * [taylor]: Taking taylor expansion of wj in wj 5.961 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.961 * [taylor]: Taking taylor expansion of 1 in wj 5.961 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.961 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.961 * [taylor]: Taking taylor expansion of wj in wj 5.965 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 (pow wj 3))))) in wj 5.965 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 (pow wj 3)))) in wj 5.965 * [taylor]: Taking taylor expansion of wj in wj 5.965 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow wj 3))) in wj 5.965 * [taylor]: Taking taylor expansion of 1 in wj 5.965 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 5.965 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 5.965 * [taylor]: Taking taylor expansion of wj in wj 5.974 * [taylor]: Taking taylor expansion of 0 in wj 5.984 * [taylor]: Taking taylor expansion of 0 in wj 5.988 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 5.988 * [approximate]: Taking taylor expansion of (- (pow wj 2) wj) in (wj) around 0 5.988 * [taylor]: Taking taylor expansion of (- (pow wj 2) wj) in wj 5.988 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.988 * [taylor]: Taking taylor expansion of wj in wj 5.988 * [taylor]: Taking taylor expansion of wj in wj 5.988 * [taylor]: Taking taylor expansion of (- (pow wj 2) wj) in wj 5.988 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.988 * [taylor]: Taking taylor expansion of wj in wj 5.988 * [taylor]: Taking taylor expansion of wj in wj 5.996 * [approximate]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (/ 1 wj)) in (wj) around 0 5.996 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (/ 1 wj)) in wj 5.996 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 5.996 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.996 * [taylor]: Taking taylor expansion of wj in wj 5.996 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.996 * [taylor]: Taking taylor expansion of wj in wj 5.996 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (/ 1 wj)) in wj 5.997 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 5.997 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 5.997 * [taylor]: Taking taylor expansion of wj in wj 5.997 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 5.997 * [taylor]: Taking taylor expansion of wj in wj 6.014 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 wj)) in (wj) around 0 6.014 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 wj)) in wj 6.014 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 6.014 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 6.014 * [taylor]: Taking taylor expansion of wj in wj 6.015 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 6.015 * [taylor]: Taking taylor expansion of wj in wj 6.015 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 wj)) in wj 6.015 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 6.015 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 6.015 * [taylor]: Taking taylor expansion of wj in wj 6.016 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 6.016 * [taylor]: Taking taylor expansion of wj in wj 6.029 * * * [progress]: simplifying candidates 6.031 * [simplify]: Simplifying using # : (expm1 (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (log1p (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (* (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj)))) (log (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (exp (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (* (cbrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (cbrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj))) (cbrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (* (* (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj) (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (sqrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (sqrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (+ (* 1 1) (- (* wj wj) (* 1 wj))) wj)) (expm1 (/ x (exp wj))) (log1p (/ x (exp wj))) (- (log x) wj) (log (/ x (exp wj))) (exp (/ x (exp wj))) (/ (* (* x x) x) (* (* (exp wj) (exp wj)) (exp wj))) (* (cbrt (/ x (exp wj))) (cbrt (/ x (exp wj)))) (cbrt (/ x (exp wj))) (* (* (/ x (exp wj)) (/ x (exp wj))) (/ x (exp wj))) (sqrt (/ x (exp wj))) (sqrt (/ x (exp wj))) (- x) (- (exp wj)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (cbrt x) (cbrt (exp wj))) (/ (* (cbrt x) (cbrt x)) (sqrt (exp wj))) (/ (cbrt x) (sqrt (exp wj))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (exp wj)) (/ (sqrt x) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (sqrt x) (cbrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (/ (sqrt x) 1) (/ (sqrt x) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ x (sqrt (exp wj))) (/ 1 1) (/ x (exp wj)) (/ 1 (exp wj)) (/ (exp wj) x) (/ x (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (sqrt (exp wj))) (/ x 1) (/ (exp wj) (cbrt x)) (/ (exp wj) (sqrt x)) (/ (exp wj) x) (expm1 (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (log1p (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (- (log (- (/ x (exp wj)) wj)) (log (+ (pow 1 3) (pow wj 3)))) (log (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (exp (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (/ (* (* (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj)) (- (/ x (exp wj)) wj)) (* (* (+ (pow 1 3) (pow wj 3)) (+ (pow 1 3) (pow wj 3))) (+ (pow 1 3) (pow wj 3)))) (* (cbrt (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (cbrt (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))))) (cbrt (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (* (* (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (sqrt (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (sqrt (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3)))) (- (- (/ x (exp wj)) wj)) (- (+ (pow 1 3) (pow wj 3))) (/ (/ x (exp wj)) (+ (pow 1 3) (pow wj 3))) (/ wj (+ (pow 1 3) (pow wj 3))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (* (cbrt (+ (pow 1 3) (pow wj 3))) (cbrt (+ (pow 1 3) (pow wj 3))))) (/ (cbrt (- (/ x (exp wj)) wj)) (cbrt (+ (pow 1 3) (pow wj 3)))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (cbrt (- (/ x (exp wj)) wj)) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (+ (* 1 1) (- (* wj wj) (* 1 wj)))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) 1) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (pow 1 3)) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (pow 1 3)) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (pow 1 3)) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (pow 1 3)) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) 1) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (* 1 1) (pow wj 3))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) 1) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (sqrt (- (/ x (exp wj)) wj)) (* (cbrt (+ (pow 1 3) (pow wj 3))) (cbrt (+ (pow 1 3) (pow wj 3))))) (/ (sqrt (- (/ x (exp wj)) wj)) (cbrt (+ (pow 1 3) (pow wj 3)))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (* 1 1) (- (* wj wj) (* 1 wj)))) (/ (sqrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (/ (sqrt (- (/ x (exp wj)) wj)) 1) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (sqrt (- (/ x (exp wj)) wj)) (pow 1 3)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (sqrt (- (/ x (exp wj)) wj)) (pow 1 3)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (sqrt (- (/ x (exp wj)) wj)) (pow 1 3)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (sqrt (- (/ x (exp wj)) wj)) (pow 1 3)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ (sqrt (- (/ x (exp wj)) wj)) 1) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (* 1 1) (pow wj 3))) (/ (sqrt (- (/ x (exp wj)) wj)) 1) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow 1 3) (pow wj 3))) (/ 1 (* (cbrt (+ (pow 1 3) (pow wj 3))) (cbrt (+ (pow 1 3) (pow wj 3))))) (/ (- (/ x (exp wj)) wj) (cbrt (+ (pow 1 3) (pow wj 3)))) (/ 1 (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (- (/ x (exp wj)) wj) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ 1 (+ (* 1 1) (- (* wj wj) (* 1 wj)))) (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 (pow 1 3)) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 (pow 1 3)) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 (pow 1 3)) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 (pow 1 3)) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ (* 1 1) (pow wj 3))) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (* (cbrt (+ (pow 1 3) (pow wj 3))) (cbrt (+ (pow 1 3) (pow wj 3))))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (cbrt (+ (pow 1 3) (pow wj 3)))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (+ (* 1 1) (- (* wj wj) (* 1 wj)))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ 1 wj)) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) 1) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (pow 1 3)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (pow 1 3)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (pow 1 3)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (pow 1 3)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) 1) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (* 1 1) (pow wj 3))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) 1) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (* (cbrt (+ (pow 1 3) (pow wj 3))) (cbrt (+ (pow 1 3) (pow wj 3))))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (cbrt (+ (pow 1 3) (pow wj 3)))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (* 1 1) (- (* wj wj) (* 1 wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ 1 wj)) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) 1) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (pow 1 3)) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (pow 1 3)) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (pow 1 3)) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (pow 1 3)) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) 1) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (* 1 1) (pow wj 3))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) 1) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow 1 3) (pow wj 3))) (/ 1 (* (cbrt (+ (pow 1 3) (pow wj 3))) (cbrt (+ (pow 1 3) (pow wj 3))))) (/ (- (/ x (exp wj)) wj) (cbrt (+ (pow 1 3) (pow wj 3)))) (/ 1 (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (- (/ x (exp wj)) wj) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ 1 (+ (* 1 1) (- (* wj wj) (* 1 wj)))) (/ (- (/ x (exp wj)) wj) (+ 1 wj)) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 (pow 1 3)) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 (pow 1 3)) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 (pow 1 3)) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 (pow 1 3)) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ (* 1 1) (pow wj 3))) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ (pow 1 3) (pow wj 3))) (/ 1 (+ (pow 1 3) (pow wj 3))) (/ (+ (pow 1 3) (pow wj 3)) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (* (cbrt (+ (pow 1 3) (pow wj 3))) (cbrt (+ (pow 1 3) (pow wj 3))))) (/ (- (/ x (exp wj)) wj) (sqrt (+ (pow 1 3) (pow wj 3)))) (/ (- (/ x (exp wj)) wj) (+ (* 1 1) (- (* wj wj) (* 1 wj)))) (/ (- (/ x (exp wj)) wj) 1) (/ (- (/ x (exp wj)) wj) (pow 1 3)) (/ (- (/ x (exp wj)) wj) (pow 1 3)) (/ (- (/ x (exp wj)) wj) (pow 1 3)) (/ (- (/ x (exp wj)) wj) (pow 1 3)) (/ (- (/ x (exp wj)) wj) 1) (/ (- (/ x (exp wj)) wj) 1) (/ (+ (pow 1 3) (pow wj 3)) (cbrt (- (/ x (exp wj)) wj))) (/ (+ (pow 1 3) (pow wj 3)) (sqrt (- (/ x (exp wj)) wj))) (/ (+ (pow 1 3) (pow wj 3)) (- (/ x (exp wj)) wj)) (/ (+ (pow 1 3) (pow wj 3)) (- (sqrt (/ x (exp wj))) (sqrt wj))) (/ (+ (pow 1 3) (pow wj 3)) (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj))) (/ (+ (pow 1 3) (pow wj 3)) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (+ (pow (pow 1 3) 3) (pow (pow wj 3) 3))) (/ (- (/ x (exp wj)) wj) (- (* (pow 1 3) (pow 1 3)) (* (pow wj 3) (pow wj 3)))) (* (+ (pow 1 3) (pow wj 3)) (+ (* (/ x (exp wj)) (/ x (exp wj))) (+ (* wj wj) (* (/ x (exp wj)) wj)))) (* (+ (pow 1 3) (pow wj 3)) (+ (/ x (exp wj)) wj)) (fma wj wj (- (* wj 1))) (fma (- wj) 1 (* wj 1)) (expm1 (- (* wj wj) (* 1 wj))) (log1p (- (* wj wj) (* 1 wj))) (- (* 1 wj)) (/ (exp (* wj wj)) (exp (* 1 wj))) (log (- (* wj wj) (* 1 wj))) (exp (- (* wj wj) (* 1 wj))) (* (cbrt (- (* wj wj) (* 1 wj))) (cbrt (- (* wj wj) (* 1 wj)))) (cbrt (- (* wj wj) (* 1 wj))) (* (* (- (* wj wj) (* 1 wj)) (- (* wj wj) (* 1 wj))) (- (* wj wj) (* 1 wj))) (sqrt (- (* wj wj) (* 1 wj))) (sqrt (- (* wj wj) (* 1 wj))) (- (pow (* wj wj) 3) (pow (* 1 wj) 3)) (+ (* (* wj wj) (* wj wj)) (+ (* (* 1 wj) (* 1 wj)) (* (* wj wj) (* 1 wj)))) (- (* 1 wj)) (- (* (* wj wj) (* wj wj)) (* (* 1 wj) (* 1 wj))) (+ (* wj wj) (* 1 wj)) (- wj 1) (- (* 1 wj)) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ x (* 1/2 (* (pow wj 2) x))) (* wj x)) (/ x (exp wj)) (/ x (exp wj)) (- x (+ wj (* wj x))) (- (/ x (* (pow wj 3) (exp wj))) (/ 1 (pow wj 2))) (- (/ x (* (pow wj 3) (exp wj))) (/ 1 (pow wj 2))) (- (pow wj 2) wj) (- (pow wj 2) wj) (- (pow wj 2) wj) 6.038 * * [simplify]: iteration 0 : 229 enodes (cost 3157 ) 6.096 * * [simplify]: iteration 1 : 537 enodes (cost 2599 ) 6.240 * * [simplify]: iteration 2 : 1654 enodes (cost 2439 ) 6.727 * * [simplify]: iteration done : 5000 enodes (cost 2438 ) 6.728 * [simplify]: Simplified to: (expm1 (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj)) (log1p (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj)) (* (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1)) (log (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj)) (exp (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj)) (* (cbrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj)) (cbrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj))) (cbrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj)) (pow (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj) 3) (sqrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj)) (sqrt (fma (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (fma wj (- wj 1) 1) wj)) (expm1 (/ x (exp wj))) (log1p (/ x (exp wj))) (- (log x) wj) (- (log x) wj) (exp (/ x (exp wj))) (pow (/ x (exp wj)) 3) (* (cbrt (/ x (exp wj))) (cbrt (/ x (exp wj)))) (cbrt (/ x (exp wj))) (pow (/ x (exp wj)) 3) (sqrt (/ x (exp wj))) (sqrt (/ x (exp wj))) (- x) (- (exp wj)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (cbrt x) (cbrt (exp wj))) (/ (* (cbrt x) (cbrt x)) (sqrt (exp wj))) (/ (cbrt x) (sqrt (exp wj))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (exp wj)) (/ (sqrt x) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (sqrt x) (cbrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (sqrt x) (/ (sqrt x) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ x (sqrt (exp wj))) 1 (/ x (exp wj)) (exp (- wj)) (/ (exp wj) x) (/ x (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (sqrt (exp wj))) x (/ (exp wj) (cbrt x)) (/ (exp wj) (sqrt x)) (/ (exp wj) x) (expm1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1))) (log1p (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1))) (- (log (- (/ x (exp wj)) wj)) (log1p (pow wj 3))) (- (log (- (/ x (exp wj)) wj)) (log1p (pow wj 3))) (exp (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1))) (pow (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 3) (* (cbrt (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1))) (cbrt (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)))) (cbrt (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1))) (pow (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 3) (sqrt (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1))) (sqrt (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1))) (- (- (/ x (exp wj)) wj)) (- -1 (pow wj 3)) (/ (/ x (exp wj)) (+ (pow wj 3) 1)) (/ wj (+ (pow wj 3) 1)) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (* (cbrt (+ (pow wj 3) 1)) (cbrt (+ (pow wj 3) 1)))) (/ (cbrt (- (/ x (exp wj)) wj)) (cbrt (+ (pow wj 3) 1))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (hypot (pow wj 3/2) 1)) (/ (cbrt (- (/ x (exp wj)) wj)) (hypot (pow wj 3/2) 1)) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (fma wj (- wj 1) 1)) (/ (cbrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (/ (sqrt (- (/ x (exp wj)) wj)) (* (cbrt (+ (pow wj 3) 1)) (cbrt (+ (pow wj 3) 1)))) (/ (sqrt (- (/ x (exp wj)) wj)) (cbrt (+ (pow wj 3) 1))) (/ (sqrt (- (/ x (exp wj)) wj)) (hypot (pow wj 3/2) 1)) (/ (sqrt (- (/ x (exp wj)) wj)) (hypot (pow wj 3/2) 1)) (/ (sqrt (- (/ x (exp wj)) wj)) (fma wj (- wj 1) 1)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ 1 wj)) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ (pow wj 3) 1)) (/ (/ 1 (cbrt (+ (pow wj 3) 1))) (cbrt (+ (pow wj 3) 1))) (/ (- (/ x (exp wj)) wj) (cbrt (+ (pow wj 3) 1))) (/ 1 (hypot (pow wj 3/2) 1)) (/ (- (/ x (exp wj)) wj) (hypot (pow wj 3/2) 1)) (/ 1 (fma wj (- wj 1) 1)) (/ (- (/ x (exp wj)) wj) (+ 1 wj)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (* (cbrt (+ (pow wj 3) 1)) (cbrt (+ (pow wj 3) 1)))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (cbrt (+ (pow wj 3) 1))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (hypot (pow wj 3/2) 1)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (hypot (pow wj 3/2) 1)) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (fma wj (- wj 1) 1)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ 1 wj)) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (* (cbrt (+ (pow wj 3) 1)) (cbrt (+ (pow wj 3) 1)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (cbrt (+ (pow wj 3) 1))) (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (hypot (pow wj 3/2) 1)) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (hypot (pow wj 3/2) 1)) (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (fma wj (- wj 1) 1)) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ 1 wj)) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ (pow wj 3) 1)) (/ (/ 1 (cbrt (+ (pow wj 3) 1))) (cbrt (+ (pow wj 3) 1))) (/ (- (/ x (exp wj)) wj) (cbrt (+ (pow wj 3) 1))) (/ 1 (hypot (pow wj 3/2) 1)) (/ (- (/ x (exp wj)) wj) (hypot (pow wj 3/2) 1)) (/ 1 (fma wj (- wj 1) 1)) (/ (- (/ x (exp wj)) wj) (+ 1 wj)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) 1 (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (/ 1 (+ (pow wj 3) 1)) (/ (+ (pow wj 3) 1) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (* (cbrt (+ (pow wj 3) 1)) (cbrt (+ (pow wj 3) 1)))) (/ (- (/ x (exp wj)) wj) (hypot (pow wj 3/2) 1)) (/ (- (/ x (exp wj)) wj) (fma wj (- wj 1) 1)) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) (/ (+ (pow wj 3) 1) (cbrt (- (/ x (exp wj)) wj))) (/ (+ (pow wj 3) 1) (sqrt (- (/ x (exp wj)) wj))) (/ (+ (pow wj 3) 1) (- (/ x (exp wj)) wj)) (/ (+ (pow wj 3) 1) (- (sqrt (/ x (exp wj))) (sqrt wj))) (/ (+ (pow wj 3) 1) (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj))) (/ (+ (pow wj 3) 1) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (+ 1 (pow (pow wj 3) 3))) (/ (- (/ x (exp wj)) wj) (- 1 (pow wj 6))) (* (fma wj (+ (/ x (exp wj)) wj) (/ (* x x) (exp (+ wj wj)))) (+ (pow wj 3) 1)) (* (+ (/ x (exp wj)) wj) (+ (pow wj 3) 1)) (- (* wj wj) wj) (- wj wj) (expm1 (- (pow wj 2) wj)) (log1p (- (* wj wj) wj)) (- wj) (exp (- (* wj wj) wj)) (log (- (* wj wj) wj)) (exp (- (* wj wj) wj)) (* (cbrt (- (* wj wj) wj)) (cbrt (- (* wj wj) wj))) (cbrt (- (* wj wj) wj)) (pow (- (* wj wj) wj) 3) (sqrt (- (* wj wj) wj)) (sqrt (- (* wj wj) wj)) (- (pow wj 6) (pow wj 3)) (fma wj (fma wj wj wj) (pow wj 4)) (- wj) (* wj (- (pow wj 3) wj)) (fma wj wj wj) (- wj 1) (- wj) (- (fma wj wj x) (* 2 (* wj x))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (+ (* x (- (* 1/2 (* wj wj)) wj)) x) (/ x (exp wj)) (/ x (exp wj)) (- x (fma x wj wj)) (- (/ x (* (pow wj 3) (exp wj))) (/ 1 (pow wj 2))) (- (/ x (* (pow wj 3) (exp wj))) (/ 1 (pow wj 2))) (- (* wj wj) wj) (- (* wj wj) wj) (- (* wj wj) wj) 6.730 * * * [progress]: adding candidates to table 7.123 * [progress]: [Phase 3 of 3] Extracting. 7.123 * * [regime]: Finding splitpoints for: (# # # # #) 7.124 * * * [regime-changes]: Trying 2 branch expressions: (x wj) 7.124 * * * * [regimes]: Trying to branch on x from (# # # # #) 7.149 * * * * [regimes]: Trying to branch on wj from (# # # # #) 7.172 * * * [regime]: Found split indices: #