13.488 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.061 * * * [progress]: [2/2] Setting up program. 0.069 * [progress]: [Phase 2 of 3] Improving. 0.069 * [simplify]: Simplifying using # : (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) 0.070 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 0.071 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 0.074 * * [simplify]: iteration 2 : 48 enodes (cost 15 ) 0.080 * * [simplify]: iteration 3 : 107 enodes (cost 15 ) 0.094 * * [simplify]: iteration 4 : 213 enodes (cost 15 ) 0.157 * * [simplify]: iteration 5 : 1026 enodes (cost 12 ) 1.045 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 1.046 * [simplify]: Simplified to: (- wj (/ (- wj (/ x (exp wj))) (+ wj 1))) 1.050 * * [progress]: iteration 1 / 4 1.050 * * * [progress]: picking best candidate 1.055 * * * * [pick]: Picked # 1.055 * * * [progress]: localizing error 1.064 * * * [progress]: generating rewritten candidates 1.064 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.081 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1 2) 1.090 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 1.106 * * * [progress]: generating series expansions 1.106 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.107 * [approximate]: Taking taylor expansion of (- (+ wj (/ x (* (+ wj 1) (exp wj)))) (/ wj (+ wj 1))) in (wj x) around 0 1.107 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (+ wj 1) (exp wj)))) (/ wj (+ wj 1))) in x 1.107 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (+ wj 1) (exp wj)))) in x 1.107 * [taylor]: Taking taylor expansion of wj in x 1.107 * [taylor]: Taking taylor expansion of (/ x (* (+ wj 1) (exp wj))) in x 1.107 * [taylor]: Taking taylor expansion of x in x 1.107 * [taylor]: Taking taylor expansion of (* (+ wj 1) (exp wj)) in x 1.107 * [taylor]: Taking taylor expansion of (+ wj 1) in x 1.107 * [taylor]: Taking taylor expansion of wj in x 1.107 * [taylor]: Taking taylor expansion of 1 in x 1.107 * [taylor]: Taking taylor expansion of (exp wj) in x 1.107 * [taylor]: Taking taylor expansion of wj in x 1.107 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in x 1.107 * [taylor]: Taking taylor expansion of wj in x 1.107 * [taylor]: Taking taylor expansion of (+ wj 1) in x 1.107 * [taylor]: Taking taylor expansion of wj in x 1.107 * [taylor]: Taking taylor expansion of 1 in x 1.107 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (+ wj 1) (exp wj)))) (/ wj (+ wj 1))) in wj 1.107 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (+ wj 1) (exp wj)))) in wj 1.107 * [taylor]: Taking taylor expansion of wj in wj 1.107 * [taylor]: Taking taylor expansion of (/ x (* (+ wj 1) (exp wj))) in wj 1.107 * [taylor]: Taking taylor expansion of x in wj 1.107 * [taylor]: Taking taylor expansion of (* (+ wj 1) (exp wj)) in wj 1.107 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 1.107 * [taylor]: Taking taylor expansion of wj in wj 1.107 * [taylor]: Taking taylor expansion of 1 in wj 1.107 * [taylor]: Taking taylor expansion of (exp wj) in wj 1.107 * [taylor]: Taking taylor expansion of wj in wj 1.107 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 1.107 * [taylor]: Taking taylor expansion of wj in wj 1.107 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 1.107 * [taylor]: Taking taylor expansion of wj in wj 1.107 * [taylor]: Taking taylor expansion of 1 in wj 1.107 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (+ wj 1) (exp wj)))) (/ wj (+ wj 1))) in wj 1.107 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (+ wj 1) (exp wj)))) in wj 1.107 * [taylor]: Taking taylor expansion of wj in wj 1.107 * [taylor]: Taking taylor expansion of (/ x (* (+ wj 1) (exp wj))) in wj 1.107 * [taylor]: Taking taylor expansion of x in wj 1.108 * [taylor]: Taking taylor expansion of (* (+ wj 1) (exp wj)) in wj 1.108 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 1.108 * [taylor]: Taking taylor expansion of wj in wj 1.108 * [taylor]: Taking taylor expansion of 1 in wj 1.108 * [taylor]: Taking taylor expansion of (exp wj) in wj 1.108 * [taylor]: Taking taylor expansion of wj in wj 1.108 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 1.108 * [taylor]: Taking taylor expansion of wj in wj 1.108 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 1.108 * [taylor]: Taking taylor expansion of wj in wj 1.108 * [taylor]: Taking taylor expansion of 1 in wj 1.108 * [taylor]: Taking taylor expansion of x in x 1.108 * [taylor]: Taking taylor expansion of (neg (* 2 x)) in x 1.108 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.108 * [taylor]: Taking taylor expansion of 2 in x 1.108 * [taylor]: Taking taylor expansion of x in x 1.109 * [taylor]: Taking taylor expansion of (+ (* 5/2 x) 1) in x 1.109 * [taylor]: Taking taylor expansion of (* 5/2 x) in x 1.109 * [taylor]: Taking taylor expansion of 5/2 in x 1.109 * [taylor]: Taking taylor expansion of x in x 1.109 * [taylor]: Taking taylor expansion of 1 in x 1.109 * [approximate]: Taking taylor expansion of (- (+ (/ 1 wj) (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj)))))) (/ 1 (* wj (+ (/ 1 wj) 1)))) in (wj x) around 0 1.109 * [taylor]: Taking taylor expansion of (- (+ (/ 1 wj) (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj)))))) (/ 1 (* wj (+ (/ 1 wj) 1)))) in x 1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj)))))) in x 1.110 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.110 * [taylor]: Taking taylor expansion of wj in x 1.110 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj))))) in x 1.110 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj)))) in x 1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 1.110 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.110 * [taylor]: Taking taylor expansion of wj in x 1.110 * [taylor]: Taking taylor expansion of 1 in x 1.110 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 1.110 * [taylor]: Taking taylor expansion of x in x 1.110 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 1.110 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.110 * [taylor]: Taking taylor expansion of wj in x 1.110 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in x 1.110 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in x 1.110 * [taylor]: Taking taylor expansion of wj in x 1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 1.110 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.110 * [taylor]: Taking taylor expansion of wj in x 1.111 * [taylor]: Taking taylor expansion of 1 in x 1.111 * [taylor]: Taking taylor expansion of (- (+ (/ 1 wj) (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj)))))) (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 1.111 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 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.111 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj))))) in wj 1.111 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj)))) in wj 1.111 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 1.111 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.111 * [taylor]: Taking taylor expansion of wj in wj 1.111 * [taylor]: Taking taylor expansion of 1 in wj 1.111 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 1.111 * [taylor]: Taking taylor expansion of x in wj 1.111 * [taylor]: Taking taylor expansion of (exp (/ 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.111 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 1.111 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 1.111 * [taylor]: Taking taylor expansion of wj in wj 1.111 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 1.111 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.111 * [taylor]: Taking taylor expansion of wj in wj 1.111 * [taylor]: Taking taylor expansion of 1 in wj 1.111 * [taylor]: Taking taylor expansion of (- (+ (/ 1 wj) (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj)))))) (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 1.111 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 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.111 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj))))) in wj 1.111 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (* x (exp (/ 1 wj)))) in wj 1.111 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 1.112 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.112 * [taylor]: Taking taylor expansion of wj in wj 1.112 * [taylor]: Taking taylor expansion of 1 in wj 1.112 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 1.112 * [taylor]: Taking taylor expansion of x in wj 1.112 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 1.112 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.112 * [taylor]: Taking taylor expansion of wj in wj 1.112 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 1.112 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 1.112 * [taylor]: Taking taylor expansion of wj in wj 1.112 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 1.112 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.112 * [taylor]: Taking taylor expansion of wj in wj 1.112 * [taylor]: Taking taylor expansion of 1 in wj 1.112 * [taylor]: Taking taylor expansion of 1 in x 1.112 * [taylor]: Taking taylor expansion of (neg 1) in x 1.112 * [taylor]: Taking taylor expansion of 1 in x 1.113 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 1.113 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 1.113 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 1.113 * [taylor]: Taking taylor expansion of x in x 1.113 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 1.113 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.113 * [taylor]: Taking taylor expansion of wj in x 1.113 * [taylor]: Taking taylor expansion of 1 in x 1.114 * [approximate]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in (wj x) around 0 1.114 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in x 1.114 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in x 1.114 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in x 1.114 * [taylor]: Taking taylor expansion of wj in x 1.114 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 1.114 * [taylor]: Taking taylor expansion of 1 in x 1.114 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.114 * [taylor]: Taking taylor expansion of wj in x 1.114 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in x 1.114 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.114 * [taylor]: Taking taylor expansion of wj in x 1.114 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in x 1.114 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in x 1.114 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 1.114 * [taylor]: Taking taylor expansion of 1 in x 1.114 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.114 * [taylor]: Taking taylor expansion of wj in x 1.114 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 1.114 * [taylor]: Taking taylor expansion of x in x 1.114 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 1.114 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 1.114 * [taylor]: Taking taylor expansion of -1 in x 1.114 * [taylor]: Taking taylor expansion of wj in x 1.115 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in wj 1.115 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 1.115 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 1.115 * [taylor]: Taking taylor expansion of wj in wj 1.115 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 1.115 * [taylor]: Taking taylor expansion of 1 in wj 1.115 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.115 * [taylor]: Taking taylor expansion of wj in wj 1.115 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in wj 1.115 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.115 * [taylor]: Taking taylor expansion of wj in wj 1.115 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in wj 1.115 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in wj 1.115 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 1.115 * [taylor]: Taking taylor expansion of 1 in wj 1.115 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.115 * [taylor]: Taking taylor expansion of wj in wj 1.115 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 1.115 * [taylor]: Taking taylor expansion of x in wj 1.115 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 1.115 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 1.115 * [taylor]: Taking taylor expansion of -1 in wj 1.115 * [taylor]: Taking taylor expansion of wj in wj 1.116 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in wj 1.116 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 1.116 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 1.116 * [taylor]: Taking taylor expansion of wj in wj 1.116 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 1.116 * [taylor]: Taking taylor expansion of 1 in wj 1.116 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.116 * [taylor]: Taking taylor expansion of wj in wj 1.116 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in wj 1.116 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.116 * [taylor]: Taking taylor expansion of wj in wj 1.116 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in wj 1.116 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in wj 1.116 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 1.116 * [taylor]: Taking taylor expansion of 1 in wj 1.116 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.116 * [taylor]: Taking taylor expansion of wj in wj 1.116 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 1.116 * [taylor]: Taking taylor expansion of x in wj 1.116 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 1.116 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 1.116 * [taylor]: Taking taylor expansion of -1 in wj 1.116 * [taylor]: Taking taylor expansion of wj in wj 1.116 * [taylor]: Taking taylor expansion of (neg 1) in x 1.116 * [taylor]: Taking taylor expansion of 1 in x 1.117 * [taylor]: Taking taylor expansion of (neg 1) in x 1.117 * [taylor]: Taking taylor expansion of 1 in x 1.117 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ -1 wj)))) 1) in x 1.117 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 1.117 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 1.117 * [taylor]: Taking taylor expansion of x in x 1.117 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 1.117 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 1.117 * [taylor]: Taking taylor expansion of -1 in x 1.117 * [taylor]: Taking taylor expansion of wj in x 1.117 * [taylor]: Taking taylor expansion of 1 in x 1.118 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1 2) 1.118 * [approximate]: Taking taylor expansion of (/ x (exp wj)) in (x wj) around 0 1.118 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 1.118 * [taylor]: Taking taylor expansion of x in wj 1.118 * [taylor]: Taking taylor expansion of (exp wj) in wj 1.118 * [taylor]: Taking taylor expansion of wj in wj 1.118 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 1.118 * [taylor]: Taking taylor expansion of x in x 1.118 * [taylor]: Taking taylor expansion of (exp wj) in x 1.118 * [taylor]: Taking taylor expansion of wj in x 1.118 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 1.118 * [taylor]: Taking taylor expansion of x in x 1.118 * [taylor]: Taking taylor expansion of (exp wj) in x 1.118 * [taylor]: Taking taylor expansion of wj in x 1.118 * [taylor]: Taking taylor expansion of (/ 1 (exp wj)) in wj 1.118 * [taylor]: Taking taylor expansion of (exp wj) in wj 1.118 * [taylor]: Taking taylor expansion of wj in wj 1.119 * [taylor]: Taking taylor expansion of 0 in wj 1.119 * [taylor]: Taking taylor expansion of 0 in wj 1.119 * [approximate]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in (x wj) around 0 1.119 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 1.119 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 1.119 * [taylor]: Taking taylor expansion of x in wj 1.119 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 1.119 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.119 * [taylor]: Taking taylor expansion of wj in wj 1.120 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 1.120 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.120 * [taylor]: Taking taylor expansion of wj in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 1.120 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.120 * [taylor]: Taking taylor expansion of wj in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 wj))) in wj 1.120 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 1.120 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.120 * [taylor]: Taking taylor expansion of wj in wj 1.121 * [taylor]: Taking taylor expansion of 0 in wj 1.122 * [taylor]: Taking taylor expansion of 0 in wj 1.122 * [taylor]: Taking taylor expansion of 0 in wj 1.123 * [approximate]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in (x wj) around 0 1.123 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in wj 1.123 * [taylor]: Taking taylor expansion of -1 in wj 1.123 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 1.123 * [taylor]: Taking taylor expansion of x in wj 1.123 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 1.123 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 1.123 * [taylor]: Taking taylor expansion of -1 in wj 1.123 * [taylor]: Taking taylor expansion of wj in wj 1.123 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in x 1.123 * [taylor]: Taking taylor expansion of -1 in x 1.123 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.123 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 1.123 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 1.123 * [taylor]: Taking taylor expansion of -1 in x 1.123 * [taylor]: Taking taylor expansion of wj in x 1.123 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in x 1.123 * [taylor]: Taking taylor expansion of -1 in x 1.123 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.123 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 1.123 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 1.123 * [taylor]: Taking taylor expansion of -1 in x 1.124 * [taylor]: Taking taylor expansion of wj in x 1.124 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 wj))) in wj 1.124 * [taylor]: Taking taylor expansion of -1 in wj 1.124 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 1.124 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 1.124 * [taylor]: Taking taylor expansion of -1 in wj 1.124 * [taylor]: Taking taylor expansion of wj in wj 1.124 * [taylor]: Taking taylor expansion of 0 in wj 1.125 * [taylor]: Taking taylor expansion of 0 in wj 1.126 * [taylor]: Taking taylor expansion of 0 in wj 1.126 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 1.126 * [approximate]: Taking taylor expansion of (/ (- wj (/ x (exp wj))) (+ wj 1)) in (wj x) around 0 1.126 * [taylor]: Taking taylor expansion of (/ (- wj (/ x (exp wj))) (+ wj 1)) in x 1.126 * [taylor]: Taking taylor expansion of (- wj (/ x (exp wj))) in x 1.126 * [taylor]: Taking taylor expansion of wj in x 1.126 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.126 * [taylor]: Taking taylor expansion of (exp wj) in x 1.127 * [taylor]: Taking taylor expansion of wj in x 1.127 * [taylor]: Taking taylor expansion of (+ wj 1) in x 1.127 * [taylor]: Taking taylor expansion of wj in x 1.127 * [taylor]: Taking taylor expansion of 1 in x 1.127 * [taylor]: Taking taylor expansion of (/ (- wj (/ x (exp wj))) (+ wj 1)) in wj 1.127 * [taylor]: Taking taylor expansion of (- wj (/ x (exp wj))) in wj 1.127 * [taylor]: Taking taylor expansion of wj in wj 1.127 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 1.127 * [taylor]: Taking taylor expansion of x in wj 1.127 * [taylor]: Taking taylor expansion of (exp wj) in wj 1.127 * [taylor]: Taking taylor expansion of wj in wj 1.127 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 1.127 * [taylor]: Taking taylor expansion of wj in wj 1.127 * [taylor]: Taking taylor expansion of 1 in wj 1.127 * [taylor]: Taking taylor expansion of (/ (- wj (/ x (exp wj))) (+ wj 1)) in wj 1.127 * [taylor]: Taking taylor expansion of (- wj (/ x (exp wj))) in wj 1.127 * [taylor]: Taking taylor expansion of wj in wj 1.127 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 1.127 * [taylor]: Taking taylor expansion of x in wj 1.127 * [taylor]: Taking taylor expansion of (exp wj) in wj 1.127 * [taylor]: Taking taylor expansion of wj in wj 1.127 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 1.127 * [taylor]: Taking taylor expansion of wj in wj 1.127 * [taylor]: Taking taylor expansion of 1 in wj 1.127 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.127 * [taylor]: Taking taylor expansion of -1 in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.128 * [taylor]: Taking taylor expansion of (+ (* 2 x) 1) in x 1.128 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.128 * [taylor]: Taking taylor expansion of 2 in x 1.128 * [taylor]: Taking taylor expansion of x in x 1.128 * [taylor]: Taking taylor expansion of 1 in x 1.128 * [taylor]: Taking taylor expansion of (neg (+ (* 5/2 x) 1)) in x 1.128 * [taylor]: Taking taylor expansion of (+ (* 5/2 x) 1) in x 1.128 * [taylor]: Taking taylor expansion of (* 5/2 x) in x 1.128 * [taylor]: Taking taylor expansion of 5/2 in x 1.128 * [taylor]: Taking taylor expansion of x in x 1.128 * [taylor]: Taking taylor expansion of 1 in x 1.129 * [approximate]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ 1 wj))))) (+ (/ 1 wj) 1)) in (wj x) around 0 1.129 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ 1 wj))))) (+ (/ 1 wj) 1)) in x 1.129 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ 1 wj))))) in x 1.129 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.129 * [taylor]: Taking taylor expansion of wj in x 1.129 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 1.129 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.129 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 1.129 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.129 * [taylor]: Taking taylor expansion of wj in x 1.129 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 1.129 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.129 * [taylor]: Taking taylor expansion of wj in x 1.129 * [taylor]: Taking taylor expansion of 1 in x 1.129 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ 1 wj))))) (+ (/ 1 wj) 1)) in wj 1.129 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ 1 wj))))) in wj 1.129 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.129 * [taylor]: Taking taylor expansion of wj in wj 1.129 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 1.129 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 1.130 * [taylor]: Taking taylor expansion of x in wj 1.130 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 1.130 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.130 * [taylor]: Taking taylor expansion of wj in wj 1.130 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 1.130 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.130 * [taylor]: Taking taylor expansion of wj in wj 1.130 * [taylor]: Taking taylor expansion of 1 in wj 1.130 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ 1 wj))))) (+ (/ 1 wj) 1)) in wj 1.130 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ 1 wj))))) in wj 1.130 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.130 * [taylor]: Taking taylor expansion of wj in wj 1.130 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 1.130 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 1.130 * [taylor]: Taking taylor expansion of x in wj 1.130 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 1.130 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.130 * [taylor]: Taking taylor expansion of wj in wj 1.130 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 1.130 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.130 * [taylor]: Taking taylor expansion of wj in wj 1.130 * [taylor]: Taking taylor expansion of 1 in wj 1.130 * [taylor]: Taking taylor expansion of 1 in x 1.131 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x (exp (/ 1 wj)))) 1)) in x 1.131 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 1.131 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 1.131 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.131 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 1.131 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.131 * [taylor]: Taking taylor expansion of wj in x 1.131 * [taylor]: Taking taylor expansion of 1 in x 1.132 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 1.132 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 1.132 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 1.132 * [taylor]: Taking taylor expansion of x in x 1.132 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 1.132 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.132 * [taylor]: Taking taylor expansion of wj in x 1.132 * [taylor]: Taking taylor expansion of 1 in x 1.133 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ -1 wj)))) (/ 1 wj)) (- 1 (/ 1 wj))) in (wj x) around 0 1.133 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ -1 wj)))) (/ 1 wj)) (- 1 (/ 1 wj))) in x 1.133 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ -1 wj)))) (/ 1 wj)) in x 1.133 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 1.133 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 1.133 * [taylor]: Taking taylor expansion of x in x 1.133 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 1.133 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 1.133 * [taylor]: Taking taylor expansion of -1 in x 1.133 * [taylor]: Taking taylor expansion of wj in x 1.133 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.133 * [taylor]: Taking taylor expansion of wj in x 1.133 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 1.133 * [taylor]: Taking taylor expansion of 1 in x 1.133 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.133 * [taylor]: Taking taylor expansion of wj in x 1.133 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ -1 wj)))) (/ 1 wj)) (- 1 (/ 1 wj))) in wj 1.134 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ -1 wj)))) (/ 1 wj)) in wj 1.134 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in wj 1.134 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 1.134 * [taylor]: Taking taylor expansion of x in wj 1.134 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 1.134 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 1.134 * [taylor]: Taking taylor expansion of -1 in wj 1.134 * [taylor]: Taking taylor expansion of wj in wj 1.134 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.134 * [taylor]: Taking taylor expansion of wj in wj 1.134 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 1.134 * [taylor]: Taking taylor expansion of 1 in wj 1.134 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.134 * [taylor]: Taking taylor expansion of wj in wj 1.134 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ -1 wj)))) (/ 1 wj)) (- 1 (/ 1 wj))) in wj 1.134 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ -1 wj)))) (/ 1 wj)) in wj 1.134 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in wj 1.134 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 1.134 * [taylor]: Taking taylor expansion of x in wj 1.134 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 1.134 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 1.134 * [taylor]: Taking taylor expansion of -1 in wj 1.134 * [taylor]: Taking taylor expansion of wj in wj 1.134 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.134 * [taylor]: Taking taylor expansion of wj in wj 1.134 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 1.134 * [taylor]: Taking taylor expansion of 1 in wj 1.134 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.134 * [taylor]: Taking taylor expansion of wj in wj 1.134 * [taylor]: Taking taylor expansion of 1 in x 1.135 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x (exp (/ -1 wj))))) in x 1.135 * [taylor]: Taking taylor expansion of 1 in x 1.135 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 1.135 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 1.135 * [taylor]: Taking taylor expansion of x in x 1.135 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 1.135 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 1.135 * [taylor]: Taking taylor expansion of -1 in x 1.135 * [taylor]: Taking taylor expansion of wj in x 1.136 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x (exp (/ -1 wj))))) in x 1.136 * [taylor]: Taking taylor expansion of 1 in x 1.136 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 1.136 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.136 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 1.136 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 1.136 * [taylor]: Taking taylor expansion of -1 in x 1.136 * [taylor]: Taking taylor expansion of wj in x 1.137 * * * [progress]: simplifying candidates 1.138 * [simplify]: Simplifying using # : (/ (exp wj) (exp (/ (- wj (/ x (exp wj))) (+ wj 1)))) (log (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (exp (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (* (cbrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (cbrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1))))) (cbrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (* (* (- wj (/ (- wj (/ x (exp wj))) (+ wj 1))) (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (sqrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (sqrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (- (pow wj 3) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3)) (+ (* wj wj) (+ (* (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ (- wj (/ x (exp wj))) (+ wj 1))) (* wj (/ (- wj (/ x (exp wj))) (+ wj 1))))) (neg (/ (- wj (/ x (exp wj))) (+ wj 1))) (- (* wj wj) (* (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ (- wj (/ x (exp wj))) (+ wj 1)))) (+ wj (/ (- wj (/ x (exp wj))) (+ wj 1))) (+ (sqrt wj) (sqrt (/ (- wj (/ x (exp wj))) (+ wj 1)))) (- (sqrt wj) (sqrt (/ (- wj (/ x (exp wj))) (+ wj 1)))) (+ (sqrt wj) (/ (sqrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1)))) (- (sqrt wj) (/ (sqrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1)))) (- wj (/ (- wj (/ x (exp wj))) (+ wj 1))) (- wj (/ wj (+ wj 1))) (neg (/ (- wj (/ x (exp wj))) (+ wj 1))) (- (log x) wj) (log (/ x (exp wj))) (exp (/ x (exp wj))) (/ (* (* x x) x) (* (* (exp wj) (exp wj)) (exp wj))) (* (cbrt (/ x (exp wj))) (cbrt (/ x (exp wj)))) (cbrt (/ x (exp wj))) (* (* (/ x (exp wj)) (/ x (exp wj))) (/ x (exp wj))) (sqrt (/ x (exp wj))) (sqrt (/ x (exp wj))) (neg x) (neg (exp wj)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (cbrt x) (cbrt (exp wj))) (/ (* (cbrt x) (cbrt x)) (sqrt (exp wj))) (/ (cbrt x) (sqrt (exp wj))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (exp wj)) (/ (sqrt x) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (sqrt x) (cbrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (/ (sqrt x) 1) (/ (sqrt x) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ x (sqrt (exp wj))) (/ 1 1) (/ x (exp wj)) (/ 1 (exp wj)) (/ (exp wj) x) (/ x (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (sqrt (exp wj))) (/ x 1) (/ (exp wj) (cbrt x)) (/ (exp wj) (sqrt x)) (/ (exp wj) x) (- (log (- wj (/ x (exp wj)))) (log (+ wj 1))) (log (/ (- wj (/ x (exp wj))) (+ wj 1))) (exp (/ (- wj (/ x (exp wj))) (+ wj 1))) (/ (* (* (- wj (/ x (exp wj))) (- wj (/ x (exp wj)))) (- wj (/ x (exp wj)))) (* (* (+ wj 1) (+ wj 1)) (+ wj 1))) (* (cbrt (/ (- wj (/ x (exp wj))) (+ wj 1))) (cbrt (/ (- wj (/ x (exp wj))) (+ wj 1)))) (cbrt (/ (- wj (/ x (exp wj))) (+ wj 1))) (* (* (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ (- wj (/ x (exp wj))) (+ wj 1))) (/ (- wj (/ x (exp wj))) (+ wj 1))) (sqrt (/ (- wj (/ x (exp wj))) (+ wj 1))) (sqrt (/ (- wj (/ x (exp wj))) (+ wj 1))) (neg (- wj (/ x (exp wj)))) (neg (+ wj 1)) (/ wj (+ wj 1)) (/ (/ x (exp wj)) (+ wj 1)) (/ (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (cbrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1))) (/ (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) (sqrt (+ wj 1))) (/ (cbrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1))) (/ (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) 1) (/ (cbrt (- wj (/ x (exp wj)))) (+ wj 1)) (/ (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) 1) (/ (cbrt (- wj (/ x (exp wj)))) (+ wj 1)) (/ (sqrt (- wj (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1))) (/ (sqrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1))) (/ (sqrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1))) (/ (sqrt (- wj (/ x (exp wj)))) 1) (/ (sqrt (- wj (/ x (exp wj)))) (+ wj 1)) (/ (sqrt (- wj (/ x (exp wj)))) 1) (/ (sqrt (- wj (/ x (exp wj)))) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- wj (/ x (exp wj))) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- wj (/ x (exp wj))) (sqrt (+ wj 1))) (/ 1 1) (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ 1 1) (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ (+ (sqrt wj) (sqrt (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (cbrt (+ wj 1))) (/ (+ (sqrt wj) (sqrt (/ x (exp wj)))) (sqrt (+ wj 1))) (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (sqrt (+ wj 1))) (/ (+ (sqrt wj) (sqrt (/ x (exp wj)))) 1) (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (+ wj 1)) (/ (+ (sqrt wj) (sqrt (/ x (exp wj)))) 1) (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (+ wj 1)) (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (cbrt (+ wj 1))) (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (sqrt (+ wj 1))) (/ (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (sqrt (+ wj 1))) (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) 1) (/ (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (+ wj 1)) (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) 1) (/ (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- wj (/ x (exp wj))) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- wj (/ x (exp wj))) (sqrt (+ wj 1))) (/ 1 1) (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ 1 1) (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ 1 (+ wj 1)) (/ (+ wj 1) (- wj (/ x (exp wj)))) (/ (- wj (/ x (exp wj))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- wj (/ x (exp wj))) (sqrt (+ wj 1))) (/ (- wj (/ x (exp wj))) 1) (/ (- wj (/ x (exp wj))) 1) (/ (+ wj 1) (cbrt (- wj (/ x (exp wj))))) (/ (+ wj 1) (sqrt (- wj (/ x (exp wj))))) (/ (+ wj 1) (- wj (/ x (exp wj)))) (/ (+ wj 1) (- (sqrt wj) (sqrt (/ x (exp wj))))) (/ (+ wj 1) (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj))))) (/ (+ wj 1) (- wj (/ x (exp wj)))) (/ (- wj (/ x (exp wj))) (+ (pow wj 3) (pow 1 3))) (/ (- wj (/ x (exp wj))) (- (* wj wj) (* 1 1))) (* (+ wj 1) (+ (* wj wj) (+ (* (/ x (exp wj)) (/ x (exp wj))) (* wj (/ x (exp wj)))))) (* (+ wj 1) (+ wj (/ x (exp wj)))) (- (+ (pow wj 2) x) (* 2 (* wj x))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ (* 1/2 (* (pow wj 2) x)) x) (* wj x)) (/ x (exp wj)) (/ x (exp wj)) (- wj (+ (pow wj 2) x)) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) 1.143 * * [simplify]: iteration 0 : 174 enodes (cost 1576 ) 1.172 * * [simplify]: iteration 1 : 414 enodes (cost 1496 ) 1.236 * * [simplify]: iteration 2 : 1066 enodes (cost 1438 ) 1.449 * * [simplify]: iteration 3 : 3001 enodes (cost 1431 ) 1.891 * * [simplify]: iteration done : 5000 enodes (cost 1428 ) 1.892 * [simplify]: Simplified to: (exp (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (log (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (exp (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (* (cbrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (cbrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1))))) (cbrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (pow (- wj (/ (- wj (/ x (exp wj))) (+ wj 1))) 3) (sqrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (sqrt (- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))) (- (pow wj 3) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3)) (+ (* wj wj) (* (/ (- wj (/ x (exp wj))) (+ wj 1)) (+ wj (/ (- wj (/ x (exp wj))) (+ wj 1))))) (/ (- (/ x (exp wj)) wj) (+ wj 1)) (- (* wj wj) (* (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ (- wj (/ x (exp wj))) (+ wj 1)))) (+ wj (/ (- wj (/ x (exp wj))) (+ wj 1))) (+ (sqrt wj) (sqrt (/ (- wj (/ x (exp wj))) (+ wj 1)))) (- (sqrt wj) (sqrt (/ (- wj (/ x (exp wj))) (+ wj 1)))) (+ (sqrt wj) (/ (sqrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1)))) (- (sqrt wj) (/ (sqrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1)))) (- wj (/ (- wj (/ x (exp wj))) (+ wj 1))) (- wj (/ wj (+ wj 1))) (/ (- (/ x (exp wj)) wj) (+ wj 1)) (- (log x) wj) (- (log x) wj) (exp (/ x (exp wj))) (pow (/ x (exp wj)) 3) (* (cbrt (/ x (exp wj))) (cbrt (/ x (exp wj)))) (cbrt (/ x (exp wj))) (pow (/ x (exp wj)) 3) (sqrt (/ x (exp wj))) (sqrt (/ x (exp wj))) (neg x) (neg (exp wj)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (cbrt x) (cbrt (exp wj))) (/ (* (cbrt x) (cbrt x)) (sqrt (exp wj))) (/ (cbrt x) (sqrt (exp wj))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (exp wj)) (/ (sqrt x) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (sqrt x) (cbrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (/ (sqrt x) (sqrt (exp wj))) (sqrt x) (/ (sqrt x) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ x (sqrt (exp wj))) 1 (/ x (exp wj)) (exp (neg wj)) (/ (exp wj) x) (/ x (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ x (sqrt (exp wj))) x (/ (exp wj) (cbrt x)) (/ (exp wj) (sqrt x)) (/ (exp wj) x) (log (/ (- wj (/ x (exp wj))) (+ wj 1))) (log (/ (- wj (/ x (exp wj))) (+ wj 1))) (exp (/ (- wj (/ x (exp wj))) (+ wj 1))) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3) (* (cbrt (/ (- wj (/ x (exp wj))) (+ wj 1))) (cbrt (/ (- wj (/ x (exp wj))) (+ wj 1)))) (cbrt (/ (- wj (/ x (exp wj))) (+ wj 1))) (pow (/ (- wj (/ x (exp wj))) (+ wj 1)) 3) (sqrt (/ (- wj (/ x (exp wj))) (+ wj 1))) (sqrt (/ (- wj (/ x (exp wj))) (+ wj 1))) (- (/ x (exp wj)) wj) (- -1 wj) (/ wj (+ wj 1)) (/ (/ x (exp wj)) (+ wj 1)) (/ (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (cbrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1))) (/ (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) (sqrt (+ wj 1))) (/ (cbrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1))) (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) (/ (cbrt (- wj (/ x (exp wj)))) (+ wj 1)) (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) (/ (cbrt (- wj (/ x (exp wj)))) (+ wj 1)) (/ (sqrt (- wj (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- wj (/ x (exp wj)))) (cbrt (+ wj 1))) (/ (sqrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1))) (/ (sqrt (- wj (/ x (exp wj)))) (sqrt (+ wj 1))) (sqrt (- wj (/ x (exp wj)))) (/ (sqrt (- wj (/ x (exp wj)))) (+ wj 1)) (sqrt (- wj (/ x (exp wj)))) (/ (sqrt (- wj (/ x (exp wj)))) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- wj (/ x (exp wj))) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- wj (/ x (exp wj))) (sqrt (+ wj 1))) 1 (/ (- wj (/ x (exp wj))) (+ wj 1)) 1 (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ (+ (sqrt wj) (sqrt (/ x (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (cbrt (+ wj 1))) (/ (+ (sqrt wj) (sqrt (/ x (exp wj)))) (sqrt (+ wj 1))) (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (sqrt (+ wj 1))) (+ (sqrt wj) (sqrt (/ x (exp wj)))) (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (+ wj 1)) (+ (sqrt wj) (sqrt (/ x (exp wj)))) (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (+ wj 1)) (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (cbrt (+ wj 1))) (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (sqrt (+ wj 1))) (/ (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (sqrt (+ wj 1))) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (+ wj 1)) (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (/ (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- wj (/ x (exp wj))) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- wj (/ x (exp wj))) (sqrt (+ wj 1))) 1 (/ (- wj (/ x (exp wj))) (+ wj 1)) 1 (/ (- wj (/ x (exp wj))) (+ wj 1)) (/ 1 (+ wj 1)) (/ (+ wj 1) (- wj (/ x (exp wj)))) (/ (- wj (/ x (exp wj))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- wj (/ x (exp wj))) (sqrt (+ wj 1))) (- wj (/ x (exp wj))) (- wj (/ x (exp wj))) (/ (+ wj 1) (cbrt (- wj (/ x (exp wj))))) (/ (+ wj 1) (sqrt (- wj (/ x (exp wj))))) (/ (+ wj 1) (- wj (/ x (exp wj)))) (/ (+ wj 1) (- (sqrt wj) (sqrt (/ x (exp wj))))) (/ (+ wj 1) (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj))))) (/ (+ wj 1) (- wj (/ x (exp wj)))) (/ (- wj (/ x (exp wj))) (+ 1 (pow wj 3))) (/ (- wj (/ x (exp wj))) (- (pow wj 2) 1)) (* (+ (* (/ x (exp wj)) (+ wj (/ x (exp wj)))) (pow wj 2)) (+ wj 1)) (* (+ wj 1) (+ wj (/ x (exp wj)))) (+ x (* wj (- wj (* 2 x)))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (* x (- (+ (* 1/2 (* wj wj)) 1) wj)) (/ x (exp wj)) (/ x (exp wj)) (- wj (+ (pow wj 2) x)) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) 1.892 * * * [progress]: adding candidates to table 2.016 * * [progress]: iteration 2 / 4 2.016 * * * [progress]: picking best candidate 2.032 * * * * [pick]: Picked # 2.032 * * * [progress]: localizing error 2.042 * * * [progress]: generating rewritten candidates 2.042 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.048 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.053 * * * [progress]: generating series expansions 2.053 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.053 * [approximate]: Taking taylor expansion of (* wj (- wj (* 2 x))) in (wj x) around 0 2.053 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in x 2.053 * [taylor]: Taking taylor expansion of wj in x 2.053 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in x 2.053 * [taylor]: Taking taylor expansion of wj in x 2.053 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.053 * [taylor]: Taking taylor expansion of 2 in x 2.053 * [taylor]: Taking taylor expansion of x in x 2.053 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 2.053 * [taylor]: Taking taylor expansion of wj in wj 2.053 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 2.053 * [taylor]: Taking taylor expansion of wj in wj 2.053 * [taylor]: Taking taylor expansion of (* 2 x) in wj 2.053 * [taylor]: Taking taylor expansion of 2 in wj 2.053 * [taylor]: Taking taylor expansion of x in wj 2.053 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 2.053 * [taylor]: Taking taylor expansion of wj in wj 2.053 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 2.053 * [taylor]: Taking taylor expansion of wj in wj 2.054 * [taylor]: Taking taylor expansion of (* 2 x) in wj 2.054 * [taylor]: Taking taylor expansion of 2 in wj 2.054 * [taylor]: Taking taylor expansion of x in wj 2.054 * [taylor]: Taking taylor expansion of 0 in x 2.054 * [taylor]: Taking taylor expansion of (neg (* 2 x)) in x 2.054 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.054 * [taylor]: Taking taylor expansion of 2 in x 2.054 * [taylor]: Taking taylor expansion of x in x 2.054 * [taylor]: Taking taylor expansion of 1 in x 2.054 * [taylor]: Taking taylor expansion of 0 in x 2.055 * [taylor]: Taking taylor expansion of 0 in x 2.055 * [approximate]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in (wj x) around 0 2.055 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in x 2.055 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in x 2.055 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 2.055 * [taylor]: Taking taylor expansion of wj in x 2.055 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.055 * [taylor]: Taking taylor expansion of 2 in x 2.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.055 * [taylor]: Taking taylor expansion of x in x 2.055 * [taylor]: Taking taylor expansion of wj in x 2.055 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 2.055 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 2.055 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.055 * [taylor]: Taking taylor expansion of wj in wj 2.055 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 2.055 * [taylor]: Taking taylor expansion of 2 in wj 2.055 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 2.055 * [taylor]: Taking taylor expansion of x in wj 2.055 * [taylor]: Taking taylor expansion of wj in wj 2.055 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 2.055 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 2.055 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.055 * [taylor]: Taking taylor expansion of wj in wj 2.055 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 2.055 * [taylor]: Taking taylor expansion of 2 in wj 2.055 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 2.055 * [taylor]: Taking taylor expansion of x in wj 2.055 * [taylor]: Taking taylor expansion of wj in wj 2.056 * [taylor]: Taking taylor expansion of 1 in x 2.056 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 2.056 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.056 * [taylor]: Taking taylor expansion of 2 in x 2.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.056 * [taylor]: Taking taylor expansion of x in x 2.056 * [taylor]: Taking taylor expansion of 0 in x 2.057 * [taylor]: Taking taylor expansion of 0 in x 2.057 * [taylor]: Taking taylor expansion of 0 in x 2.057 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in (wj x) around 0 2.057 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in x 2.057 * [taylor]: Taking taylor expansion of -1 in x 2.057 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in x 2.057 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in x 2.057 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.057 * [taylor]: Taking taylor expansion of 2 in x 2.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.058 * [taylor]: Taking taylor expansion of x in x 2.058 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 2.058 * [taylor]: Taking taylor expansion of wj in x 2.058 * [taylor]: Taking taylor expansion of wj in x 2.058 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 2.058 * [taylor]: Taking taylor expansion of -1 in wj 2.058 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 2.058 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 2.058 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 2.058 * [taylor]: Taking taylor expansion of 2 in wj 2.058 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 2.058 * [taylor]: Taking taylor expansion of x in wj 2.058 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.058 * [taylor]: Taking taylor expansion of wj in wj 2.058 * [taylor]: Taking taylor expansion of wj in wj 2.058 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 2.058 * [taylor]: Taking taylor expansion of -1 in wj 2.058 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 2.058 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 2.058 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 2.058 * [taylor]: Taking taylor expansion of 2 in wj 2.058 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 2.058 * [taylor]: Taking taylor expansion of x in wj 2.058 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.058 * [taylor]: Taking taylor expansion of wj in wj 2.058 * [taylor]: Taking taylor expansion of wj in wj 2.058 * [taylor]: Taking taylor expansion of 1 in x 2.058 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 2.059 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.059 * [taylor]: Taking taylor expansion of 2 in x 2.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.059 * [taylor]: Taking taylor expansion of x in x 2.059 * [taylor]: Taking taylor expansion of 0 in x 2.059 * [taylor]: Taking taylor expansion of 0 in x 2.060 * [taylor]: Taking taylor expansion of 0 in x 2.060 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.060 * [approximate]: Taking taylor expansion of (- (+ (pow wj 2) x) (* 2 (* wj x))) in (x wj) around 0 2.060 * [taylor]: Taking taylor expansion of (- (+ (pow wj 2) x) (* 2 (* wj x))) in wj 2.060 * [taylor]: Taking taylor expansion of (+ (pow wj 2) x) in wj 2.060 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.060 * [taylor]: Taking taylor expansion of wj in wj 2.060 * [taylor]: Taking taylor expansion of x in wj 2.060 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in wj 2.060 * [taylor]: Taking taylor expansion of 2 in wj 2.060 * [taylor]: Taking taylor expansion of (* wj x) in wj 2.060 * [taylor]: Taking taylor expansion of wj in wj 2.060 * [taylor]: Taking taylor expansion of x in wj 2.060 * [taylor]: Taking taylor expansion of (- (+ (pow wj 2) x) (* 2 (* wj x))) in x 2.060 * [taylor]: Taking taylor expansion of (+ (pow wj 2) x) in x 2.060 * [taylor]: Taking taylor expansion of (pow wj 2) in x 2.061 * [taylor]: Taking taylor expansion of wj in x 2.061 * [taylor]: Taking taylor expansion of x in x 2.061 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 2.061 * [taylor]: Taking taylor expansion of 2 in x 2.061 * [taylor]: Taking taylor expansion of (* wj x) in x 2.061 * [taylor]: Taking taylor expansion of wj in x 2.061 * [taylor]: Taking taylor expansion of x in x 2.061 * [taylor]: Taking taylor expansion of (- (+ (pow wj 2) x) (* 2 (* wj x))) in x 2.061 * [taylor]: Taking taylor expansion of (+ (pow wj 2) x) in x 2.061 * [taylor]: Taking taylor expansion of (pow wj 2) in x 2.061 * [taylor]: Taking taylor expansion of wj in x 2.061 * [taylor]: Taking taylor expansion of x in x 2.061 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 2.061 * [taylor]: Taking taylor expansion of 2 in x 2.061 * [taylor]: Taking taylor expansion of (* wj x) in x 2.061 * [taylor]: Taking taylor expansion of wj in x 2.061 * [taylor]: Taking taylor expansion of x in x 2.061 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.061 * [taylor]: Taking taylor expansion of wj in wj 2.061 * [taylor]: Taking taylor expansion of (- 1 (* 2 wj)) in wj 2.061 * [taylor]: Taking taylor expansion of 1 in wj 2.061 * [taylor]: Taking taylor expansion of (* 2 wj) in wj 2.061 * [taylor]: Taking taylor expansion of 2 in wj 2.061 * [taylor]: Taking taylor expansion of wj in wj 2.061 * [taylor]: Taking taylor expansion of 0 in wj 2.062 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in (x wj) around 0 2.062 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in wj 2.062 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in wj 2.062 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 2.062 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.062 * [taylor]: Taking taylor expansion of wj in wj 2.062 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 2.062 * [taylor]: Taking taylor expansion of x in wj 2.062 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 2.062 * [taylor]: Taking taylor expansion of 2 in wj 2.062 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 2.062 * [taylor]: Taking taylor expansion of (* wj x) in wj 2.062 * [taylor]: Taking taylor expansion of wj in wj 2.062 * [taylor]: Taking taylor expansion of x in wj 2.062 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 2.062 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 2.062 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 2.062 * [taylor]: Taking taylor expansion of (pow wj 2) in x 2.062 * [taylor]: Taking taylor expansion of wj in x 2.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.062 * [taylor]: Taking taylor expansion of x in x 2.062 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 2.062 * [taylor]: Taking taylor expansion of 2 in x 2.063 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 2.063 * [taylor]: Taking taylor expansion of (* wj x) in x 2.063 * [taylor]: Taking taylor expansion of wj in x 2.063 * [taylor]: Taking taylor expansion of x in x 2.063 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 2.063 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 2.063 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 2.063 * [taylor]: Taking taylor expansion of (pow wj 2) in x 2.063 * [taylor]: Taking taylor expansion of wj in x 2.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.063 * [taylor]: Taking taylor expansion of x in x 2.063 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 2.063 * [taylor]: Taking taylor expansion of 2 in x 2.063 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 2.063 * [taylor]: Taking taylor expansion of (* wj x) in x 2.063 * [taylor]: Taking taylor expansion of wj in x 2.063 * [taylor]: Taking taylor expansion of x in x 2.063 * [taylor]: Taking taylor expansion of (- 1 (* 2 (/ 1 wj))) in wj 2.063 * [taylor]: Taking taylor expansion of 1 in wj 2.063 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 2.063 * [taylor]: Taking taylor expansion of 2 in wj 2.063 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.063 * [taylor]: Taking taylor expansion of wj in wj 2.064 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 2.064 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.064 * [taylor]: Taking taylor expansion of wj in wj 2.064 * [taylor]: Taking taylor expansion of 0 in wj 2.065 * [approximate]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in (x wj) around 0 2.065 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in wj 2.065 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 2.065 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.065 * [taylor]: Taking taylor expansion of wj in wj 2.065 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in wj 2.065 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 2.065 * [taylor]: Taking taylor expansion of 2 in wj 2.065 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 2.065 * [taylor]: Taking taylor expansion of (* wj x) in wj 2.065 * [taylor]: Taking taylor expansion of wj in wj 2.065 * [taylor]: Taking taylor expansion of x in wj 2.065 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 2.065 * [taylor]: Taking taylor expansion of x in wj 2.065 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 2.065 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 2.065 * [taylor]: Taking taylor expansion of (pow wj 2) in x 2.065 * [taylor]: Taking taylor expansion of wj in x 2.065 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 2.065 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 2.065 * [taylor]: Taking taylor expansion of 2 in x 2.065 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 2.065 * [taylor]: Taking taylor expansion of (* wj x) in x 2.065 * [taylor]: Taking taylor expansion of wj in x 2.065 * [taylor]: Taking taylor expansion of x in x 2.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.065 * [taylor]: Taking taylor expansion of x in x 2.065 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 2.065 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 2.065 * [taylor]: Taking taylor expansion of (pow wj 2) in x 2.065 * [taylor]: Taking taylor expansion of wj in x 2.066 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 2.066 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 2.066 * [taylor]: Taking taylor expansion of 2 in x 2.066 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 2.066 * [taylor]: Taking taylor expansion of (* wj x) in x 2.066 * [taylor]: Taking taylor expansion of wj in x 2.066 * [taylor]: Taking taylor expansion of x in x 2.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.066 * [taylor]: Taking taylor expansion of x in x 2.066 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 wj)) 1)) in wj 2.066 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 wj)) 1) in wj 2.066 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 2.066 * [taylor]: Taking taylor expansion of 2 in wj 2.066 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.066 * [taylor]: Taking taylor expansion of wj in wj 2.066 * [taylor]: Taking taylor expansion of 1 in wj 2.066 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 2.066 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.066 * [taylor]: Taking taylor expansion of wj in wj 2.067 * [taylor]: Taking taylor expansion of 0 in wj 2.067 * * * [progress]: simplifying candidates 2.068 * [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 (neg (* 2 x))) (* wj wj) (* wj (neg (* 2 x))) (* wj wj) (* (neg (* 2 x)) wj) (* wj wj) (* (neg (* 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)))) (* (exp x) (exp (* wj (- wj (* 2 x))))) (log (+ x (* wj (- wj (* 2 x))))) (exp (+ x (* wj (- wj (* 2 x))))) (* (cbrt (+ x (* wj (- wj (* 2 x))))) (cbrt (+ x (* wj (- wj (* 2 x)))))) (cbrt (+ x (* wj (- wj (* 2 x))))) (* (* (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x))))) (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3)) (+ (* x x) (- (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))) (* x (* wj (- wj (* 2 x)))))) (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))))) (- x (* wj (- wj (* 2 x)))) (+ x (* wj wj)) (+ x (* wj wj)) (+ x (* wj wj)) (+ x (* wj wj)) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) (- (+ (pow wj 2) x) (* 2 (* wj x))) (- (+ (pow wj 2) x) (* 2 (* wj x))) (- (+ (pow wj 2) x) (* 2 (* wj x))) 2.070 * * [simplify]: iteration 0 : 70 enodes (cost 507 ) 2.081 * * [simplify]: iteration 1 : 194 enodes (cost 476 ) 2.114 * * [simplify]: iteration 2 : 552 enodes (cost 446 ) 2.245 * * [simplify]: iteration 3 : 1857 enodes (cost 432 ) 2.726 * * [simplify]: iteration done : 5001 enodes (cost 432 ) 2.726 * [simplify]: Simplified to: (* wj (- wj (* 2 x))) (+ (log wj) (log (- 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) (sqrt (- wj (* 2 x)))) (* (sqrt wj) (sqrt (- wj (* 2 x)))) (* wj wj) (* -2 (* wj x)) (* wj wj) (* -2 (* wj x)) (* wj wj) (* -2 (* wj x)) (* wj wj) (* -2 (* wj 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 wj) (* 4 (* x x))) wj) (exp (+ x (* wj (- wj (* 2 x))))) (log (+ x (* wj (- wj (* 2 x))))) (exp (+ x (* wj (- wj (* 2 x))))) (* (cbrt (+ x (* wj (- wj (* 2 x))))) (cbrt (+ x (* wj (- wj (* 2 x)))))) (cbrt (+ x (* wj (- wj (* 2 x))))) (pow (+ x (* wj (- wj (* 2 x)))) 3) (sqrt (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3)) (+ (* (* wj (- wj (* 2 x))) (- (* wj (- wj (* 2 x))) x)) (* x x)) (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))))) (- x (* wj (- wj (* 2 x)))) (+ (pow wj 2) x) (+ (pow wj 2) x) (+ (pow wj 2) x) (+ (pow wj 2) x) (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))) (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x)))) 2.726 * * * [progress]: adding candidates to table 2.780 * * [progress]: iteration 3 / 4 2.780 * * * [progress]: picking best candidate 2.805 * * * * [pick]: Picked # 2.805 * * * [progress]: localizing error 2.816 * * * [progress]: generating rewritten candidates 2.816 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 2.817 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 2.819 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 2.820 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 2.828 * * * [progress]: generating series expansions 2.828 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.829 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 2.829 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 2.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 2.829 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 2.829 * [taylor]: Taking taylor expansion of 1/3 in wj 2.829 * [taylor]: Taking taylor expansion of (log wj) in wj 2.829 * [taylor]: Taking taylor expansion of wj in wj 2.829 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 2.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 2.829 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 2.829 * [taylor]: Taking taylor expansion of 1/3 in wj 2.829 * [taylor]: Taking taylor expansion of (log wj) in wj 2.829 * [taylor]: Taking taylor expansion of wj in wj 2.836 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 2.836 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.836 * [taylor]: Taking taylor expansion of 1/3 in wj 2.836 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.836 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.836 * [taylor]: Taking taylor expansion of wj in wj 2.836 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.836 * [taylor]: Taking taylor expansion of 1/3 in wj 2.836 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.836 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.836 * [taylor]: Taking taylor expansion of wj in wj 2.844 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 2.844 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 2.844 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.844 * [taylor]: Taking taylor expansion of 1/3 in wj 2.844 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.844 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.844 * [taylor]: Taking taylor expansion of wj in wj 2.844 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.844 * [taylor]: Taking taylor expansion of -1 in wj 2.845 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 2.845 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.845 * [taylor]: Taking taylor expansion of 1/3 in wj 2.845 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.845 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.845 * [taylor]: Taking taylor expansion of wj in wj 2.845 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.845 * [taylor]: Taking taylor expansion of -1 in wj 2.854 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 2.854 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 2.854 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 2.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 2.854 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 2.854 * [taylor]: Taking taylor expansion of 1/3 in wj 2.854 * [taylor]: Taking taylor expansion of (log wj) in wj 2.854 * [taylor]: Taking taylor expansion of wj in wj 2.854 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 2.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 2.854 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 2.854 * [taylor]: Taking taylor expansion of 1/3 in wj 2.854 * [taylor]: Taking taylor expansion of (log wj) in wj 2.854 * [taylor]: Taking taylor expansion of wj in wj 2.861 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 2.861 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.861 * [taylor]: Taking taylor expansion of 1/3 in wj 2.861 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.861 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.861 * [taylor]: Taking taylor expansion of wj in wj 2.861 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.862 * [taylor]: Taking taylor expansion of 1/3 in wj 2.862 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.862 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.862 * [taylor]: Taking taylor expansion of wj in wj 2.869 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 2.869 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 2.869 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.869 * [taylor]: Taking taylor expansion of 1/3 in wj 2.869 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.869 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.869 * [taylor]: Taking taylor expansion of wj in wj 2.869 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.869 * [taylor]: Taking taylor expansion of -1 in wj 2.869 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 2.869 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.869 * [taylor]: Taking taylor expansion of 1/3 in wj 2.869 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.869 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.869 * [taylor]: Taking taylor expansion of wj in wj 2.870 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.870 * [taylor]: Taking taylor expansion of -1 in wj 2.878 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 2.878 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 2.879 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 2.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 2.879 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 2.879 * [taylor]: Taking taylor expansion of 1/3 in wj 2.879 * [taylor]: Taking taylor expansion of (log wj) in wj 2.879 * [taylor]: Taking taylor expansion of wj in wj 2.879 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 2.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 2.879 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 2.879 * [taylor]: Taking taylor expansion of 1/3 in wj 2.879 * [taylor]: Taking taylor expansion of (log wj) in wj 2.879 * [taylor]: Taking taylor expansion of wj in wj 2.886 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 2.886 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.886 * [taylor]: Taking taylor expansion of 1/3 in wj 2.886 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.886 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.886 * [taylor]: Taking taylor expansion of wj in wj 2.886 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.886 * [taylor]: Taking taylor expansion of 1/3 in wj 2.886 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.886 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.886 * [taylor]: Taking taylor expansion of wj in wj 2.897 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 2.897 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 2.897 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.897 * [taylor]: Taking taylor expansion of 1/3 in wj 2.897 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.897 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.897 * [taylor]: Taking taylor expansion of wj in wj 2.897 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.897 * [taylor]: Taking taylor expansion of -1 in wj 2.898 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 2.898 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 2.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 2.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 2.898 * [taylor]: Taking taylor expansion of 1/3 in wj 2.898 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 2.898 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 2.898 * [taylor]: Taking taylor expansion of wj in wj 2.898 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.898 * [taylor]: Taking taylor expansion of -1 in wj 2.907 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 2.907 * [approximate]: Taking taylor expansion of (pow (pow wj 2) 1/3) in (wj) around 0 2.907 * [taylor]: Taking taylor expansion of (pow (pow wj 2) 1/3) in wj 2.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow wj 2)))) in wj 2.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow wj 2))) in wj 2.907 * [taylor]: Taking taylor expansion of 1/3 in wj 2.907 * [taylor]: Taking taylor expansion of (log (pow wj 2)) in wj 2.907 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.907 * [taylor]: Taking taylor expansion of wj in wj 2.907 * [taylor]: Taking taylor expansion of (pow (pow wj 2) 1/3) in wj 2.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow wj 2)))) in wj 2.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow wj 2))) in wj 2.907 * [taylor]: Taking taylor expansion of 1/3 in wj 2.907 * [taylor]: Taking taylor expansion of (log (pow wj 2)) in wj 2.907 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.907 * [taylor]: Taking taylor expansion of wj in wj 2.915 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in (wj) around 0 2.915 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 2.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 2.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 2.915 * [taylor]: Taking taylor expansion of 1/3 in wj 2.915 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 2.915 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 2.915 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.915 * [taylor]: Taking taylor expansion of wj in wj 2.915 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 2.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 2.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 2.915 * [taylor]: Taking taylor expansion of 1/3 in wj 2.915 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 2.915 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 2.915 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.915 * [taylor]: Taking taylor expansion of wj in wj 2.923 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow wj 2)) 1/3) (pow (cbrt -1) 2)) in (wj) around 0 2.923 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow wj 2)) 1/3) (pow (cbrt -1) 2)) in wj 2.923 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 2.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 2.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 2.923 * [taylor]: Taking taylor expansion of 1/3 in wj 2.923 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 2.923 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 2.923 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.923 * [taylor]: Taking taylor expansion of wj in wj 2.923 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in wj 2.924 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.924 * [taylor]: Taking taylor expansion of -1 in wj 2.924 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow wj 2)) 1/3) (pow (cbrt -1) 2)) in wj 2.924 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 2.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 2.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 2.924 * [taylor]: Taking taylor expansion of 1/3 in wj 2.924 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 2.924 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 2.924 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 2.924 * [taylor]: Taking taylor expansion of wj in wj 2.924 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in wj 2.924 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 2.924 * [taylor]: Taking taylor expansion of -1 in wj 2.935 * * * [progress]: simplifying candidates 2.936 * [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)) (exp (* 1/3 (+ (log 1) (log wj)))) (exp (* 1/3 (- (log 1) (log (/ 1 wj))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 wj))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log wj)))) (exp (* 1/3 (- (log 1) (log (/ 1 wj))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 wj))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log wj)))) (exp (* 1/3 (- (log 1) (log (/ 1 wj))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 wj))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (* 2 (log wj))))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 wj)))))) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 wj)))))) (pow (cbrt -1) 2)) 2.938 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 2.948 * * [simplify]: iteration 1 : 151 enodes (cost 526 ) 2.974 * * [simplify]: iteration 2 : 449 enodes (cost 466 ) 3.066 * * [simplify]: iteration 3 : 1164 enodes (cost 417 ) 3.255 * * [simplify]: iteration 4 : 2497 enodes (cost 378 ) 3.685 * * [simplify]: iteration done : 5001 enodes (cost 378 ) 3.686 * [simplify]: Simplified to: (log (cbrt wj)) (exp (cbrt wj)) (cbrt (pow wj 2/3)) (cbrt (cbrt wj)) (cbrt (sqrt wj)) (cbrt (sqrt wj)) 1 (cbrt wj) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj)) wj (sqrt (cbrt wj)) (sqrt (cbrt wj)) (log (cbrt wj)) (exp (cbrt wj)) (cbrt (pow wj 2/3)) (cbrt (cbrt wj)) (cbrt (sqrt wj)) (cbrt (sqrt wj)) 1 (cbrt wj) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj)) wj (sqrt (cbrt wj)) (sqrt (cbrt wj)) (log (cbrt wj)) (exp (cbrt wj)) (cbrt (pow wj 2/3)) (cbrt (cbrt wj)) (cbrt (sqrt wj)) (cbrt (sqrt wj)) 1 (cbrt wj) (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (cbrt (cbrt wj)) wj (sqrt (cbrt wj)) (sqrt (cbrt wj)) 2/3 2 (* wj wj) (pow wj 2/3) 2 (log (pow wj 2/3)) (log (pow wj 2/3)) (exp (pow wj 2/3)) (* wj wj) (* (cbrt (pow wj 2/3)) (cbrt (pow wj 2/3))) (cbrt (pow wj 2/3)) (* wj wj) (fabs (cbrt wj)) (fabs (cbrt wj)) (* (cbrt (pow wj 2/3)) (cbrt (pow wj 2/3))) (* (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))) (cbrt wj) (cbrt wj) 1 (pow wj 2/3) (* (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)) (cbrt (sqrt wj))) (cbrt wj) (cbrt wj) 2/3 2 (* (cbrt wj) (cbrt (pow wj 2/3))) (* (cbrt (sqrt wj)) (cbrt wj)) (cbrt wj) (* (cbrt (cbrt wj)) (pow (cbrt (cbrt wj)) 4)) (pow (sqrt (cbrt wj)) 3) (cbrt wj) (pow (cbrt (cbrt wj)) 4) (* (cbrt (sqrt wj)) (cbrt wj)) (pow wj 2/3) (pow (cbrt (cbrt wj)) 4) (pow (sqrt (cbrt wj)) 3) (pow wj 2/3) (cbrt wj) (cbrt wj) (* (cbrt (/ 1 (/ -1 wj))) (cbrt -1)) (cbrt wj) (cbrt wj) (* (cbrt (/ 1 (/ -1 wj))) (cbrt -1)) (cbrt wj) (cbrt wj) (* (cbrt (/ 1 (/ -1 wj))) (cbrt -1)) (pow wj 2/3) (pow wj 2/3) (* (pow (cbrt -1) 2) (pow (/ -1 wj) -2/3)) 3.686 * * * [progress]: adding candidates to table 3.778 * * [progress]: iteration 4 / 4 3.778 * * * [progress]: picking best candidate 3.806 * * * * [pick]: Picked # 3.806 * * * [progress]: localizing error 3.821 * * * [progress]: generating rewritten candidates 3.821 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 3.826 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 3.828 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 3.830 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 3.834 * * * [progress]: generating series expansions 3.834 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 3.834 * [approximate]: Taking taylor expansion of (pow (pow wj 1/9) 4) in (wj) around 0 3.834 * [taylor]: Taking taylor expansion of (pow (pow wj 1/9) 4) in wj 3.834 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 3.834 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 3.834 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 3.834 * [taylor]: Taking taylor expansion of 1/9 in wj 3.834 * [taylor]: Taking taylor expansion of (log wj) in wj 3.834 * [taylor]: Taking taylor expansion of wj in wj 3.834 * [taylor]: Taking taylor expansion of (pow (pow wj 1/9) 4) in wj 3.834 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 3.834 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 3.834 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 3.834 * [taylor]: Taking taylor expansion of 1/9 in wj 3.834 * [taylor]: Taking taylor expansion of (log wj) in wj 3.834 * [taylor]: Taking taylor expansion of wj in wj 3.846 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 wj) 1/9) 4) in (wj) around 0 3.846 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 wj) 1/9) 4) in wj 3.846 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.847 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.847 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.847 * [taylor]: Taking taylor expansion of 1/9 in wj 3.847 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.847 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.847 * [taylor]: Taking taylor expansion of wj in wj 3.847 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 wj) 1/9) 4) in wj 3.847 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.847 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.847 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.847 * [taylor]: Taking taylor expansion of 1/9 in wj 3.847 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.847 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.847 * [taylor]: Taking taylor expansion of wj in wj 3.857 * [approximate]: Taking taylor expansion of (pow (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) 4) in (wj) around 0 3.857 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) 4) in wj 3.857 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 3.857 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.857 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.857 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.857 * [taylor]: Taking taylor expansion of 1/9 in wj 3.857 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.857 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.857 * [taylor]: Taking taylor expansion of wj in wj 3.857 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 3.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 3.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 3.857 * [taylor]: Taking taylor expansion of 1/3 in wj 3.857 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 3.857 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 3.857 * [taylor]: Taking taylor expansion of -1 in wj 3.858 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) 4) in wj 3.858 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 3.858 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.858 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.858 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.858 * [taylor]: Taking taylor expansion of 1/9 in wj 3.858 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.858 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.858 * [taylor]: Taking taylor expansion of wj in wj 3.858 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 3.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 3.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 3.858 * [taylor]: Taking taylor expansion of 1/3 in wj 3.858 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 3.858 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 3.858 * [taylor]: Taking taylor expansion of -1 in wj 3.883 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 3.883 * [approximate]: Taking taylor expansion of (pow wj 1/9) in (wj) around 0 3.883 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 3.883 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 3.883 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 3.883 * [taylor]: Taking taylor expansion of 1/9 in wj 3.883 * [taylor]: Taking taylor expansion of (log wj) in wj 3.883 * [taylor]: Taking taylor expansion of wj in wj 3.883 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 3.883 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 3.883 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 3.883 * [taylor]: Taking taylor expansion of 1/9 in wj 3.883 * [taylor]: Taking taylor expansion of (log wj) in wj 3.883 * [taylor]: Taking taylor expansion of wj in wj 3.890 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in (wj) around 0 3.890 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.890 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.890 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.890 * [taylor]: Taking taylor expansion of 1/9 in wj 3.890 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.890 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.890 * [taylor]: Taking taylor expansion of wj in wj 3.890 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.890 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.890 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.890 * [taylor]: Taking taylor expansion of 1/9 in wj 3.890 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.890 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.890 * [taylor]: Taking taylor expansion of wj in wj 3.898 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in (wj) around 0 3.898 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 3.898 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.898 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.898 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.898 * [taylor]: Taking taylor expansion of 1/9 in wj 3.898 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.898 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.898 * [taylor]: Taking taylor expansion of wj in wj 3.898 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 3.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 3.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 3.898 * [taylor]: Taking taylor expansion of 1/3 in wj 3.898 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 3.898 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 3.898 * [taylor]: Taking taylor expansion of -1 in wj 3.899 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 3.899 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.899 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.899 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.899 * [taylor]: Taking taylor expansion of 1/9 in wj 3.899 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.899 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.899 * [taylor]: Taking taylor expansion of wj in wj 3.899 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 3.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 3.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 3.899 * [taylor]: Taking taylor expansion of 1/3 in wj 3.899 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 3.899 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 3.899 * [taylor]: Taking taylor expansion of -1 in wj 3.917 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 3.917 * [approximate]: Taking taylor expansion of (pow wj 1/9) in (wj) around 0 3.917 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 3.917 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 3.917 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 3.917 * [taylor]: Taking taylor expansion of 1/9 in wj 3.917 * [taylor]: Taking taylor expansion of (log wj) in wj 3.917 * [taylor]: Taking taylor expansion of wj in wj 3.917 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 3.917 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 3.917 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 3.917 * [taylor]: Taking taylor expansion of 1/9 in wj 3.917 * [taylor]: Taking taylor expansion of (log wj) in wj 3.917 * [taylor]: Taking taylor expansion of wj in wj 3.924 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in (wj) around 0 3.924 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.924 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.924 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.924 * [taylor]: Taking taylor expansion of 1/9 in wj 3.924 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.924 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.924 * [taylor]: Taking taylor expansion of wj in wj 3.924 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.924 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.924 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.924 * [taylor]: Taking taylor expansion of 1/9 in wj 3.924 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.924 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.924 * [taylor]: Taking taylor expansion of wj in wj 3.932 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in (wj) around 0 3.932 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 3.932 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.932 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.932 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.932 * [taylor]: Taking taylor expansion of 1/9 in wj 3.932 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.932 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.932 * [taylor]: Taking taylor expansion of wj in wj 3.932 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 3.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 3.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 3.932 * [taylor]: Taking taylor expansion of 1/3 in wj 3.932 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 3.932 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 3.932 * [taylor]: Taking taylor expansion of -1 in wj 3.933 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 3.933 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.933 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.933 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.933 * [taylor]: Taking taylor expansion of 1/9 in wj 3.933 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.933 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.933 * [taylor]: Taking taylor expansion of wj in wj 3.933 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 3.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 3.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 3.933 * [taylor]: Taking taylor expansion of 1/3 in wj 3.933 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 3.933 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 3.933 * [taylor]: Taking taylor expansion of -1 in wj 3.954 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 3.954 * [approximate]: Taking taylor expansion of (pow wj 1/9) in (wj) around 0 3.954 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 3.954 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 3.954 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 3.954 * [taylor]: Taking taylor expansion of 1/9 in wj 3.954 * [taylor]: Taking taylor expansion of (log wj) in wj 3.954 * [taylor]: Taking taylor expansion of wj in wj 3.954 * [taylor]: Taking taylor expansion of (pow wj 1/9) in wj 3.954 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log wj))) in wj 3.954 * [taylor]: Taking taylor expansion of (* 1/9 (log wj)) in wj 3.954 * [taylor]: Taking taylor expansion of 1/9 in wj 3.954 * [taylor]: Taking taylor expansion of (log wj) in wj 3.954 * [taylor]: Taking taylor expansion of wj in wj 3.961 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in (wj) around 0 3.961 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.961 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.961 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.961 * [taylor]: Taking taylor expansion of 1/9 in wj 3.961 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.961 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.962 * [taylor]: Taking taylor expansion of wj in wj 3.962 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.962 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.962 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.962 * [taylor]: Taking taylor expansion of 1/9 in wj 3.962 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.962 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.962 * [taylor]: Taking taylor expansion of wj in wj 3.969 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in (wj) around 0 3.969 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 3.969 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.969 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.969 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.969 * [taylor]: Taking taylor expansion of 1/9 in wj 3.969 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.969 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.969 * [taylor]: Taking taylor expansion of wj in wj 3.969 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 3.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 3.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 3.969 * [taylor]: Taking taylor expansion of 1/3 in wj 3.969 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 3.969 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 3.970 * [taylor]: Taking taylor expansion of -1 in wj 3.970 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/9) (pow (cbrt -1) 1/3)) in wj 3.970 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/9) in wj 3.970 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 wj)))) in wj 3.970 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 wj))) in wj 3.970 * [taylor]: Taking taylor expansion of 1/9 in wj 3.970 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 3.970 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 3.970 * [taylor]: Taking taylor expansion of wj in wj 3.970 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in wj 3.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in wj 3.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in wj 3.970 * [taylor]: Taking taylor expansion of 1/3 in wj 3.970 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in wj 3.970 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 3.970 * [taylor]: Taking taylor expansion of -1 in wj 3.988 * * * [progress]: simplifying candidates 3.989 * [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 (exp (* 1/9 (+ (log 1) (log wj)))) 4) (pow (exp (* 1/9 (- (log 1) (log (/ 1 wj))))) 4) (* (pow (pow (cbrt -1) 4) 1/3) (pow (exp (* 1/9 (- (log 1) (log (/ -1 wj))))) 4)) (exp (* 1/9 (+ (log 1) (log wj)))) (exp (* 1/9 (- (log 1) (log (/ 1 wj))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 wj)))))) (exp (* 1/9 (+ (log 1) (log wj)))) (exp (* 1/9 (- (log 1) (log (/ 1 wj))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 wj)))))) (exp (* 1/9 (+ (log 1) (log wj)))) (exp (* 1/9 (- (log 1) (log (/ 1 wj))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 wj)))))) 3.992 * * [simplify]: iteration 0 : 80 enodes (cost 633 ) 4.001 * * [simplify]: iteration 1 : 168 enodes (cost 586 ) 4.024 * * [simplify]: iteration 2 : 410 enodes (cost 514 ) 4.094 * * [simplify]: iteration 3 : 1232 enodes (cost 483 ) 4.696 * * [simplify]: iteration 4 : 4190 enodes (cost 470 ) 5.731 * * [simplify]: iteration done : 5001 enodes (cost 470 ) 5.732 * [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 (pow (cbrt (cbrt wj)) 2)) 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)) (* (cbrt wj) wj) (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 (pow (cbrt (cbrt wj)) 2)) (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) (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))) 1 (cbrt (cbrt wj)) (cbrt (pow (cbrt (cbrt wj)) 2)) (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) (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))) 1 (cbrt (cbrt wj)) (cbrt (pow (cbrt (cbrt wj)) 2)) (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) (sqrt (cbrt (cbrt wj))) (sqrt (cbrt (cbrt wj))) (pow wj 4/9) (pow wj 4/9) (* (pow (/ 1 (/ -1 wj)) 4/9) (cbrt (pow (cbrt -1) 4))) (pow wj 1/9) (pow wj 1/9) (* (cbrt (cbrt -1)) (pow (/ 1 (/ -1 wj)) 1/9)) (pow wj 1/9) (pow wj 1/9) (* (cbrt (cbrt -1)) (pow (/ 1 (/ -1 wj)) 1/9)) (pow wj 1/9) (pow wj 1/9) (* (cbrt (cbrt -1)) (pow (/ 1 (/ -1 wj)) 1/9)) 5.732 * * * [progress]: adding candidates to table 5.843 * [progress]: [Phase 3 of 3] Extracting. 5.843 * * [regime]: Finding splitpoints for: (# # # # # # # #) 5.845 * * * [regime-changes]: Trying 2 branch expressions: (x wj) 5.846 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 5.914 * * * * [regimes]: Trying to branch on wj from (# # # # # # # #) 5.990 * * * [regime]: Found split indices: #