13.986 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.032 * * * [progress]: [2/2] Setting up program. 0.033 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying using # : (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) 0.036 * * [simplify]: iteration 0 : 20 enodes (cost 9 ) 0.037 * * [simplify]: iteration 1 : 48 enodes (cost 9 ) 0.039 * * [simplify]: iteration 2 : 107 enodes (cost 9 ) 0.041 * * [simplify]: iteration 3 : 224 enodes (cost 8 ) 0.047 * * [simplify]: iteration 4 : 1514 enodes (cost 8 ) 0.079 * * [simplify]: iteration 5 : 5001 enodes (cost 8 ) 0.080 * [simplify]: Simplified to: (- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1))) 0.082 * * [progress]: iteration 1 / 4 0.082 * * * [progress]: picking best candidate 0.085 * * * * [pick]: Picked # 0.085 * * * [progress]: localizing error 0.093 * * * [progress]: generating rewritten candidates 0.093 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.114 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.130 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.133 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 0.140 * * * [progress]: generating series expansions 0.140 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.140 * [approximate]: Taking taylor expansion of (- (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) in (wj x) around 0 0.140 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) in x 0.140 * [taylor]: Taking taylor expansion of (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) in x 0.140 * [taylor]: Taking taylor expansion of wj in x 0.140 * [taylor]: Taking taylor expansion of (/ x (+ (exp wj) (* wj (exp wj)))) in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in x 0.140 * [taylor]: Taking taylor expansion of (exp wj) in x 0.140 * [taylor]: Taking taylor expansion of wj in x 0.140 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.140 * [taylor]: Taking taylor expansion of wj in x 0.140 * [taylor]: Taking taylor expansion of (exp wj) in x 0.140 * [taylor]: Taking taylor expansion of wj in x 0.141 * [taylor]: Taking taylor expansion of (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))) in x 0.141 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.141 * [taylor]: Taking taylor expansion of wj in x 0.141 * [taylor]: Taking taylor expansion of (exp wj) in x 0.141 * [taylor]: Taking taylor expansion of wj in x 0.141 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in x 0.141 * [taylor]: Taking taylor expansion of (exp wj) in x 0.141 * [taylor]: Taking taylor expansion of wj in x 0.141 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.141 * [taylor]: Taking taylor expansion of wj in x 0.141 * [taylor]: Taking taylor expansion of (exp wj) in x 0.141 * [taylor]: Taking taylor expansion of wj in x 0.141 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) in wj 0.141 * [taylor]: Taking taylor expansion of (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) in wj 0.141 * [taylor]: Taking taylor expansion of wj in wj 0.141 * [taylor]: Taking taylor expansion of (/ x (+ (exp wj) (* wj (exp wj)))) in wj 0.141 * [taylor]: Taking taylor expansion of x in wj 0.141 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.141 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.141 * [taylor]: Taking taylor expansion of wj in wj 0.141 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.141 * [taylor]: Taking taylor expansion of wj in wj 0.141 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.141 * [taylor]: Taking taylor expansion of wj in wj 0.142 * [taylor]: Taking taylor expansion of (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))) in wj 0.142 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.142 * [taylor]: Taking taylor expansion of wj in wj 0.142 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.142 * [taylor]: Taking taylor expansion of wj in wj 0.142 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.142 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.142 * [taylor]: Taking taylor expansion of wj in wj 0.142 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.142 * [taylor]: Taking taylor expansion of wj in wj 0.142 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.142 * [taylor]: Taking taylor expansion of wj in wj 0.144 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) in wj 0.144 * [taylor]: Taking taylor expansion of (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) in wj 0.144 * [taylor]: Taking taylor expansion of wj in wj 0.144 * [taylor]: Taking taylor expansion of (/ x (+ (exp wj) (* wj (exp wj)))) in wj 0.144 * [taylor]: Taking taylor expansion of x in wj 0.144 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.144 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.144 * [taylor]: Taking taylor expansion of wj in wj 0.144 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.144 * [taylor]: Taking taylor expansion of wj in wj 0.144 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.144 * [taylor]: Taking taylor expansion of wj in wj 0.145 * [taylor]: Taking taylor expansion of (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))) in wj 0.145 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.145 * [taylor]: Taking taylor expansion of wj in wj 0.145 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.145 * [taylor]: Taking taylor expansion of wj in wj 0.145 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.145 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.145 * [taylor]: Taking taylor expansion of wj in wj 0.145 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.145 * [taylor]: Taking taylor expansion of wj in wj 0.145 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.145 * [taylor]: Taking taylor expansion of wj in wj 0.150 * [taylor]: Taking taylor expansion of x in x 0.152 * [taylor]: Taking taylor expansion of (- (* 2 x)) in x 0.152 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.152 * [taylor]: Taking taylor expansion of 2 in x 0.152 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (+ (* 5/2 x) 1) in x 0.160 * [taylor]: Taking taylor expansion of (* 5/2 x) in x 0.160 * [taylor]: Taking taylor expansion of 5/2 in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of 1 in x 0.162 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))))) in (wj x) around 0 0.162 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))))) in x 0.162 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) in x 0.162 * [taylor]: Taking taylor expansion of (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x) in x 0.162 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in x 0.162 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.162 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.162 * [taylor]: Taking taylor expansion of wj in x 0.162 * [taylor]: Taking taylor expansion of wj in x 0.162 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.162 * [taylor]: Taking taylor expansion of wj in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.164 * [taylor]: Taking taylor expansion of wj in x 0.164 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))))) in x 0.164 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.164 * [taylor]: Taking taylor expansion of wj in x 0.164 * [taylor]: Taking taylor expansion of (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in x 0.164 * [taylor]: Taking taylor expansion of wj in x 0.164 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in x 0.164 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.164 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.164 * [taylor]: Taking taylor expansion of wj in x 0.164 * [taylor]: Taking taylor expansion of wj in x 0.165 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.165 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.165 * [taylor]: Taking taylor expansion of wj in x 0.165 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))))) in wj 0.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) in wj 0.165 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) in wj 0.165 * [taylor]: Taking taylor expansion of (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x) in wj 0.165 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.165 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.165 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.165 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.165 * [taylor]: Taking taylor expansion of wj in wj 0.165 * [taylor]: Taking taylor expansion of wj in wj 0.165 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.165 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.166 * [taylor]: Taking taylor expansion of wj in wj 0.166 * [taylor]: Taking taylor expansion of x in wj 0.166 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.166 * [taylor]: Taking taylor expansion of wj in wj 0.166 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))))) in wj 0.166 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.166 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.166 * [taylor]: Taking taylor expansion of wj in wj 0.167 * [taylor]: Taking taylor expansion of (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in wj 0.167 * [taylor]: Taking taylor expansion of wj in wj 0.167 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.167 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.167 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.167 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.167 * [taylor]: Taking taylor expansion of wj in wj 0.167 * [taylor]: Taking taylor expansion of wj in wj 0.167 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.167 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.167 * [taylor]: Taking taylor expansion of wj in wj 0.168 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))))) in wj 0.168 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) in wj 0.168 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) in wj 0.168 * [taylor]: Taking taylor expansion of (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x) in wj 0.168 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.168 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.168 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.168 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.168 * [taylor]: Taking taylor expansion of wj in wj 0.169 * [taylor]: Taking taylor expansion of wj in wj 0.169 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.169 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.169 * [taylor]: Taking taylor expansion of wj in wj 0.169 * [taylor]: Taking taylor expansion of x in wj 0.169 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.169 * [taylor]: Taking taylor expansion of wj in wj 0.169 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))))) in wj 0.170 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.170 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.170 * [taylor]: Taking taylor expansion of wj in wj 0.170 * [taylor]: Taking taylor expansion of (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in wj 0.170 * [taylor]: Taking taylor expansion of wj in wj 0.170 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.170 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.170 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.170 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.170 * [taylor]: Taking taylor expansion of wj in wj 0.170 * [taylor]: Taking taylor expansion of wj in wj 0.170 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.170 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.170 * [taylor]: Taking taylor expansion of wj in wj 0.172 * [taylor]: Taking taylor expansion of 1 in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.176 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.176 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.176 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.176 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.176 * [taylor]: Taking taylor expansion of wj in x 0.177 * [taylor]: Taking taylor expansion of 1 in x 0.177 * [approximate]: Taking taylor expansion of (- (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)))) in (wj x) around 0 0.177 * [taylor]: Taking taylor expansion of (- (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)))) in x 0.177 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) in x 0.177 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.177 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.177 * [taylor]: Taking taylor expansion of -1 in x 0.177 * [taylor]: Taking taylor expansion of wj in x 0.178 * [taylor]: Taking taylor expansion of (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in x 0.178 * [taylor]: Taking taylor expansion of wj in x 0.178 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in x 0.178 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.178 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.178 * [taylor]: Taking taylor expansion of -1 in x 0.178 * [taylor]: Taking taylor expansion of wj in x 0.178 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.178 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.178 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.178 * [taylor]: Taking taylor expansion of -1 in x 0.178 * [taylor]: Taking taylor expansion of wj in x 0.178 * [taylor]: Taking taylor expansion of wj in x 0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x))) in x 0.178 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.178 * [taylor]: Taking taylor expansion of wj in x 0.178 * [taylor]: Taking taylor expansion of (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)) in x 0.178 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x) in x 0.178 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in x 0.178 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.178 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.178 * [taylor]: Taking taylor expansion of -1 in x 0.178 * [taylor]: Taking taylor expansion of wj in x 0.178 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.179 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.179 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.179 * [taylor]: Taking taylor expansion of -1 in x 0.179 * [taylor]: Taking taylor expansion of wj in x 0.179 * [taylor]: Taking taylor expansion of wj in x 0.179 * [taylor]: Taking taylor expansion of x in x 0.181 * [taylor]: Taking taylor expansion of (- (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)))) in wj 0.181 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) in wj 0.181 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.181 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.181 * [taylor]: Taking taylor expansion of -1 in wj 0.181 * [taylor]: Taking taylor expansion of wj in wj 0.182 * [taylor]: Taking taylor expansion of (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in wj 0.182 * [taylor]: Taking taylor expansion of wj in wj 0.182 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.182 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.182 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.182 * [taylor]: Taking taylor expansion of -1 in wj 0.182 * [taylor]: Taking taylor expansion of wj in wj 0.182 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.182 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.182 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.182 * [taylor]: Taking taylor expansion of -1 in wj 0.182 * [taylor]: Taking taylor expansion of wj in wj 0.183 * [taylor]: Taking taylor expansion of wj in wj 0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x))) in wj 0.184 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.184 * [taylor]: Taking taylor expansion of wj in wj 0.184 * [taylor]: Taking taylor expansion of (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)) in wj 0.184 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x) in wj 0.184 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.184 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.184 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.184 * [taylor]: Taking taylor expansion of -1 in wj 0.184 * [taylor]: Taking taylor expansion of wj in wj 0.184 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.184 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.184 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.185 * [taylor]: Taking taylor expansion of -1 in wj 0.185 * [taylor]: Taking taylor expansion of wj in wj 0.185 * [taylor]: Taking taylor expansion of wj in wj 0.185 * [taylor]: Taking taylor expansion of x in wj 0.185 * [taylor]: Taking taylor expansion of (- (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)))) in wj 0.185 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) in wj 0.185 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.185 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.185 * [taylor]: Taking taylor expansion of -1 in wj 0.185 * [taylor]: Taking taylor expansion of wj in wj 0.186 * [taylor]: Taking taylor expansion of (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in wj 0.186 * [taylor]: Taking taylor expansion of wj in wj 0.186 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.186 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.186 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.186 * [taylor]: Taking taylor expansion of -1 in wj 0.186 * [taylor]: Taking taylor expansion of wj in wj 0.186 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.186 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.186 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.186 * [taylor]: Taking taylor expansion of -1 in wj 0.186 * [taylor]: Taking taylor expansion of wj in wj 0.186 * [taylor]: Taking taylor expansion of wj in wj 0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x))) in wj 0.188 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.188 * [taylor]: Taking taylor expansion of wj in wj 0.188 * [taylor]: Taking taylor expansion of (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)) in wj 0.188 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x) in wj 0.188 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.188 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.188 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.188 * [taylor]: Taking taylor expansion of -1 in wj 0.188 * [taylor]: Taking taylor expansion of wj in wj 0.188 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.188 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.188 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.188 * [taylor]: Taking taylor expansion of -1 in wj 0.188 * [taylor]: Taking taylor expansion of wj in wj 0.189 * [taylor]: Taking taylor expansion of wj in wj 0.189 * [taylor]: Taking taylor expansion of x in wj 0.190 * [taylor]: Taking taylor expansion of -1 in x 0.191 * [taylor]: Taking taylor expansion of -1 in x 0.194 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ -1 wj)))) 1) in x 0.194 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.194 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.194 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.194 * [taylor]: Taking taylor expansion of -1 in x 0.194 * [taylor]: Taking taylor expansion of wj in x 0.195 * [taylor]: Taking taylor expansion of 1 in x 0.195 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.196 * [approximate]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) in (wj x) around 0 0.196 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) in x 0.196 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in x 0.196 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.196 * [taylor]: Taking taylor expansion of wj in x 0.196 * [taylor]: Taking taylor expansion of (exp wj) in x 0.196 * [taylor]: Taking taylor expansion of wj in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in x 0.196 * [taylor]: Taking taylor expansion of (exp wj) in x 0.196 * [taylor]: Taking taylor expansion of wj in x 0.196 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.196 * [taylor]: Taking taylor expansion of wj in x 0.196 * [taylor]: Taking taylor expansion of (exp wj) in x 0.196 * [taylor]: Taking taylor expansion of wj in x 0.196 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) in wj 0.197 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in wj 0.197 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.197 * [taylor]: Taking taylor expansion of wj in wj 0.197 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.197 * [taylor]: Taking taylor expansion of wj in wj 0.197 * [taylor]: Taking taylor expansion of x in wj 0.197 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.197 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.197 * [taylor]: Taking taylor expansion of wj in wj 0.197 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.197 * [taylor]: Taking taylor expansion of wj in wj 0.197 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.197 * [taylor]: Taking taylor expansion of wj in wj 0.198 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) in wj 0.198 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in wj 0.198 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.198 * [taylor]: Taking taylor expansion of wj in wj 0.198 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.198 * [taylor]: Taking taylor expansion of wj in wj 0.198 * [taylor]: Taking taylor expansion of x in wj 0.198 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.198 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.198 * [taylor]: Taking taylor expansion of wj in wj 0.198 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.198 * [taylor]: Taking taylor expansion of wj in wj 0.198 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.198 * [taylor]: Taking taylor expansion of wj in wj 0.199 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.199 * [taylor]: Taking taylor expansion of -1 in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (+ (* 2 x) 1) in x 0.203 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.203 * [taylor]: Taking taylor expansion of 2 in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of 1 in x 0.209 * [taylor]: Taking taylor expansion of (- (+ (* 5/2 x) 1)) in x 0.209 * [taylor]: Taking taylor expansion of (+ (* 5/2 x) 1) in x 0.209 * [taylor]: Taking taylor expansion of (* 5/2 x) in x 0.209 * [taylor]: Taking taylor expansion of 5/2 in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of 1 in x 0.211 * [approximate]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in (wj x) around 0 0.211 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in x 0.211 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in x 0.211 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.211 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.211 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.211 * [taylor]: Taking taylor expansion of wj in x 0.211 * [taylor]: Taking taylor expansion of wj in x 0.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.211 * [taylor]: Taking taylor expansion of x in x 0.211 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in x 0.211 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.211 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.211 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.211 * [taylor]: Taking taylor expansion of wj in x 0.211 * [taylor]: Taking taylor expansion of wj in x 0.211 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.211 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.211 * [taylor]: Taking taylor expansion of wj in x 0.212 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in wj 0.212 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in wj 0.212 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.212 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.212 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.212 * [taylor]: Taking taylor expansion of wj in wj 0.213 * [taylor]: Taking taylor expansion of wj in wj 0.213 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.213 * [taylor]: Taking taylor expansion of x in wj 0.213 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.213 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.213 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.213 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.213 * [taylor]: Taking taylor expansion of wj in wj 0.213 * [taylor]: Taking taylor expansion of wj in wj 0.213 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.213 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.213 * [taylor]: Taking taylor expansion of wj in wj 0.214 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in wj 0.214 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in wj 0.214 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.214 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.214 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.214 * [taylor]: Taking taylor expansion of wj in wj 0.214 * [taylor]: Taking taylor expansion of wj in wj 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.214 * [taylor]: Taking taylor expansion of x in wj 0.214 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.214 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.214 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.214 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.214 * [taylor]: Taking taylor expansion of wj in wj 0.214 * [taylor]: Taking taylor expansion of wj in wj 0.215 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.215 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.215 * [taylor]: Taking taylor expansion of wj in wj 0.215 * [taylor]: Taking taylor expansion of 1 in x 0.217 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (exp (/ 1 wj)))) 1)) in x 0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.217 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.217 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.217 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.217 * [taylor]: Taking taylor expansion of wj in x 0.218 * [taylor]: Taking taylor expansion of 1 in x 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.221 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.221 * [taylor]: Taking taylor expansion of wj in x 0.222 * [taylor]: Taking taylor expansion of 1 in x 0.222 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in (wj x) around 0 0.223 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in x 0.223 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.223 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.223 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.223 * [taylor]: Taking taylor expansion of -1 in x 0.223 * [taylor]: Taking taylor expansion of wj in x 0.223 * [taylor]: Taking taylor expansion of wj in x 0.223 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in x 0.223 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.223 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.223 * [taylor]: Taking taylor expansion of -1 in x 0.223 * [taylor]: Taking taylor expansion of wj in x 0.223 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.223 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.223 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.223 * [taylor]: Taking taylor expansion of -1 in x 0.223 * [taylor]: Taking taylor expansion of wj in x 0.223 * [taylor]: Taking taylor expansion of wj in x 0.224 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in wj 0.224 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in wj 0.224 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.224 * [taylor]: Taking taylor expansion of x in wj 0.224 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.224 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.224 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.224 * [taylor]: Taking taylor expansion of -1 in wj 0.224 * [taylor]: Taking taylor expansion of wj in wj 0.224 * [taylor]: Taking taylor expansion of wj in wj 0.224 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.224 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.224 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.225 * [taylor]: Taking taylor expansion of -1 in wj 0.225 * [taylor]: Taking taylor expansion of wj in wj 0.225 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.225 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.225 * [taylor]: Taking taylor expansion of -1 in wj 0.225 * [taylor]: Taking taylor expansion of wj in wj 0.225 * [taylor]: Taking taylor expansion of wj in wj 0.226 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in wj 0.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in wj 0.226 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.226 * [taylor]: Taking taylor expansion of x in wj 0.226 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.226 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.226 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.226 * [taylor]: Taking taylor expansion of -1 in wj 0.226 * [taylor]: Taking taylor expansion of wj in wj 0.226 * [taylor]: Taking taylor expansion of wj in wj 0.226 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.226 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.226 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.226 * [taylor]: Taking taylor expansion of -1 in wj 0.226 * [taylor]: Taking taylor expansion of wj in wj 0.226 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.226 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.227 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.227 * [taylor]: Taking taylor expansion of -1 in wj 0.227 * [taylor]: Taking taylor expansion of wj in wj 0.227 * [taylor]: Taking taylor expansion of wj in wj 0.227 * [taylor]: Taking taylor expansion of 1 in x 0.229 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x (exp (/ -1 wj))))) in x 0.229 * [taylor]: Taking taylor expansion of 1 in x 0.229 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.229 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.229 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.229 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.229 * [taylor]: Taking taylor expansion of -1 in x 0.229 * [taylor]: Taking taylor expansion of wj in x 0.233 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x (exp (/ -1 wj))))) in x 0.234 * [taylor]: Taking taylor expansion of 1 in x 0.234 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.234 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.234 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.234 * [taylor]: Taking taylor expansion of -1 in x 0.234 * [taylor]: Taking taylor expansion of wj in x 0.235 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 0.235 * [approximate]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in (wj) around 0 0.235 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.235 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.235 * [taylor]: Taking taylor expansion of wj in wj 0.235 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.235 * [taylor]: Taking taylor expansion of wj in wj 0.235 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.236 * [taylor]: Taking taylor expansion of wj in wj 0.236 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.236 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.236 * [taylor]: Taking taylor expansion of wj in wj 0.236 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.236 * [taylor]: Taking taylor expansion of wj in wj 0.236 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.236 * [taylor]: Taking taylor expansion of wj in wj 0.243 * [approximate]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in (wj) around 0 0.243 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.243 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.243 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.243 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.243 * [taylor]: Taking taylor expansion of wj in wj 0.244 * [taylor]: Taking taylor expansion of wj in wj 0.244 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.244 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.244 * [taylor]: Taking taylor expansion of wj in wj 0.244 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.244 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.244 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.244 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.244 * [taylor]: Taking taylor expansion of wj in wj 0.244 * [taylor]: Taking taylor expansion of wj in wj 0.244 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.245 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.245 * [taylor]: Taking taylor expansion of wj in wj 0.257 * [approximate]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in (wj) around 0 0.257 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.257 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.257 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.257 * [taylor]: Taking taylor expansion of -1 in wj 0.257 * [taylor]: Taking taylor expansion of wj in wj 0.257 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.257 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.257 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.257 * [taylor]: Taking taylor expansion of -1 in wj 0.257 * [taylor]: Taking taylor expansion of wj in wj 0.258 * [taylor]: Taking taylor expansion of wj in wj 0.258 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.258 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.258 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.258 * [taylor]: Taking taylor expansion of -1 in wj 0.258 * [taylor]: Taking taylor expansion of wj in wj 0.258 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.258 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.258 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.258 * [taylor]: Taking taylor expansion of -1 in wj 0.258 * [taylor]: Taking taylor expansion of wj in wj 0.259 * [taylor]: Taking taylor expansion of wj in wj 0.272 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 0.272 * [approximate]: Taking taylor expansion of (* wj (exp wj)) in (wj) around 0 0.272 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.272 * [taylor]: Taking taylor expansion of wj in wj 0.272 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.272 * [taylor]: Taking taylor expansion of wj in wj 0.272 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.272 * [taylor]: Taking taylor expansion of wj in wj 0.272 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.272 * [taylor]: Taking taylor expansion of wj in wj 0.277 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in (wj) around 0 0.277 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.277 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.277 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.277 * [taylor]: Taking taylor expansion of wj in wj 0.278 * [taylor]: Taking taylor expansion of wj in wj 0.278 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.278 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.278 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.278 * [taylor]: Taking taylor expansion of wj in wj 0.278 * [taylor]: Taking taylor expansion of wj in wj 0.287 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ -1 wj)) wj)) in (wj) around 0 0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 wj)) wj)) in wj 0.287 * [taylor]: Taking taylor expansion of -1 in wj 0.287 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.287 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.287 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.287 * [taylor]: Taking taylor expansion of -1 in wj 0.287 * [taylor]: Taking taylor expansion of wj in wj 0.287 * [taylor]: Taking taylor expansion of wj in wj 0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 wj)) wj)) in wj 0.287 * [taylor]: Taking taylor expansion of -1 in wj 0.287 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.287 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.287 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.287 * [taylor]: Taking taylor expansion of -1 in wj 0.287 * [taylor]: Taking taylor expansion of wj in wj 0.288 * [taylor]: Taking taylor expansion of wj in wj 0.301 * * * [progress]: simplifying candidates 0.303 * [simplify]: Simplifying using # : (/ (exp wj) (exp (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (log (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (exp (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (* (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))) (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (* (* (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (sqrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (sqrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- (pow wj 3) (pow (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) 3)) (+ (* wj wj) (+ (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (* wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))) (- (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- (* wj wj) (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (+ (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (+ (sqrt wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj)))))) (- (sqrt wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj)))))) (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) (- (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- (log (- (* wj (exp wj)) x)) (log (+ (exp wj) (* wj (exp wj))))) (log (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (exp (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (/ (* (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (- (* wj (exp wj)) x)) (* (* (+ (exp wj) (* wj (exp wj))) (+ (exp wj) (* wj (exp wj)))) (+ (exp wj) (* wj (exp wj))))) (* (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (* (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- (- (* wj (exp wj)) x)) (- (+ (exp wj) (* wj (exp wj)))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))) (/ x (+ (exp wj) (* wj (exp wj)))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) (/ (cbrt (- (* wj (exp wj)) x)) (+ (exp wj) (* wj (exp wj)))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (exp wj)) (/ (cbrt (- (* wj (exp wj)) x)) (+ 1 wj)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (+ wj 1)) (/ (cbrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) 1) (/ (sqrt (- (* wj (exp wj)) x)) (+ (exp wj) (* wj (exp wj)))) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (+ 1 wj)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ 1 (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ 1 (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ 1 1) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ 1 (exp wj)) (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (+ wj 1)) (/ (- (* wj (exp wj)) x) (exp wj)) (/ 1 (+ (exp wj) (* wj (exp wj)))) (/ (+ (exp wj) (* wj (exp wj))) (- (* wj (exp wj)) x)) (/ (- (* wj (exp wj)) x) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) 1) (/ (- (* wj (exp wj)) x) (exp wj)) (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ (+ (exp wj) (* wj (exp wj))) (cbrt (- (* wj (exp wj)) x))) (/ (+ (exp wj) (* wj (exp wj))) (sqrt (- (* wj (exp wj)) x))) (/ (+ (exp wj) (* wj (exp wj))) (- (* wj (exp wj)) x)) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (* (+ (exp wj) (* wj (exp wj))) (+ (* (* wj (exp wj)) (* wj (exp wj))) (+ (* x x) (* (* wj (exp wj)) x)))) (* (+ (exp wj) (* wj (exp wj))) (+ (* wj (exp wj)) x)) (* (exp (exp wj)) (exp (* wj (exp wj)))) (log (+ (exp wj) (* wj (exp wj)))) (exp (+ (exp wj) (* wj (exp wj)))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))) (cbrt (+ (exp wj) (* wj (exp wj)))) (* (* (+ (exp wj) (* wj (exp wj))) (+ (exp wj) (* wj (exp wj)))) (+ (exp wj) (* wj (exp wj)))) (sqrt (+ (exp wj) (* wj (exp wj)))) (sqrt (+ (exp wj) (* wj (exp wj)))) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)) (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))) (- (exp wj) (* wj (exp wj))) (+ 1 wj) (+ wj 1) (* wj (exp wj)) (+ (log wj) wj) (log (* wj (exp wj))) (exp (* wj (exp wj))) (* (* (* wj wj) wj) (* (* (exp wj) (exp wj)) (exp wj))) (* (cbrt (* wj (exp wj))) (cbrt (* wj (exp wj)))) (cbrt (* wj (exp wj))) (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj))) (sqrt (* wj (exp wj))) (sqrt (* wj (exp wj))) (* (sqrt wj) (sqrt (exp wj))) (* (sqrt wj) (sqrt (exp wj))) (* wj (* (cbrt (exp wj)) (cbrt (exp wj)))) (* wj (sqrt (exp wj))) (* wj 1) (* (cbrt wj) (exp wj)) (* (sqrt wj) (exp wj)) (* wj (exp wj)) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- wj (+ x (pow wj 2))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (+ (* 2 wj) (+ (* 3/2 (pow wj 2)) 1)) (+ (exp wj) (* wj (exp wj))) (+ (exp wj) (* wj (exp wj))) (+ wj (+ (pow wj 2) (* 1/2 (pow wj 3)))) (* wj (exp wj)) (* wj (exp wj)) 0.309 * * [simplify]: iteration 0 : 394 enodes (cost 942 ) 0.317 * * [simplify]: iteration 1 : 1478 enodes (cost 877 ) 0.345 * * [simplify]: iteration 2 : 5001 enodes (cost 855 ) 0.349 * [simplify]: Simplified to: (exp (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (log (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (exp (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (* (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))) (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (pow (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) 3) (sqrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (sqrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- (pow wj 3) (pow (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) 3)) (+ (/ (* (- (* wj (exp wj)) x) (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (* (+ wj 1) (exp wj))) (pow wj 2)) (- (/ (- (* wj (exp wj)) x) (* (+ wj 1) (exp wj)))) (- (pow wj 2) (/ (/ (/ (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (* (+ wj 1) (exp wj))) (+ 1 wj)) (exp wj))) (+ wj (/ (/ (- (* wj (exp wj)) x) (+ 1 wj)) (exp wj))) (+ (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (+ (sqrt wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj)))))) (- (sqrt wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj)))))) (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- wj (/ wj (/ (* (+ wj 1) (exp wj)) (exp wj)))) (- (/ (- (* wj (exp wj)) x) (* (+ wj 1) (exp wj)))) (- (log (/ (- (* wj (exp wj)) x) (+ wj 1))) wj) (- (log (/ (- (* wj (exp wj)) x) (+ wj 1))) wj) (exp (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (pow (/ (/ (- (* wj (exp wj)) x) (+ 1 wj)) (exp wj)) 3) (* (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (pow (/ (/ (- (* wj (exp wj)) x) (+ 1 wj)) (exp wj)) 3) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- (- (* wj (exp wj)) x)) (* (- (+ 1 wj)) (exp wj)) (/ wj (+ 1 wj)) (/ (/ x (+ wj 1)) (exp wj)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ 1 wj)) (exp wj)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (exp wj)) (/ (cbrt (- (* wj (exp wj)) x)) (+ 1 wj)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (+ wj 1)) (/ (cbrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (sqrt (- (* wj (exp wj)) x)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ 1 wj)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ 1 (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ 1 (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (sqrt (+ (exp wj) (* wj (exp wj))))) 1 (/ (/ (- (* wj (exp wj)) x) (+ 1 wj)) (exp wj)) (/ 1 (exp wj)) (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ 1 (+ wj 1)) (/ (- (* wj (exp wj)) x) (exp wj)) (/ (/ 1 (+ 1 wj)) (exp wj)) (/ (+ 1 wj) (/ (- (* wj (exp wj)) x) (exp wj))) (/ (- (* wj (exp wj)) x) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (sqrt (+ (exp wj) (* wj (exp wj))))) (- (* wj (exp wj)) x) (/ (- (* wj (exp wj)) x) (exp wj)) (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ (+ 1 wj) (/ (cbrt (- (* wj (exp wj)) x)) (exp wj))) (/ (+ 1 wj) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj))) (/ (+ 1 wj) (/ (- (* wj (exp wj)) x) (exp wj))) (/ (- (* wj (exp wj)) x) (* (+ (pow wj 3) 1) (pow (exp wj) 3))) (/ (- (* wj (exp wj)) x) (* (exp wj) (- (exp wj) (* (* wj (exp wj)) wj)))) (* (+ (* x (+ x (* wj (exp wj)))) (* (pow wj 2) (exp (+ wj wj)))) (* (+ wj 1) (exp wj))) (* (+ (* wj (exp wj)) x) (* (+ wj 1) (exp wj))) (pow (exp (+ 1 wj)) (exp wj)) (+ (log (+ 1 wj)) wj) (pow (exp (+ 1 wj)) (exp wj)) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))) (cbrt (+ (exp wj) (* wj (exp wj)))) (pow (* (+ wj 1) (exp wj)) 3) (sqrt (+ (exp wj) (* wj (exp wj)))) (sqrt (+ (exp wj) (* wj (exp wj)))) (* (+ (pow wj 3) 1) (pow (exp wj) 3)) (* (exp (+ wj wj)) (- (+ (pow wj 2) 1) wj)) (* (+ (- (pow wj 2)) 1) (exp (+ wj wj))) (- (exp wj) (* wj (exp wj))) (+ 1 wj) (+ 1 wj) (* wj (exp wj)) (+ wj (log wj)) (+ wj (log wj)) (exp (* wj (exp wj))) (pow (* wj (exp wj)) 3) (* (cbrt (* wj (exp wj))) (cbrt (* wj (exp wj)))) (cbrt (* wj (exp wj))) (pow (* wj (exp wj)) 3) (sqrt (* wj (exp wj))) (sqrt (* wj (exp wj))) (* (sqrt (exp wj)) (pow wj 1/2)) (* (sqrt (exp wj)) (pow wj 1/2)) (* wj (* (cbrt (exp wj)) (cbrt (exp wj)))) (* wj (sqrt (exp wj))) wj (* (cbrt wj) (exp wj)) (* (sqrt wj) (exp wj)) (* wj (exp wj)) (+ x (* wj (- wj (* 2 x)))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- wj (+ x (pow wj 2))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (+ (* 2 wj) (+ (* 3/2 (pow wj 2)) 1)) (* (+ wj 1) (exp wj)) (* (+ wj 1) (exp wj)) (+ wj (+ (pow wj 2) (* 1/2 (pow wj 3)))) (* wj (exp wj)) (* wj (exp wj)) 0.349 * * * [progress]: adding candidates to table 0.577 * * [progress]: iteration 2 / 4 0.577 * * * [progress]: picking best candidate 0.590 * * * * [pick]: Picked # 0.590 * * * [progress]: localizing error 0.595 * * * [progress]: generating rewritten candidates 0.595 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.603 * * * [progress]: generating series expansions 0.603 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.603 * [approximate]: Taking taylor expansion of (* wj (- wj (* 2 x))) in (wj x) around 0 0.603 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in x 0.603 * [taylor]: Taking taylor expansion of wj in x 0.603 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in x 0.603 * [taylor]: Taking taylor expansion of wj in x 0.603 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.603 * [taylor]: Taking taylor expansion of 2 in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 0.603 * [taylor]: Taking taylor expansion of wj in wj 0.603 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 0.603 * [taylor]: Taking taylor expansion of wj in wj 0.603 * [taylor]: Taking taylor expansion of (* 2 x) in wj 0.604 * [taylor]: Taking taylor expansion of 2 in wj 0.604 * [taylor]: Taking taylor expansion of x in wj 0.604 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 0.604 * [taylor]: Taking taylor expansion of wj in wj 0.604 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 0.604 * [taylor]: Taking taylor expansion of wj in wj 0.604 * [taylor]: Taking taylor expansion of (* 2 x) in wj 0.604 * [taylor]: Taking taylor expansion of 2 in wj 0.604 * [taylor]: Taking taylor expansion of x in wj 0.604 * [taylor]: Taking taylor expansion of 0 in x 0.605 * [taylor]: Taking taylor expansion of (- (* 2 x)) in x 0.605 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.605 * [taylor]: Taking taylor expansion of 2 in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.607 * [taylor]: Taking taylor expansion of 1 in x 0.610 * [taylor]: Taking taylor expansion of 0 in x 0.613 * [taylor]: Taking taylor expansion of 0 in x 0.613 * [approximate]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in (wj x) around 0 0.613 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in x 0.613 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in x 0.614 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.614 * [taylor]: Taking taylor expansion of wj in x 0.614 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.614 * [taylor]: Taking taylor expansion of 2 in x 0.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of wj in x 0.615 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 0.615 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 0.615 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.615 * [taylor]: Taking taylor expansion of wj in wj 0.615 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.615 * [taylor]: Taking taylor expansion of 2 in wj 0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.615 * [taylor]: Taking taylor expansion of x in wj 0.615 * [taylor]: Taking taylor expansion of wj in wj 0.616 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 0.616 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 0.616 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.616 * [taylor]: Taking taylor expansion of wj in wj 0.616 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.616 * [taylor]: Taking taylor expansion of 2 in wj 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.616 * [taylor]: Taking taylor expansion of x in wj 0.616 * [taylor]: Taking taylor expansion of wj in wj 0.617 * [taylor]: Taking taylor expansion of 1 in x 0.618 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.618 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.618 * [taylor]: Taking taylor expansion of 2 in x 0.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.621 * [taylor]: Taking taylor expansion of 0 in x 0.624 * [taylor]: Taking taylor expansion of 0 in x 0.632 * [taylor]: Taking taylor expansion of 0 in x 0.632 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in (wj x) around 0 0.632 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in x 0.632 * [taylor]: Taking taylor expansion of -1 in x 0.632 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in x 0.632 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in x 0.632 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.632 * [taylor]: Taking taylor expansion of 2 in x 0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.632 * [taylor]: Taking taylor expansion of x in x 0.633 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.633 * [taylor]: Taking taylor expansion of wj in x 0.633 * [taylor]: Taking taylor expansion of wj in x 0.633 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 0.633 * [taylor]: Taking taylor expansion of -1 in wj 0.633 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 0.633 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 0.633 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.633 * [taylor]: Taking taylor expansion of 2 in wj 0.633 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.634 * [taylor]: Taking taylor expansion of x in wj 0.634 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.634 * [taylor]: Taking taylor expansion of wj in wj 0.634 * [taylor]: Taking taylor expansion of wj in wj 0.635 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 0.635 * [taylor]: Taking taylor expansion of -1 in wj 0.635 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 0.635 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 0.635 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.635 * [taylor]: Taking taylor expansion of 2 in wj 0.635 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.635 * [taylor]: Taking taylor expansion of x in wj 0.635 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.635 * [taylor]: Taking taylor expansion of wj in wj 0.635 * [taylor]: Taking taylor expansion of wj in wj 0.636 * [taylor]: Taking taylor expansion of 1 in x 0.638 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.638 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.638 * [taylor]: Taking taylor expansion of 2 in x 0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.641 * [taylor]: Taking taylor expansion of 0 in x 0.646 * [taylor]: Taking taylor expansion of 0 in x 0.652 * [taylor]: Taking taylor expansion of 0 in x 0.652 * * * [progress]: simplifying candidates 0.652 * [simplify]: Simplifying using # : (* wj (- wj (* 2 x))) (+ (log wj) (log (- wj (* 2 x)))) (log (* wj (- wj (* 2 x)))) (exp (* wj (- wj (* 2 x)))) (* (* (* wj wj) wj) (* (* (- wj (* 2 x)) (- wj (* 2 x))) (- wj (* 2 x)))) (* (cbrt (* wj (- wj (* 2 x)))) (cbrt (* wj (- wj (* 2 x))))) (cbrt (* wj (- wj (* 2 x)))) (* (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))) (* wj (- wj (* 2 x)))) (sqrt (* wj (- wj (* 2 x)))) (sqrt (* wj (- wj (* 2 x)))) (* (sqrt wj) (sqrt (- wj (* 2 x)))) (* (sqrt wj) (sqrt (- wj (* 2 x)))) (* wj wj) (* wj (- (* 2 x))) (* wj wj) (* wj (- (* 2 x))) (* wj wj) (* (- (* 2 x)) wj) (* wj wj) (* (- (* 2 x)) wj) (* wj (* (cbrt (- wj (* 2 x))) (cbrt (- wj (* 2 x))))) (* wj (sqrt (- wj (* 2 x)))) (* wj 1) (* (cbrt wj) (- wj (* 2 x))) (* (sqrt wj) (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- (pow wj 3) (pow (* 2 x) 3))) (* wj (- (* wj wj) (* (* 2 x) (* 2 x)))) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) 0.656 * * [simplify]: iteration 0 : 123 enodes (cost 129 ) 0.659 * * [simplify]: iteration 1 : 529 enodes (cost 113 ) 0.673 * * [simplify]: iteration 2 : 2630 enodes (cost 112 ) 0.739 * * [simplify]: iteration 3 : 5001 enodes (cost 112 ) 0.740 * [simplify]: Simplified to: (* wj (- wj (* 2 x))) (log (* wj (- wj (* 2 x)))) (log (* wj (- wj (* 2 x)))) (exp (* wj (- wj (* 2 x)))) (pow (* wj (- wj (* 2 x))) 3) (* (cbrt (* wj (- wj (* 2 x)))) (cbrt (* wj (- wj (* 2 x))))) (cbrt (* wj (- wj (* 2 x)))) (pow (* wj (- wj (* 2 x))) 3) (sqrt (* wj (- wj (* 2 x)))) (sqrt (* wj (- wj (* 2 x)))) (* (sqrt (- wj (* 2 x))) (pow wj 1/2)) (* (sqrt (- wj (* 2 x))) (pow wj 1/2)) (pow wj 2) (* wj (- (* 2 x))) (pow wj 2) (* wj (- (* 2 x))) (pow wj 2) (* wj (- (* 2 x))) (pow wj 2) (* wj (- (* 2 x))) (* wj (* (cbrt (- wj (* 2 x))) (cbrt (- wj (* 2 x))))) (* wj (sqrt (- wj (* 2 x)))) wj (* (cbrt wj) (- wj (* 2 x))) (* (sqrt wj) (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- (pow wj 3) (pow (* 2 x) 3))) (* wj (- (pow wj 2) (* 4 (* x x)))) (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))) 0.740 * * * [progress]: adding candidates to table 0.782 * * [progress]: iteration 3 / 4 0.782 * * * [progress]: picking best candidate 0.796 * * * * [pick]: Picked # 0.796 * * * [progress]: localizing error 0.806 * * * [progress]: generating rewritten candidates 0.806 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 0.807 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 0.807 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 0.808 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.815 * * * [progress]: generating series expansions 0.815 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 0.815 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 0.815 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.815 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.815 * [taylor]: Taking taylor expansion of 1/3 in wj 0.815 * [taylor]: Taking taylor expansion of (log wj) in wj 0.815 * [taylor]: Taking taylor expansion of wj in wj 0.816 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.816 * [taylor]: Taking taylor expansion of 1/3 in wj 0.816 * [taylor]: Taking taylor expansion of (log wj) in wj 0.816 * [taylor]: Taking taylor expansion of wj in wj 0.870 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 0.870 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.870 * [taylor]: Taking taylor expansion of 1/3 in wj 0.870 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.870 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.870 * [taylor]: Taking taylor expansion of wj in wj 0.871 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.871 * [taylor]: Taking taylor expansion of 1/3 in wj 0.871 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.871 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.871 * [taylor]: Taking taylor expansion of wj in wj 0.929 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 0.929 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 0.929 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.929 * [taylor]: Taking taylor expansion of 1/3 in wj 0.929 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.929 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.929 * [taylor]: Taking taylor expansion of wj in wj 0.930 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 0.930 * [taylor]: Taking taylor expansion of -1 in wj 0.931 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 0.931 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.931 * [taylor]: Taking taylor expansion of 1/3 in wj 0.931 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.931 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.931 * [taylor]: Taking taylor expansion of wj in wj 0.932 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 0.932 * [taylor]: Taking taylor expansion of -1 in wj 0.993 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 0.993 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 0.993 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.993 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.993 * [taylor]: Taking taylor expansion of 1/3 in wj 0.993 * [taylor]: Taking taylor expansion of (log wj) in wj 0.993 * [taylor]: Taking taylor expansion of wj in wj 0.993 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.993 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.994 * [taylor]: Taking taylor expansion of 1/3 in wj 0.994 * [taylor]: Taking taylor expansion of (log wj) in wj 0.994 * [taylor]: Taking taylor expansion of wj in wj 1.049 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 1.049 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.049 * [taylor]: Taking taylor expansion of 1/3 in wj 1.050 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.050 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.050 * [taylor]: Taking taylor expansion of wj in wj 1.050 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.051 * [taylor]: Taking taylor expansion of 1/3 in wj 1.051 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.051 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.051 * [taylor]: Taking taylor expansion of wj in wj 1.108 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 1.109 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.109 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.109 * [taylor]: Taking taylor expansion of 1/3 in wj 1.109 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.109 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.109 * [taylor]: Taking taylor expansion of wj in wj 1.110 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.110 * [taylor]: Taking taylor expansion of -1 in wj 1.110 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.110 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.110 * [taylor]: Taking taylor expansion of 1/3 in wj 1.110 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.111 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.111 * [taylor]: Taking taylor expansion of wj in wj 1.112 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.112 * [taylor]: Taking taylor expansion of -1 in wj 1.178 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.179 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 1.179 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.179 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.179 * [taylor]: Taking taylor expansion of 1/3 in wj 1.179 * [taylor]: Taking taylor expansion of (log wj) in wj 1.179 * [taylor]: Taking taylor expansion of wj in wj 1.179 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.179 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.179 * [taylor]: Taking taylor expansion of 1/3 in wj 1.179 * [taylor]: Taking taylor expansion of (log wj) in wj 1.179 * [taylor]: Taking taylor expansion of wj in wj 1.228 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 1.228 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.228 * [taylor]: Taking taylor expansion of 1/3 in wj 1.228 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.228 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.228 * [taylor]: Taking taylor expansion of wj in wj 1.229 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.229 * [taylor]: Taking taylor expansion of 1/3 in wj 1.229 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.229 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.229 * [taylor]: Taking taylor expansion of wj in wj 1.287 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 1.287 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.287 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.287 * [taylor]: Taking taylor expansion of 1/3 in wj 1.287 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.287 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.287 * [taylor]: Taking taylor expansion of wj in wj 1.288 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.288 * [taylor]: Taking taylor expansion of -1 in wj 1.289 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.289 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.289 * [taylor]: Taking taylor expansion of 1/3 in wj 1.289 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.289 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.289 * [taylor]: Taking taylor expansion of wj in wj 1.290 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.290 * [taylor]: Taking taylor expansion of -1 in wj 1.356 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.356 * [approximate]: Taking taylor expansion of (pow (pow wj 2) 1/3) in (wj) around 0 1.356 * [taylor]: Taking taylor expansion of (pow (pow wj 2) 1/3) in wj 1.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow wj 2)))) in wj 1.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow wj 2))) in wj 1.356 * [taylor]: Taking taylor expansion of 1/3 in wj 1.356 * [taylor]: Taking taylor expansion of (log (pow wj 2)) in wj 1.356 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.356 * [taylor]: Taking taylor expansion of wj in wj 1.357 * [taylor]: Taking taylor expansion of (pow (pow wj 2) 1/3) in wj 1.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow wj 2)))) in wj 1.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow wj 2))) in wj 1.357 * [taylor]: Taking taylor expansion of 1/3 in wj 1.357 * [taylor]: Taking taylor expansion of (log (pow wj 2)) in wj 1.357 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.357 * [taylor]: Taking taylor expansion of wj in wj 1.415 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in (wj) around 0 1.416 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 1.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 1.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 1.416 * [taylor]: Taking taylor expansion of 1/3 in wj 1.416 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 1.416 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.416 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.416 * [taylor]: Taking taylor expansion of wj in wj 1.417 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 1.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 1.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 1.417 * [taylor]: Taking taylor expansion of 1/3 in wj 1.417 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 1.417 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.417 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.417 * [taylor]: Taking taylor expansion of wj in wj 1.479 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow wj 2)) 1/3) (pow (cbrt -1) 2)) in (wj) around 0 1.479 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow wj 2)) 1/3) (pow (cbrt -1) 2)) in wj 1.479 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 1.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 1.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 1.479 * [taylor]: Taking taylor expansion of 1/3 in wj 1.479 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 1.479 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.479 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.479 * [taylor]: Taking taylor expansion of wj in wj 1.480 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in wj 1.480 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.480 * [taylor]: Taking taylor expansion of -1 in wj 1.481 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow wj 2)) 1/3) (pow (cbrt -1) 2)) in wj 1.481 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 1.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 1.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 1.481 * [taylor]: Taking taylor expansion of 1/3 in wj 1.481 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 1.481 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.481 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.481 * [taylor]: Taking taylor expansion of wj in wj 1.482 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in wj 1.482 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.482 * [taylor]: Taking taylor expansion of -1 in wj 1.560 * * * [progress]: simplifying candidates 1.561 * [simplify]: Simplifying using # : (log (cbrt wj)) (exp (cbrt wj)) (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (cbrt wj)) (cbrt (sqrt wj)) (cbrt (sqrt wj)) (cbrt 1) (cbrt wj) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj)) (* (* (cbrt wj) (cbrt wj)) (cbrt wj)) (sqrt (cbrt wj)) (sqrt (cbrt wj)) (log (cbrt wj)) (exp (cbrt wj)) (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (cbrt wj)) (cbrt (sqrt wj)) (cbrt (sqrt wj)) (cbrt 1) (cbrt wj) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj)) (* (* (cbrt wj) (cbrt wj)) (cbrt wj)) (sqrt (cbrt wj)) (sqrt (cbrt wj)) (log (cbrt wj)) (exp (cbrt wj)) (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (cbrt wj)) (cbrt (sqrt wj)) (cbrt (sqrt wj)) (cbrt 1) (cbrt wj) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj)) (* (* (cbrt wj) (cbrt wj)) (cbrt wj)) (sqrt (cbrt wj)) (sqrt (cbrt wj)) (+ 1/3 1/3) (+ 1 1) (* wj wj) (* (cbrt wj) (cbrt wj)) (+ 1 1) (+ (log (cbrt wj)) (log (cbrt wj))) (log (* (cbrt wj) (cbrt wj))) (exp (* (cbrt wj) (cbrt wj))) (* wj wj) (* (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (* (cbrt wj) (cbrt wj))) (* (* (* (cbrt wj) (cbrt wj)) (* (cbrt wj) (cbrt wj))) (* (cbrt wj) (cbrt wj))) (sqrt (* (cbrt wj) (cbrt wj))) (sqrt (* (cbrt wj) (cbrt wj))) (* (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (* (cbrt wj) (cbrt wj)))) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt 1) (cbrt 1)) (* (cbrt wj) (cbrt wj)) (* (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (* (cbrt (cbrt wj)) (cbrt (cbrt wj)))) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (* (sqrt (cbrt wj)) (sqrt (cbrt wj))) (* (sqrt (cbrt wj)) (sqrt (cbrt wj))) (* 1 1) (* (cbrt wj) (cbrt wj)) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (* (sqrt (cbrt wj)) (cbrt (sqrt wj))) (* (sqrt (cbrt wj)) (cbrt (sqrt wj))) (* (sqrt (cbrt wj)) (sqrt (cbrt wj))) (* (sqrt (cbrt wj)) (sqrt (cbrt wj))) (* 2 1/3) (* 2 1) (* (cbrt wj) (cbrt (* (cbrt wj) (cbrt wj)))) (* (cbrt wj) (cbrt (sqrt wj))) (* (cbrt wj) (cbrt 1)) (* (cbrt wj) (* (cbrt (cbrt wj)) (cbrt (cbrt wj)))) (* (cbrt wj) (sqrt (cbrt wj))) (* (cbrt wj) 1) (* (cbrt (cbrt wj)) (cbrt wj)) (* (cbrt (sqrt wj)) (cbrt wj)) (* (cbrt wj) (cbrt wj)) (* (cbrt (cbrt wj)) (cbrt wj)) (* (sqrt (cbrt wj)) (cbrt wj)) (* (cbrt wj) (cbrt wj)) (pow wj 1/3) (pow (/ 1 wj) -1/3) (* (pow (* -1 wj) 1/3) (cbrt -1)) (pow wj 1/3) (pow (/ 1 wj) -1/3) (* (pow (* -1 wj) 1/3) (cbrt -1)) (pow wj 1/3) (pow (/ 1 wj) -1/3) (* (pow (* -1 wj) 1/3) (cbrt -1)) (pow wj 2/3) (pow (/ 1 wj) -2/3) (* (pow (pow wj 2) 1/3) (pow (cbrt -1) 2)) 1.565 * * [simplify]: iteration 0 : 115 enodes (cost 288 ) 1.569 * * [simplify]: iteration 1 : 472 enodes (cost 261 ) 1.583 * * [simplify]: iteration 2 : 2959 enodes (cost 238 ) 1.648 * * [simplify]: iteration 3 : 5003 enodes (cost 235 ) 1.650 * [simplify]: Simplified to: (log (cbrt wj)) (exp (cbrt wj)) (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (cbrt wj)) (cbrt (sqrt wj)) (cbrt (sqrt wj)) 1 (pow wj 1/3) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj)) wj (sqrt (cbrt wj)) (sqrt (cbrt wj)) (log (cbrt wj)) (exp (cbrt wj)) (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (cbrt wj)) (cbrt (sqrt wj)) (cbrt (sqrt wj)) 1 (pow wj 1/3) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj)) wj (sqrt (cbrt wj)) (sqrt (cbrt wj)) (log (cbrt wj)) (exp (cbrt wj)) (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (cbrt wj)) (cbrt (sqrt wj)) (cbrt (sqrt wj)) 1 (pow wj 1/3) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj)) wj (sqrt (cbrt wj)) (sqrt (cbrt wj)) 2/3 2 (pow wj 2) (pow wj 2/3) 2 (* 2/3 (log wj)) (* 2/3 (log wj)) (exp (pow wj 2/3)) (pow wj 2) (* (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (* (cbrt wj) (cbrt wj))) (pow wj 2) (fabs (pow wj 1/3)) (fabs (pow wj 1/3)) (* (cbrt (* (cbrt wj) (cbrt wj))) (cbrt (* (cbrt wj) (cbrt wj)))) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) 1 (pow wj 2/3) (pow (cbrt (cbrt wj)) 4) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (pow wj 1/3) (pow wj 1/3) 1 (pow wj 2/3) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (pow wj 1/3) (pow wj 1/3) 2/3 2 (* (cbrt wj) (cbrt (* (cbrt wj) (cbrt wj)))) (* (cbrt wj) (cbrt (sqrt wj))) (pow wj 1/3) (pow (cbrt (cbrt wj)) 5) (pow (sqrt (cbrt wj)) 3) (pow wj 1/3) (pow (cbrt (cbrt wj)) 4) (* (cbrt wj) (cbrt (sqrt wj))) (pow wj 2/3) (pow (cbrt (cbrt wj)) 4) (pow (sqrt (cbrt wj)) 3) (pow wj 2/3) (pow wj 1/3) (pow (/ 1 wj) -1/3) (* (pow (* -1 wj) 1/3) (cbrt -1)) (pow wj 1/3) (pow (/ 1 wj) -1/3) (* (pow (* -1 wj) 1/3) (cbrt -1)) (pow wj 1/3) (pow (/ 1 wj) -1/3) (* (pow (* -1 wj) 1/3) (cbrt -1)) (pow wj 2/3) (pow (/ 1 wj) -2/3) (* (pow (pow wj 2) 1/3) (pow (cbrt -1) 2)) 1.650 * * * [progress]: adding candidates to table 1.851 * * [progress]: iteration 4 / 4 1.851 * * * [progress]: picking best candidate 1.866 * * * * [pick]: Picked # 1.867 * * * [progress]: localizing error 1.880 * * * [progress]: generating rewritten candidates 1.880 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.883 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 1.883 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 1.884 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 1.886 * * * [progress]: generating series expansions 1.886 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.886 * [approximate]: Taking taylor expansion of (pow (pow wj 1/9) 4) in (wj) around 0 1.887 * [taylor]: Taking taylor expansion of (pow (pow wj 1/9) 4) in wj 1.887 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 1.887 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 1.887 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 1.887 * [taylor]: Taking taylor expansion of 1/9 in wj 1.887 * [taylor]: Taking taylor expansion of (log wj) in wj 1.887 * [taylor]: Taking taylor expansion of wj in wj 1.888 * [taylor]: Taking taylor expansion of (pow (pow wj 1/9) 4) in wj 1.888 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 1.888 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 1.888 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 1.888 * [taylor]: Taking taylor expansion of 1/9 in wj 1.888 * [taylor]: Taking taylor expansion of (log wj) in wj 1.888 * [taylor]: Taking taylor expansion of wj in wj 1.952 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 wj) 1/9) 4) in (wj) around 0 1.952 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 wj) 1/9) 4) in wj 1.952 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 1.952 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 1.952 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 1.952 * [taylor]: Taking taylor expansion of 1/9 in wj 1.952 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.952 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.952 * [taylor]: Taking taylor expansion of wj in wj 1.953 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 wj) 1/9) 4) in wj 1.953 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 1.953 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 1.953 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 1.953 * [taylor]: Taking taylor expansion of 1/9 in wj 1.953 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.953 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.953 * [taylor]: Taking taylor expansion of wj in wj 2.022 * [approximate]: Taking taylor expansion of (pow (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) 4) in (wj) around 0 2.022 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) 4) in wj 2.022 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 2.022 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.022 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.022 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.022 * [taylor]: Taking taylor expansion of 1/9 in wj 2.022 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.022 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.022 * [taylor]: Taking taylor expansion of wj in wj 2.023 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 2.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 2.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 2.023 * [taylor]: Taking taylor expansion of 1/3 in wj 2.023 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 2.023 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.023 * [taylor]: Taking taylor expansion of -1 in wj 2.027 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) 4) in wj 2.027 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 2.027 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.027 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.027 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.027 * [taylor]: Taking taylor expansion of 1/9 in wj 2.027 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.027 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.027 * [taylor]: Taking taylor expansion of wj in wj 2.028 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 2.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 2.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 2.028 * [taylor]: Taking taylor expansion of 1/3 in wj 2.028 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 2.028 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.028 * [taylor]: Taking taylor expansion of -1 in wj 2.194 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 2.194 * [approximate]: Taking taylor expansion of (pow wj 1/9) in (wj) around 0 2.194 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 2.194 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 2.194 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 2.194 * [taylor]: Taking taylor expansion of 1/9 in wj 2.194 * [taylor]: Taking taylor expansion of (log wj) in wj 2.194 * [taylor]: Taking taylor expansion of wj in wj 2.195 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 2.195 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 2.195 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 2.195 * [taylor]: Taking taylor expansion of 1/9 in wj 2.195 * [taylor]: Taking taylor expansion of (log wj) in wj 2.195 * [taylor]: Taking taylor expansion of wj in wj 2.250 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in (wj) around 0 2.250 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.250 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.250 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.250 * [taylor]: Taking taylor expansion of 1/9 in wj 2.250 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.250 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.250 * [taylor]: Taking taylor expansion of wj in wj 2.251 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.251 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.251 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.251 * [taylor]: Taking taylor expansion of 1/9 in wj 2.251 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.251 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.251 * [taylor]: Taking taylor expansion of wj in wj 2.303 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in (wj) around 0 2.303 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 2.303 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.303 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.303 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.303 * [taylor]: Taking taylor expansion of 1/9 in wj 2.303 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.303 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.303 * [taylor]: Taking taylor expansion of wj in wj 2.304 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 2.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 2.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 2.304 * [taylor]: Taking taylor expansion of 1/3 in wj 2.304 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 2.304 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.304 * [taylor]: Taking taylor expansion of -1 in wj 2.308 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 2.308 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.308 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.308 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.308 * [taylor]: Taking taylor expansion of 1/9 in wj 2.308 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.308 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.308 * [taylor]: Taking taylor expansion of wj in wj 2.309 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 2.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 2.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 2.309 * [taylor]: Taking taylor expansion of 1/3 in wj 2.309 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 2.309 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.309 * [taylor]: Taking taylor expansion of -1 in wj 2.440 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 2.440 * [approximate]: Taking taylor expansion of (pow wj 1/9) in (wj) around 0 2.440 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 2.440 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 2.440 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 2.440 * [taylor]: Taking taylor expansion of 1/9 in wj 2.440 * [taylor]: Taking taylor expansion of (log wj) in wj 2.440 * [taylor]: Taking taylor expansion of wj in wj 2.441 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 2.441 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 2.441 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 2.441 * [taylor]: Taking taylor expansion of 1/9 in wj 2.441 * [taylor]: Taking taylor expansion of (log wj) in wj 2.441 * [taylor]: Taking taylor expansion of wj in wj 2.497 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in (wj) around 0 2.497 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.497 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.497 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.497 * [taylor]: Taking taylor expansion of 1/9 in wj 2.497 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.497 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.497 * [taylor]: Taking taylor expansion of wj in wj 2.498 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.498 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.498 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.498 * [taylor]: Taking taylor expansion of 1/9 in wj 2.498 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.498 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.498 * [taylor]: Taking taylor expansion of wj in wj 2.556 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in (wj) around 0 2.556 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 2.556 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.556 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.556 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.556 * [taylor]: Taking taylor expansion of 1/9 in wj 2.556 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.556 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.556 * [taylor]: Taking taylor expansion of wj in wj 2.557 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 2.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 2.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 2.557 * [taylor]: Taking taylor expansion of 1/3 in wj 2.557 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 2.557 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.557 * [taylor]: Taking taylor expansion of -1 in wj 2.560 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 2.561 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.561 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.561 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.561 * [taylor]: Taking taylor expansion of 1/9 in wj 2.561 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.561 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.561 * [taylor]: Taking taylor expansion of wj in wj 2.561 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 2.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 2.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 2.562 * [taylor]: Taking taylor expansion of 1/3 in wj 2.562 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 2.562 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.562 * [taylor]: Taking taylor expansion of -1 in wj 2.684 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 2.684 * [approximate]: Taking taylor expansion of (pow wj 1/9) in (wj) around 0 2.684 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 2.684 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 2.684 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 2.684 * [taylor]: Taking taylor expansion of 1/9 in wj 2.684 * [taylor]: Taking taylor expansion of (log wj) in wj 2.684 * [taylor]: Taking taylor expansion of wj in wj 2.685 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 2.685 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 2.685 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 2.685 * [taylor]: Taking taylor expansion of 1/9 in wj 2.685 * [taylor]: Taking taylor expansion of (log wj) in wj 2.685 * [taylor]: Taking taylor expansion of wj in wj 2.739 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in (wj) around 0 2.739 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.739 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.739 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.739 * [taylor]: Taking taylor expansion of 1/9 in wj 2.739 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.739 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.739 * [taylor]: Taking taylor expansion of wj in wj 2.740 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.740 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.740 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.740 * [taylor]: Taking taylor expansion of 1/9 in wj 2.740 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.740 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.740 * [taylor]: Taking taylor expansion of wj in wj 2.799 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in (wj) around 0 2.799 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 2.799 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.799 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.799 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.799 * [taylor]: Taking taylor expansion of 1/9 in wj 2.799 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.799 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.799 * [taylor]: Taking taylor expansion of wj in wj 2.800 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 2.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 2.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 2.800 * [taylor]: Taking taylor expansion of 1/3 in wj 2.800 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 2.800 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.800 * [taylor]: Taking taylor expansion of -1 in wj 2.804 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 2.804 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 2.804 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 2.804 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 2.804 * [taylor]: Taking taylor expansion of 1/9 in wj 2.804 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.804 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.804 * [taylor]: Taking taylor expansion of wj in wj 2.805 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 2.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 2.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 2.805 * [taylor]: Taking taylor expansion of 1/3 in wj 2.805 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 2.805 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.805 * [taylor]: Taking taylor expansion of -1 in wj 2.928 * * * [progress]: simplifying candidates 2.935 * [simplify]: Simplifying using # : (* (log (cbrt (cbrt wj))) 4) (* (log (cbrt (cbrt wj))) 4) (* 1/3 4) (* 1 4) (pow (cbrt (cbrt wj)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt wj)) (sqrt 4)) (pow (cbrt (cbrt wj)) 1) (pow (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) 4) (pow (cbrt (cbrt (cbrt wj))) 4) (pow (cbrt (cbrt (sqrt wj))) 4) (pow (cbrt (cbrt (sqrt wj))) 4) (pow (cbrt (cbrt 1)) 4) (pow (cbrt (cbrt wj)) 4) (pow (cbrt (* (cbrt (cbrt wj)) (cbrt (cbrt wj)))) 4) (pow (cbrt (cbrt (cbrt wj))) 4) (pow (cbrt (sqrt (cbrt wj))) 4) (pow (cbrt (sqrt (cbrt wj))) 4) (pow (cbrt 1) 4) (pow (cbrt (cbrt wj)) 4) (pow (* (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (cbrt wj)))) 4) (pow (cbrt (cbrt (cbrt wj))) 4) (pow (sqrt (cbrt (cbrt wj))) 4) (pow (sqrt (cbrt (cbrt wj))) 4) (pow 1 4) (pow (cbrt (cbrt wj)) 4) (log (pow (cbrt (cbrt wj)) 4)) (exp (pow (cbrt (cbrt wj)) 4)) (* (cbrt (pow (cbrt (cbrt wj)) 4)) (cbrt (pow (cbrt (cbrt wj)) 4))) (cbrt (pow (cbrt (cbrt wj)) 4)) (* (* (pow (cbrt (cbrt wj)) 4) (pow (cbrt (cbrt wj)) 4)) (pow (cbrt (cbrt wj)) 4)) (sqrt (pow (cbrt (cbrt wj)) 4)) (sqrt (pow (cbrt (cbrt wj)) 4)) (pow (cbrt (cbrt wj)) (/ 4 2)) (pow (cbrt (cbrt wj)) (/ 4 2)) (log (cbrt (cbrt wj))) (exp (cbrt (cbrt wj))) (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (sqrt wj))) (cbrt (cbrt (sqrt wj))) (cbrt (cbrt 1)) (cbrt (cbrt wj)) (cbrt (* (cbrt (cbrt wj)) (cbrt (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) (cbrt 1) (cbrt (cbrt wj)) (* (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (* (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj))) (sqrt (cbrt (cbrt wj))) (sqrt (cbrt (cbrt wj))) (log (cbrt (cbrt wj))) (exp (cbrt (cbrt wj))) (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (sqrt wj))) (cbrt (cbrt (sqrt wj))) (cbrt (cbrt 1)) (cbrt (cbrt wj)) (cbrt (* (cbrt (cbrt wj)) (cbrt (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) (cbrt 1) (cbrt (cbrt wj)) (* (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (* (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj))) (sqrt (cbrt (cbrt wj))) (sqrt (cbrt (cbrt wj))) (log (cbrt (cbrt wj))) (exp (cbrt (cbrt wj))) (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (sqrt wj))) (cbrt (cbrt (sqrt wj))) (cbrt (cbrt 1)) (cbrt (cbrt wj)) (cbrt (* (cbrt (cbrt wj)) (cbrt (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) (cbrt 1) (cbrt (cbrt wj)) (* (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (* (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj))) (sqrt (cbrt (cbrt wj))) (sqrt (cbrt (cbrt wj))) (pow (pow wj 4) 1/9) (pow (pow wj 4) 1/9) (* (pow (pow wj 4) 1/9) (pow (pow (cbrt -1) 4) 1/3)) (pow wj 1/9) (pow (/ 1 wj) -1/9) (* (pow (* -1 wj) 1/9) (pow (cbrt -1) 1/3)) (pow wj 1/9) (pow (/ 1 wj) -1/9) (* (pow (* -1 wj) 1/9) (pow (cbrt -1) 1/3)) (pow wj 1/9) (pow (/ 1 wj) -1/9) (* (pow (* -1 wj) 1/9) (pow (cbrt -1) 1/3)) 2.940 * * [simplify]: iteration 0 : 138 enodes (cost 359 ) 2.943 * * [simplify]: iteration 1 : 420 enodes (cost 333 ) 2.953 * * [simplify]: iteration 2 : 1539 enodes (cost 311 ) 3.001 * * [simplify]: iteration 3 : 5001 enodes (cost 305 ) 3.002 * [simplify]: Simplified to: (log (pow (cbrt (cbrt wj)) 4)) (log (pow (cbrt (cbrt wj)) 4)) 4/3 4 (pow (cbrt (cbrt wj)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt wj)) 2) (cbrt (cbrt wj)) (pow (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) 4) (pow (cbrt (cbrt (cbrt wj))) 4) (pow (cbrt (cbrt (sqrt wj))) 4) (pow (cbrt (cbrt (sqrt wj))) 4) 1 (pow (cbrt (cbrt wj)) 4) (pow (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) 4) (pow (cbrt (cbrt (cbrt wj))) 4) (pow (cbrt (sqrt (cbrt wj))) 4) (pow (cbrt (sqrt (cbrt wj))) 4) 1 (pow (cbrt (cbrt wj)) 4) (pow (cbrt (cbrt (cbrt wj))) 8) (pow (cbrt (cbrt (cbrt wj))) 4) (pow (cbrt (cbrt wj)) 2) (pow (cbrt (cbrt wj)) 2) 1 (pow (cbrt (cbrt wj)) 4) (log (pow (cbrt (cbrt wj)) 4)) (exp (pow (cbrt (cbrt wj)) 4)) (* (cbrt (pow (cbrt (cbrt wj)) 4)) (cbrt (pow (cbrt (cbrt wj)) 4))) (cbrt (pow (cbrt (cbrt wj)) 4)) (pow (cbrt wj) 4) (sqrt (pow (cbrt (cbrt wj)) 4)) (sqrt (pow (cbrt (cbrt wj)) 4)) (pow (cbrt (cbrt wj)) 2) (pow (cbrt (cbrt wj)) 2) (log (cbrt (cbrt wj))) (exp (cbrt (cbrt wj))) (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (sqrt wj))) (cbrt (cbrt (sqrt wj))) 1 (cbrt (cbrt wj)) (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) 1 (cbrt (cbrt wj)) (pow (cbrt (cbrt (cbrt wj))) 2) (cbrt (cbrt (cbrt wj))) (cbrt wj) (pow (cbrt (cbrt wj)) 1/2) (pow (cbrt (cbrt wj)) 1/2) (log (cbrt (cbrt wj))) (exp (cbrt (cbrt wj))) (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (sqrt wj))) (cbrt (cbrt (sqrt wj))) 1 (cbrt (cbrt wj)) (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) 1 (cbrt (cbrt wj)) (pow (cbrt (cbrt (cbrt wj))) 2) (cbrt (cbrt (cbrt wj))) (cbrt wj) (pow (cbrt (cbrt wj)) 1/2) (pow (cbrt (cbrt wj)) 1/2) (log (cbrt (cbrt wj))) (exp (cbrt (cbrt wj))) (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (cbrt (sqrt wj))) (cbrt (cbrt (sqrt wj))) 1 (cbrt (cbrt wj)) (cbrt (cbrt (* (cbrt wj) (cbrt wj)))) (cbrt (cbrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) (cbrt (sqrt (cbrt wj))) 1 (cbrt (cbrt wj)) (pow (cbrt (cbrt (cbrt wj))) 2) (cbrt (cbrt (cbrt wj))) (cbrt wj) (pow (cbrt (cbrt wj)) 1/2) (pow (cbrt (cbrt wj)) 1/2) (pow (pow wj 4) 1/9) (pow (pow wj 4) 1/9) (* (pow (pow wj 4) 1/9) (pow (pow (cbrt -1) 4) 1/3)) (pow wj 1/9) (pow (/ 1 wj) -1/9) (* (pow (* -1 wj) 1/9) (pow (cbrt -1) 1/3)) (pow wj 1/9) (pow (/ 1 wj) -1/9) (* (pow (* -1 wj) 1/9) (pow (cbrt -1) 1/3)) (pow wj 1/9) (pow (/ 1 wj) -1/9) (* (pow (* -1 wj) 1/9) (pow (cbrt -1) 1/3)) 3.003 * * * [progress]: adding candidates to table 3.226 * [progress]: [Phase 3 of 3] Extracting. 3.226 * * [regime]: Finding splitpoints for: (# # # # # # # #) 3.229 * * * [regime-changes]: Trying 2 branch expressions: (x wj) 3.229 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 3.267 * * * * [regimes]: Trying to branch on wj from (# # # # # # # #) 3.296 * * * [regime]: Found split indices: #