14.726 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.378 * * * [progress]: [2/2] Setting up program. 0.381 * [progress]: [Phase 2 of 3] Improving. 0.381 * [simplify]: Simplifying using # : (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) 0.444 * * [simplify]: iteration 0 : 6196 enodes (cost 12 ) 0.445 * [simplify]: Simplified to: (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1))) 0.449 * * [progress]: iteration 1 / 4 0.449 * * * [progress]: picking best candidate 0.454 * * * * [pick]: Picked # 0.454 * * * [progress]: localizing error 0.462 * * * [progress]: generating rewritten candidates 0.462 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.482 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 0.486 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.498 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.509 * * * [progress]: generating series expansions 0.509 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.509 * [approximate]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in (wj x) around 0 0.509 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in x 0.509 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (exp wj) (+ wj 1)))) in x 0.509 * [taylor]: Taking taylor expansion of wj in x 0.509 * [taylor]: Taking taylor expansion of (/ x (* (exp wj) (+ wj 1))) in x 0.509 * [taylor]: Taking taylor expansion of x in x 0.509 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in x 0.509 * [taylor]: Taking taylor expansion of (exp wj) in x 0.509 * [taylor]: Taking taylor expansion of wj in x 0.509 * [taylor]: Taking taylor expansion of (+ wj 1) in x 0.509 * [taylor]: Taking taylor expansion of wj in x 0.509 * [taylor]: Taking taylor expansion of 1 in x 0.509 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in x 0.510 * [taylor]: Taking taylor expansion of wj in x 0.510 * [taylor]: Taking taylor expansion of (+ wj 1) in x 0.510 * [taylor]: Taking taylor expansion of wj in x 0.510 * [taylor]: Taking taylor expansion of 1 in x 0.510 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in wj 0.510 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (exp wj) (+ wj 1)))) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of (/ x (* (exp wj) (+ wj 1))) in wj 0.510 * [taylor]: Taking taylor expansion of x in wj 0.510 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 0.510 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of 1 in wj 0.510 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of 1 in wj 0.510 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in wj 0.510 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (exp wj) (+ wj 1)))) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of (/ x (* (exp wj) (+ wj 1))) in wj 0.510 * [taylor]: Taking taylor expansion of x in wj 0.510 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 0.510 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of 1 in wj 0.510 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of 1 in wj 0.510 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of (neg (* 2 x)) in x 0.511 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.511 * [taylor]: Taking taylor expansion of 2 in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of (+ (* 5/2 x) 1) in x 0.511 * [taylor]: Taking taylor expansion of (* 5/2 x) in x 0.511 * [taylor]: Taking taylor expansion of 5/2 in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of 1 in x 0.512 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) (/ 1 (* wj (+ (/ 1 wj) 1)))) in (wj x) around 0 0.512 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) (/ 1 (* wj (+ (/ 1 wj) 1)))) in x 0.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) in x 0.512 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in x 0.512 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.512 * [taylor]: Taking taylor expansion of wj in x 0.512 * [taylor]: Taking taylor expansion of 1 in x 0.512 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.512 * [taylor]: Taking taylor expansion of wj in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.513 * [taylor]: Taking taylor expansion of wj in x 0.513 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in x 0.513 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in x 0.513 * [taylor]: Taking taylor expansion of wj in x 0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 0.513 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.513 * [taylor]: Taking taylor expansion of wj in x 0.513 * [taylor]: Taking taylor expansion of 1 in x 0.513 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) in wj 0.513 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) in wj 0.513 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in wj 0.513 * [taylor]: Taking taylor expansion of x in wj 0.513 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in wj 0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.513 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.513 * [taylor]: Taking taylor expansion of wj in wj 0.513 * [taylor]: Taking taylor expansion of 1 in wj 0.513 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.513 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.513 * [taylor]: Taking taylor expansion of wj in wj 0.513 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.513 * [taylor]: Taking taylor expansion of wj in wj 0.513 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 0.513 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 0.513 * [taylor]: Taking taylor expansion of wj in wj 0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.513 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.513 * [taylor]: Taking taylor expansion of wj in wj 0.513 * [taylor]: Taking taylor expansion of 1 in wj 0.513 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) in wj 0.513 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) in wj 0.514 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in wj 0.514 * [taylor]: Taking taylor expansion of x in wj 0.514 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in wj 0.514 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.514 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of 1 in wj 0.514 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.514 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 0.514 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.514 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of 1 in wj 0.514 * [taylor]: Taking taylor expansion of 1 in x 0.514 * [taylor]: Taking taylor expansion of (neg 1) in x 0.514 * [taylor]: Taking taylor expansion of 1 in x 0.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.515 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.515 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.515 * [taylor]: Taking taylor expansion of x in x 0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.515 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.515 * [taylor]: Taking taylor expansion of wj in x 0.515 * [taylor]: Taking taylor expansion of 1 in x 0.515 * [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 0.516 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in x 0.516 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in x 0.516 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in x 0.516 * [taylor]: Taking taylor expansion of wj in x 0.516 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 0.516 * [taylor]: Taking taylor expansion of 1 in x 0.516 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.516 * [taylor]: Taking taylor expansion of wj in x 0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in x 0.516 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.516 * [taylor]: Taking taylor expansion of wj in x 0.516 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in x 0.516 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in x 0.516 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 0.516 * [taylor]: Taking taylor expansion of 1 in x 0.516 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.516 * [taylor]: Taking taylor expansion of wj in x 0.516 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.516 * [taylor]: Taking taylor expansion of x in x 0.516 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.516 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.516 * [taylor]: Taking taylor expansion of -1 in x 0.516 * [taylor]: Taking taylor expansion of wj in x 0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in wj 0.517 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 0.517 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 0.517 * [taylor]: Taking taylor expansion of wj in wj 0.517 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.517 * [taylor]: Taking taylor expansion of 1 in wj 0.517 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.517 * [taylor]: Taking taylor expansion of wj in wj 0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in wj 0.517 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.517 * [taylor]: Taking taylor expansion of wj in wj 0.517 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in wj 0.517 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in wj 0.517 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.517 * [taylor]: Taking taylor expansion of 1 in wj 0.517 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.517 * [taylor]: Taking taylor expansion of wj in wj 0.517 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 0.517 * [taylor]: Taking taylor expansion of x in wj 0.517 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.517 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.517 * [taylor]: Taking taylor expansion of -1 in wj 0.517 * [taylor]: Taking taylor expansion of wj in wj 0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in wj 0.517 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 0.517 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 0.517 * [taylor]: Taking taylor expansion of wj in wj 0.517 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.517 * [taylor]: Taking taylor expansion of 1 in wj 0.517 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.517 * [taylor]: Taking taylor expansion of wj in wj 0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in wj 0.518 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.518 * [taylor]: Taking taylor expansion of wj in wj 0.518 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in wj 0.518 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in wj 0.518 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.518 * [taylor]: Taking taylor expansion of 1 in wj 0.518 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.518 * [taylor]: Taking taylor expansion of wj in wj 0.518 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 0.518 * [taylor]: Taking taylor expansion of x in wj 0.518 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.518 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.518 * [taylor]: Taking taylor expansion of -1 in wj 0.518 * [taylor]: Taking taylor expansion of wj in wj 0.518 * [taylor]: Taking taylor expansion of (neg 1) in x 0.518 * [taylor]: Taking taylor expansion of 1 in x 0.518 * [taylor]: Taking taylor expansion of (neg 1) in x 0.518 * [taylor]: Taking taylor expansion of 1 in x 0.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ -1 wj)))) 1) in x 0.519 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.519 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.519 * [taylor]: Taking taylor expansion of x in x 0.519 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.519 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.519 * [taylor]: Taking taylor expansion of -1 in x 0.519 * [taylor]: Taking taylor expansion of wj in x 0.519 * [taylor]: Taking taylor expansion of 1 in x 0.519 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 0.519 * [approximate]: Taking taylor expansion of (/ x (exp wj)) in (x wj) around 0 0.519 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 0.520 * [taylor]: Taking taylor expansion of x in wj 0.520 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.520 * [taylor]: Taking taylor expansion of wj in wj 0.520 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 0.520 * [taylor]: Taking taylor expansion of x in x 0.520 * [taylor]: Taking taylor expansion of (exp wj) in x 0.520 * [taylor]: Taking taylor expansion of wj in x 0.520 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 0.520 * [taylor]: Taking taylor expansion of x in x 0.520 * [taylor]: Taking taylor expansion of (exp wj) in x 0.520 * [taylor]: Taking taylor expansion of wj in x 0.520 * [taylor]: Taking taylor expansion of (/ 1 (exp wj)) in wj 0.520 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.520 * [taylor]: Taking taylor expansion of wj in wj 0.520 * [taylor]: Taking taylor expansion of 0 in wj 0.520 * [taylor]: Taking taylor expansion of 0 in wj 0.521 * [approximate]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in (x wj) around 0 0.521 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 0.521 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 0.521 * [taylor]: Taking taylor expansion of x in wj 0.521 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.521 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.521 * [taylor]: Taking taylor expansion of wj in wj 0.521 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.521 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.521 * [taylor]: Taking taylor expansion of x in x 0.521 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.521 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.521 * [taylor]: Taking taylor expansion of wj in x 0.521 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.521 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.521 * [taylor]: Taking taylor expansion of x in x 0.522 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.522 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.522 * [taylor]: Taking taylor expansion of wj in x 0.522 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 wj))) in wj 0.522 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.522 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.522 * [taylor]: Taking taylor expansion of wj in wj 0.522 * [taylor]: Taking taylor expansion of 0 in wj 0.523 * [taylor]: Taking taylor expansion of 0 in wj 0.524 * [taylor]: Taking taylor expansion of 0 in wj 0.524 * [approximate]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in (x wj) around 0 0.524 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in wj 0.524 * [taylor]: Taking taylor expansion of -1 in wj 0.524 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 0.524 * [taylor]: Taking taylor expansion of x in wj 0.524 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.524 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.524 * [taylor]: Taking taylor expansion of -1 in wj 0.524 * [taylor]: Taking taylor expansion of wj in wj 0.524 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in x 0.524 * [taylor]: Taking taylor expansion of -1 in x 0.524 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.524 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.524 * [taylor]: Taking taylor expansion of -1 in x 0.524 * [taylor]: Taking taylor expansion of wj in x 0.525 * [taylor]: Taking taylor expansion of (/ -1 (* x (exp (/ -1 wj)))) in x 0.525 * [taylor]: Taking taylor expansion of -1 in x 0.525 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.525 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.525 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.525 * [taylor]: Taking taylor expansion of -1 in x 0.525 * [taylor]: Taking taylor expansion of wj in x 0.525 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 wj))) in wj 0.525 * [taylor]: Taking taylor expansion of -1 in wj 0.525 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.525 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.525 * [taylor]: Taking taylor expansion of -1 in wj 0.525 * [taylor]: Taking taylor expansion of wj in wj 0.526 * [taylor]: Taking taylor expansion of 0 in wj 0.526 * [taylor]: Taking taylor expansion of 0 in wj 0.527 * [taylor]: Taking taylor expansion of 0 in wj 0.527 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.527 * [approximate]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ wj 1)) in (x wj) around 0 0.527 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ wj 1)) in wj 0.527 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in wj 0.527 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 0.527 * [taylor]: Taking taylor expansion of x in wj 0.527 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.527 * [taylor]: Taking taylor expansion of wj in wj 0.528 * [taylor]: Taking taylor expansion of wj in wj 0.528 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.528 * [taylor]: Taking taylor expansion of wj in wj 0.528 * [taylor]: Taking taylor expansion of 1 in wj 0.528 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ wj 1)) in x 0.528 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 0.528 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 0.528 * [taylor]: Taking taylor expansion of x in x 0.528 * [taylor]: Taking taylor expansion of (exp wj) in x 0.528 * [taylor]: Taking taylor expansion of wj in x 0.528 * [taylor]: Taking taylor expansion of wj in x 0.528 * [taylor]: Taking taylor expansion of (+ wj 1) in x 0.528 * [taylor]: Taking taylor expansion of wj in x 0.528 * [taylor]: Taking taylor expansion of 1 in x 0.528 * [taylor]: Taking taylor expansion of (/ (- (/ x (exp wj)) wj) (+ wj 1)) in x 0.528 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 0.528 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 0.528 * [taylor]: Taking taylor expansion of x in x 0.528 * [taylor]: Taking taylor expansion of (exp wj) in x 0.528 * [taylor]: Taking taylor expansion of wj in x 0.528 * [taylor]: Taking taylor expansion of wj in x 0.528 * [taylor]: Taking taylor expansion of (+ wj 1) in x 0.528 * [taylor]: Taking taylor expansion of wj in x 0.528 * [taylor]: Taking taylor expansion of 1 in x 0.528 * [taylor]: Taking taylor expansion of (* -1 (/ wj (+ wj 1))) in wj 0.528 * [taylor]: Taking taylor expansion of -1 in wj 0.528 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 0.528 * [taylor]: Taking taylor expansion of wj in wj 0.528 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.528 * [taylor]: Taking taylor expansion of wj in wj 0.528 * [taylor]: Taking taylor expansion of 1 in wj 0.529 * [taylor]: Taking taylor expansion of (/ 1 (* (exp wj) (+ wj 1))) in wj 0.529 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 0.529 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.529 * [taylor]: Taking taylor expansion of wj in wj 0.529 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.529 * [taylor]: Taking taylor expansion of wj in wj 0.529 * [taylor]: Taking taylor expansion of 1 in wj 0.529 * [taylor]: Taking taylor expansion of 0 in wj 0.529 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 wj) 1)) in (x wj) around 0 0.529 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 wj) 1)) in wj 0.529 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in wj 0.529 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 0.530 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 0.530 * [taylor]: Taking taylor expansion of x in wj 0.530 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.530 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.530 * [taylor]: Taking taylor expansion of wj in wj 0.530 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.530 * [taylor]: Taking taylor expansion of wj in wj 0.530 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.530 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.530 * [taylor]: Taking taylor expansion of wj in wj 0.530 * [taylor]: Taking taylor expansion of 1 in wj 0.530 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 wj) 1)) in x 0.530 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 0.530 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.530 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.530 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.530 * [taylor]: Taking taylor expansion of wj in x 0.530 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.530 * [taylor]: Taking taylor expansion of wj in x 0.530 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 0.530 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.530 * [taylor]: Taking taylor expansion of wj in x 0.530 * [taylor]: Taking taylor expansion of 1 in x 0.531 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) (+ (/ 1 wj) 1)) in x 0.531 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 0.531 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.531 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.531 * [taylor]: Taking taylor expansion of x in x 0.531 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.531 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.531 * [taylor]: Taking taylor expansion of wj in x 0.531 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.531 * [taylor]: Taking taylor expansion of wj in x 0.531 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 0.531 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.531 * [taylor]: Taking taylor expansion of wj in x 0.531 * [taylor]: Taking taylor expansion of 1 in x 0.531 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in wj 0.531 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in wj 0.531 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.531 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.531 * [taylor]: Taking taylor expansion of wj in wj 0.531 * [taylor]: Taking taylor expansion of 1 in wj 0.531 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.531 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.531 * [taylor]: Taking taylor expansion of wj in wj 0.532 * [taylor]: Taking taylor expansion of (neg (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 0.532 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 0.532 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 0.532 * [taylor]: Taking taylor expansion of wj in wj 0.532 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.532 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.532 * [taylor]: Taking taylor expansion of wj in wj 0.532 * [taylor]: Taking taylor expansion of 1 in wj 0.533 * [taylor]: Taking taylor expansion of 0 in wj 0.534 * [approximate]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 wj))) in (x wj) around 0 0.534 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 wj))) in wj 0.534 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in wj 0.534 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.534 * [taylor]: Taking taylor expansion of wj in wj 0.534 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in wj 0.534 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 0.534 * [taylor]: Taking taylor expansion of x in wj 0.534 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.534 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.534 * [taylor]: Taking taylor expansion of -1 in wj 0.534 * [taylor]: Taking taylor expansion of wj in wj 0.534 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.534 * [taylor]: Taking taylor expansion of 1 in wj 0.534 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.534 * [taylor]: Taking taylor expansion of wj in wj 0.534 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 wj))) in x 0.534 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 0.534 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.534 * [taylor]: Taking taylor expansion of wj in x 0.534 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.534 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.534 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.534 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.534 * [taylor]: Taking taylor expansion of -1 in x 0.534 * [taylor]: Taking taylor expansion of wj in x 0.535 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 0.535 * [taylor]: Taking taylor expansion of 1 in x 0.535 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.535 * [taylor]: Taking taylor expansion of wj in x 0.535 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) (- 1 (/ 1 wj))) in x 0.535 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 0.535 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.535 * [taylor]: Taking taylor expansion of wj in x 0.535 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.535 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.535 * [taylor]: Taking taylor expansion of x in x 0.535 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.535 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.535 * [taylor]: Taking taylor expansion of -1 in x 0.535 * [taylor]: Taking taylor expansion of wj in x 0.536 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 0.536 * [taylor]: Taking taylor expansion of 1 in x 0.536 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.536 * [taylor]: Taking taylor expansion of wj in x 0.536 * [taylor]: Taking taylor expansion of (/ -1 (* (- 1 (/ 1 wj)) (exp (/ -1 wj)))) in wj 0.536 * [taylor]: Taking taylor expansion of -1 in wj 0.536 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (exp (/ -1 wj))) in wj 0.536 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.536 * [taylor]: Taking taylor expansion of 1 in wj 0.536 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.536 * [taylor]: Taking taylor expansion of wj in wj 0.536 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.536 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.536 * [taylor]: Taking taylor expansion of -1 in wj 0.536 * [taylor]: Taking taylor expansion of wj in wj 0.537 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 0.537 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 0.537 * [taylor]: Taking taylor expansion of wj in wj 0.537 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.537 * [taylor]: Taking taylor expansion of 1 in wj 0.537 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.537 * [taylor]: Taking taylor expansion of wj in wj 0.538 * [taylor]: Taking taylor expansion of 0 in wj 0.538 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.538 * [approximate]: Taking taylor expansion of (- (/ x (exp wj)) wj) in (x wj) around 0 0.538 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in wj 0.538 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in wj 0.538 * [taylor]: Taking taylor expansion of x in wj 0.538 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.538 * [taylor]: Taking taylor expansion of wj in wj 0.539 * [taylor]: Taking taylor expansion of wj in wj 0.539 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 0.539 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 0.539 * [taylor]: Taking taylor expansion of x in x 0.539 * [taylor]: Taking taylor expansion of (exp wj) in x 0.539 * [taylor]: Taking taylor expansion of wj in x 0.539 * [taylor]: Taking taylor expansion of wj in x 0.539 * [taylor]: Taking taylor expansion of (- (/ x (exp wj)) wj) in x 0.539 * [taylor]: Taking taylor expansion of (/ x (exp wj)) in x 0.539 * [taylor]: Taking taylor expansion of x in x 0.539 * [taylor]: Taking taylor expansion of (exp wj) in x 0.539 * [taylor]: Taking taylor expansion of wj in x 0.539 * [taylor]: Taking taylor expansion of wj in x 0.539 * [taylor]: Taking taylor expansion of (neg wj) in wj 0.539 * [taylor]: Taking taylor expansion of wj in wj 0.539 * [taylor]: Taking taylor expansion of (/ 1 (exp wj)) in wj 0.539 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.539 * [taylor]: Taking taylor expansion of wj in wj 0.539 * [taylor]: Taking taylor expansion of 0 in wj 0.540 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in (x wj) around 0 0.540 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in wj 0.540 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in wj 0.540 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in wj 0.540 * [taylor]: Taking taylor expansion of x in wj 0.540 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.540 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.540 * [taylor]: Taking taylor expansion of wj in wj 0.540 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.540 * [taylor]: Taking taylor expansion of wj in wj 0.540 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 0.540 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.540 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.540 * [taylor]: Taking taylor expansion of x in x 0.540 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.540 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.540 * [taylor]: Taking taylor expansion of wj in x 0.540 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.540 * [taylor]: Taking taylor expansion of wj in x 0.540 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ 1 wj)))) (/ 1 wj)) in x 0.541 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.541 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.541 * [taylor]: Taking taylor expansion of x in x 0.541 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.541 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.541 * [taylor]: Taking taylor expansion of wj in x 0.541 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.541 * [taylor]: Taking taylor expansion of wj in x 0.541 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 wj))) in wj 0.541 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.541 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.541 * [taylor]: Taking taylor expansion of wj in wj 0.541 * [taylor]: Taking taylor expansion of (neg (/ 1 wj)) in wj 0.542 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.542 * [taylor]: Taking taylor expansion of wj in wj 0.542 * [taylor]: Taking taylor expansion of 0 in wj 0.543 * [taylor]: Taking taylor expansion of 0 in wj 0.544 * [taylor]: Taking taylor expansion of 0 in wj 0.544 * [approximate]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in (x wj) around 0 0.544 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in wj 0.545 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.545 * [taylor]: Taking taylor expansion of wj in wj 0.545 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in wj 0.545 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 0.545 * [taylor]: Taking taylor expansion of x in wj 0.545 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.545 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.545 * [taylor]: Taking taylor expansion of -1 in wj 0.545 * [taylor]: Taking taylor expansion of wj in wj 0.545 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 0.545 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.545 * [taylor]: Taking taylor expansion of wj in x 0.545 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.545 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.545 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.545 * [taylor]: Taking taylor expansion of -1 in x 0.545 * [taylor]: Taking taylor expansion of wj in x 0.545 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (/ 1 (* x (exp (/ -1 wj))))) in x 0.545 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.546 * [taylor]: Taking taylor expansion of wj in x 0.546 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.546 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.546 * [taylor]: Taking taylor expansion of x in x 0.546 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.546 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.546 * [taylor]: Taking taylor expansion of -1 in x 0.546 * [taylor]: Taking taylor expansion of wj in x 0.546 * [taylor]: Taking taylor expansion of (neg (/ 1 (exp (/ -1 wj)))) in wj 0.546 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 wj))) in wj 0.546 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.546 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.546 * [taylor]: Taking taylor expansion of -1 in wj 0.546 * [taylor]: Taking taylor expansion of wj in wj 0.547 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.547 * [taylor]: Taking taylor expansion of wj in wj 0.547 * [taylor]: Taking taylor expansion of 0 in wj 0.548 * [taylor]: Taking taylor expansion of 0 in wj 0.549 * [taylor]: Taking taylor expansion of 0 in wj 0.550 * * * [progress]: simplifying candidates 0.551 * [simplify]: Simplifying using # : (* (exp wj) (exp (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (log (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (exp (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (* (cbrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (cbrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1))))) (cbrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (* (* (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1))) (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (sqrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (sqrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (+ (pow wj 3) (pow (/ (- (/ x (exp wj)) wj) (+ wj 1)) 3)) (+ (* wj wj) (- (* (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ (- (/ x (exp wj)) wj) (+ wj 1))) (* wj (/ (- (/ x (exp wj)) wj) (+ wj 1))))) (- (* wj wj) (* (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (- wj (/ (- (/ x (exp wj)) wj) (+ wj 1))) (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1))) (+ 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 (- (/ x (exp wj)) wj)) (log (+ wj 1))) (log (/ (- (/ x (exp wj)) wj) (+ wj 1))) (exp (/ (- (/ x (exp wj)) wj) (+ wj 1))) (/ (* (* (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj)) (- (/ x (exp wj)) wj)) (* (* (+ wj 1) (+ wj 1)) (+ wj 1))) (* (cbrt (/ (- (/ x (exp wj)) wj) (+ wj 1))) (cbrt (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (cbrt (/ (- (/ x (exp wj)) wj) (+ wj 1))) (* (* (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ (- (/ x (exp wj)) wj) (+ wj 1))) (/ (- (/ x (exp wj)) wj) (+ wj 1))) (sqrt (/ (- (/ x (exp wj)) wj) (+ wj 1))) (sqrt (/ (- (/ x (exp wj)) wj) (+ wj 1))) (neg (- (/ x (exp wj)) wj)) (neg (+ wj 1)) (/ (/ x (exp wj)) (+ wj 1)) (/ wj (+ wj 1)) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (cbrt (- (/ x (exp wj)) wj)) (cbrt (+ wj 1))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (sqrt (+ wj 1))) (/ (cbrt (- (/ x (exp wj)) wj)) (sqrt (+ wj 1))) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) 1) (/ (cbrt (- (/ x (exp wj)) wj)) (+ wj 1)) (/ (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) 1) (/ (cbrt (- (/ x (exp wj)) wj)) (+ wj 1)) (/ (sqrt (- (/ x (exp wj)) wj)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- (/ x (exp wj)) wj)) (cbrt (+ wj 1))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ wj 1))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ wj 1))) (/ (sqrt (- (/ x (exp wj)) wj)) 1) (/ (sqrt (- (/ x (exp wj)) wj)) (+ wj 1)) (/ (sqrt (- (/ x (exp wj)) wj)) 1) (/ (sqrt (- (/ x (exp wj)) wj)) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (/ x (exp wj)) wj) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- (/ x (exp wj)) wj) (sqrt (+ wj 1))) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (cbrt (+ wj 1))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ wj 1))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ wj 1))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) 1) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ wj 1)) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) 1) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ wj 1)) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (cbrt (+ wj 1))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ wj 1))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ wj 1))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) 1) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ wj 1)) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) 1) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (/ x (exp wj)) wj) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- (/ x (exp wj)) wj) (sqrt (+ wj 1))) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ 1 1) (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ 1 (+ wj 1)) (/ (+ wj 1) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (/ x (exp wj)) wj) (sqrt (+ wj 1))) (/ (- (/ x (exp wj)) wj) 1) (/ (- (/ x (exp wj)) wj) 1) (/ (+ wj 1) (cbrt (- (/ x (exp wj)) wj))) (/ (+ wj 1) (sqrt (- (/ x (exp wj)) wj))) (/ (+ wj 1) (- (/ x (exp wj)) wj)) (/ (+ wj 1) (- (sqrt (/ x (exp wj))) (sqrt wj))) (/ (+ wj 1) (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj))) (/ (+ wj 1) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (+ (pow wj 3) (pow 1 3))) (/ (- (/ x (exp wj)) wj) (- (* wj wj) (* 1 1))) (* (+ wj 1) (+ (* (/ x (exp wj)) (/ x (exp wj))) (+ (* wj wj) (* (/ x (exp wj)) wj)))) (* (+ wj 1) (+ (/ x (exp wj)) wj)) (/ (exp (/ x (exp wj))) (exp wj)) (log (- (/ x (exp wj)) wj)) (exp (- (/ x (exp wj)) wj)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (cbrt (- (/ x (exp wj)) wj)) (* (* (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj)) (- (/ x (exp wj)) wj)) (sqrt (- (/ x (exp wj)) wj)) (sqrt (- (/ x (exp wj)) wj)) (- (pow (/ x (exp wj)) 3) (pow wj 3)) (+ (* (/ x (exp wj)) (/ x (exp wj))) (+ (* wj wj) (* (/ x (exp wj)) wj))) (neg wj) (- (* (/ x (exp wj)) (/ x (exp wj))) (* wj wj)) (+ (/ x (exp wj)) wj) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (- (/ x (exp wj)) wj) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ x (* 1/2 (* (pow wj 2) x))) (* wj x)) (/ x (exp wj)) (/ x (exp wj)) (- x (+ wj (* 2 (* wj x)))) (- (+ (/ x (* wj (exp wj))) (/ 1 wj)) 1) (- (+ (/ x (* wj (exp wj))) (/ 1 wj)) 1) (- x (+ wj (* wj x))) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) 0.608 * * [simplify]: iteration 0 : 5826 enodes (cost 1514 ) 0.614 * [simplify]: Simplified to: (exp (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (log (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (exp (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (* (cbrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (cbrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1))))) (cbrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (pow (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1))) 3) (sqrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (sqrt (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (+ (pow wj 3) (pow (/ (- (/ x (exp wj)) wj) (+ wj 1)) 3)) (+ (* wj wj) (* (- (/ x (exp wj)) wj) (/ (- (/ (- (/ x (exp wj)) wj) (+ wj 1)) wj) (+ wj 1)))) (+ (* wj wj) (* (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ (- wj (/ x (exp wj))) (+ wj 1)))) (+ wj (/ (- wj (/ x (exp wj))) (+ wj 1))) (+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1))) (+ wj (/ x (* (exp 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 (/ (- (/ x (exp wj)) wj) (+ wj 1))) (log (/ (- (/ x (exp wj)) wj) (+ wj 1))) (exp (/ (- (/ x (exp wj)) wj) (+ wj 1))) (pow (/ (- (/ x (exp wj)) wj) (+ wj 1)) 3) (* (cbrt (/ (- (/ x (exp wj)) wj) (+ wj 1))) (cbrt (/ (- (/ x (exp wj)) wj) (+ wj 1)))) (cbrt (/ (- (/ x (exp wj)) wj) (+ wj 1))) (pow (/ (- (/ x (exp wj)) wj) (+ wj 1)) 3) (sqrt (/ (- (/ x (exp wj)) wj) (+ wj 1))) (sqrt (/ (- (/ x (exp wj)) wj) (+ wj 1))) (- wj (/ x (exp wj))) (- -1 wj) (/ x (* (exp wj) (+ wj 1))) (/ wj (+ wj 1)) (* (cbrt (- (/ x (exp wj)) wj)) (/ (cbrt (- (/ x (exp wj)) wj)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1))))) (/ (cbrt (- (/ x (exp wj)) wj)) (cbrt (+ wj 1))) (* (cbrt (- (/ x (exp wj)) wj)) (/ (cbrt (- (/ x (exp wj)) wj)) (sqrt (+ wj 1)))) (/ (cbrt (- (/ x (exp wj)) wj)) (sqrt (+ wj 1))) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ wj 1)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (/ (cbrt (- (/ x (exp wj)) wj)) (+ wj 1)) (/ (sqrt (- (/ x (exp wj)) wj)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- (/ x (exp wj)) wj)) (cbrt (+ wj 1))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ wj 1))) (/ (sqrt (- (/ x (exp wj)) wj)) (sqrt (+ wj 1))) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ wj 1)) (sqrt (- (/ x (exp wj)) wj)) (/ (sqrt (- (/ x (exp wj)) wj)) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (/ x (exp wj)) wj) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- (/ x (exp wj)) wj) (sqrt (+ wj 1))) 1 (/ (- (/ x (exp wj)) wj) (+ wj 1)) 1 (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (cbrt (+ wj 1))) (/ (+ (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ wj 1))) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (sqrt (+ wj 1))) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ wj 1)) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (/ (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ wj 1)) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (cbrt (+ wj 1))) (/ (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ wj 1))) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (sqrt (+ wj 1))) (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ wj 1)) (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (/ (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (/ x (exp wj)) wj) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- (/ x (exp wj)) wj) (sqrt (+ wj 1))) 1 (/ (- (/ x (exp wj)) wj) (+ wj 1)) 1 (/ (- (/ x (exp wj)) wj) (+ wj 1)) (/ 1 (+ wj 1)) (/ (+ wj 1) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (/ x (exp wj)) wj) (sqrt (+ wj 1))) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) (/ (+ wj 1) (cbrt (- (/ x (exp wj)) wj))) (/ (+ wj 1) (sqrt (- (/ x (exp wj)) wj))) (/ (+ wj 1) (- (/ x (exp wj)) wj)) (/ (+ wj 1) (- (sqrt (/ x (exp wj))) (sqrt wj))) (/ (+ wj 1) (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj))) (/ (+ wj 1) (- (/ x (exp wj)) wj)) (/ (- (/ x (exp wj)) wj) (+ 1 (pow wj 3))) (/ (- (/ x (exp wj)) wj) (+ (* wj wj) -1)) (* (+ wj 1) (+ (* wj wj) (* (/ x (exp wj)) (+ wj (/ x (exp wj)))))) (* (+ wj 1) (+ wj (/ x (exp wj)))) (exp (- (/ x (exp wj)) wj)) (log (- (/ x (exp wj)) wj)) (exp (- (/ x (exp wj)) wj)) (* (cbrt (- (/ x (exp wj)) wj)) (cbrt (- (/ x (exp wj)) wj))) (cbrt (- (/ x (exp wj)) wj)) (pow (- (/ x (exp wj)) wj) 3) (sqrt (- (/ x (exp wj)) wj)) (sqrt (- (/ x (exp wj)) wj)) (- (pow (/ x (exp wj)) 3) (pow wj 3)) (+ (* wj wj) (* (/ x (exp wj)) (+ wj (/ x (exp wj))))) (neg wj) (- (* (/ x (pow (exp wj) 2)) x) (* wj wj)) (+ wj (/ x (exp wj))) (+ (sqrt (/ x (exp wj))) (sqrt wj)) (- (sqrt (/ x (exp wj))) (sqrt wj)) (+ (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (- (/ (sqrt x) (sqrt (exp wj))) (sqrt wj)) (- (/ x (exp wj)) wj) (+ x (* wj (+ wj (* x -2)))) (+ wj (+ (/ x (* wj (exp wj))) -1)) (+ wj (+ (/ x (* wj (exp wj))) -1)) (+ x (* wj (- (* wj (* x 1/2)) x))) (/ x (exp wj)) (/ x (exp wj)) (+ x (- (* wj (* x -2)) wj)) (+ (/ x (* wj (exp wj))) (+ (/ 1 wj) -1)) (+ (/ x (* wj (exp wj))) (+ (/ 1 wj) -1)) (+ x (* wj (- -1 x))) (- (/ x (exp wj)) wj) (- (/ x (exp wj)) wj) 0.615 * * * [progress]: adding candidates to table 0.742 * * [progress]: iteration 2 / 4 0.742 * * * [progress]: picking best candidate 0.756 * * * * [pick]: Picked # 0.756 * * * [progress]: localizing error 0.762 * * * [progress]: generating rewritten candidates 0.762 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.769 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.773 * * * [progress]: generating series expansions 0.773 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.773 * [approximate]: Taking taylor expansion of (* wj (- wj (* 2 x))) in (wj x) around 0 0.773 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in x 0.773 * [taylor]: Taking taylor expansion of wj in x 0.773 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in x 0.773 * [taylor]: Taking taylor expansion of wj in x 0.773 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.773 * [taylor]: Taking taylor expansion of 2 in x 0.773 * [taylor]: Taking taylor expansion of x in x 0.773 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 0.773 * [taylor]: Taking taylor expansion of wj in wj 0.773 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 0.773 * [taylor]: Taking taylor expansion of wj in wj 0.773 * [taylor]: Taking taylor expansion of (* 2 x) in wj 0.773 * [taylor]: Taking taylor expansion of 2 in wj 0.773 * [taylor]: Taking taylor expansion of x in wj 0.773 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 0.773 * [taylor]: Taking taylor expansion of wj in wj 0.773 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 0.773 * [taylor]: Taking taylor expansion of wj in wj 0.773 * [taylor]: Taking taylor expansion of (* 2 x) in wj 0.773 * [taylor]: Taking taylor expansion of 2 in wj 0.773 * [taylor]: Taking taylor expansion of x in wj 0.773 * [taylor]: Taking taylor expansion of 0 in x 0.774 * [taylor]: Taking taylor expansion of (neg (* 2 x)) in x 0.774 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.774 * [taylor]: Taking taylor expansion of 2 in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of 1 in x 0.774 * [taylor]: Taking taylor expansion of 0 in x 0.774 * [taylor]: Taking taylor expansion of 0 in x 0.774 * [approximate]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in (wj x) around 0 0.774 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in x 0.774 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.774 * [taylor]: Taking taylor expansion of wj in x 0.774 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.775 * [taylor]: Taking taylor expansion of 2 in x 0.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.775 * [taylor]: Taking taylor expansion of x in x 0.775 * [taylor]: Taking taylor expansion of wj in x 0.775 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 0.775 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 0.775 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.775 * [taylor]: Taking taylor expansion of wj in wj 0.775 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.775 * [taylor]: Taking taylor expansion of 2 in wj 0.775 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.775 * [taylor]: Taking taylor expansion of x in wj 0.775 * [taylor]: Taking taylor expansion of wj in wj 0.775 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 0.775 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 0.775 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.775 * [taylor]: Taking taylor expansion of wj in wj 0.775 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.775 * [taylor]: Taking taylor expansion of 2 in wj 0.775 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.775 * [taylor]: Taking taylor expansion of x in wj 0.775 * [taylor]: Taking taylor expansion of wj in wj 0.775 * [taylor]: Taking taylor expansion of 1 in x 0.775 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 0.775 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.775 * [taylor]: Taking taylor expansion of 2 in x 0.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.775 * [taylor]: Taking taylor expansion of x in x 0.776 * [taylor]: Taking taylor expansion of 0 in x 0.776 * [taylor]: Taking taylor expansion of 0 in x 0.776 * [taylor]: Taking taylor expansion of 0 in x 0.777 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in (wj x) around 0 0.777 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in x 0.777 * [taylor]: Taking taylor expansion of -1 in x 0.777 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in x 0.777 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in x 0.777 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.777 * [taylor]: Taking taylor expansion of 2 in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.777 * [taylor]: Taking taylor expansion of wj in x 0.777 * [taylor]: Taking taylor expansion of wj in x 0.777 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 0.777 * [taylor]: Taking taylor expansion of -1 in wj 0.777 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 0.777 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 0.777 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.777 * [taylor]: Taking taylor expansion of 2 in wj 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.777 * [taylor]: Taking taylor expansion of x in wj 0.777 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.777 * [taylor]: Taking taylor expansion of wj in wj 0.777 * [taylor]: Taking taylor expansion of wj in wj 0.777 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 0.777 * [taylor]: Taking taylor expansion of -1 in wj 0.777 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 0.777 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 0.777 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.777 * [taylor]: Taking taylor expansion of 2 in wj 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.777 * [taylor]: Taking taylor expansion of x in wj 0.777 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.777 * [taylor]: Taking taylor expansion of wj in wj 0.777 * [taylor]: Taking taylor expansion of wj in wj 0.778 * [taylor]: Taking taylor expansion of 1 in x 0.778 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 0.778 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.778 * [taylor]: Taking taylor expansion of 2 in x 0.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.778 * [taylor]: Taking taylor expansion of x in x 0.778 * [taylor]: Taking taylor expansion of 0 in x 0.778 * [taylor]: Taking taylor expansion of 0 in x 0.779 * [taylor]: Taking taylor expansion of 0 in x 0.779 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.779 * [approximate]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in (x wj) around 0 0.779 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in wj 0.779 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in wj 0.779 * [taylor]: Taking taylor expansion of x in wj 0.779 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.779 * [taylor]: Taking taylor expansion of wj in wj 0.779 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in wj 0.779 * [taylor]: Taking taylor expansion of 2 in wj 0.779 * [taylor]: Taking taylor expansion of (* wj x) in wj 0.780 * [taylor]: Taking taylor expansion of wj in wj 0.780 * [taylor]: Taking taylor expansion of x in wj 0.780 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 0.780 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.780 * [taylor]: Taking taylor expansion of wj in x 0.780 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 0.780 * [taylor]: Taking taylor expansion of 2 in x 0.780 * [taylor]: Taking taylor expansion of (* wj x) in x 0.780 * [taylor]: Taking taylor expansion of wj in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 0.780 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.780 * [taylor]: Taking taylor expansion of wj in x 0.780 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 0.780 * [taylor]: Taking taylor expansion of 2 in x 0.780 * [taylor]: Taking taylor expansion of (* wj x) in x 0.780 * [taylor]: Taking taylor expansion of wj in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.780 * [taylor]: Taking taylor expansion of wj in wj 0.780 * [taylor]: Taking taylor expansion of (- 1 (* 2 wj)) in wj 0.780 * [taylor]: Taking taylor expansion of 1 in wj 0.780 * [taylor]: Taking taylor expansion of (* 2 wj) in wj 0.780 * [taylor]: Taking taylor expansion of 2 in wj 0.780 * [taylor]: Taking taylor expansion of wj in wj 0.780 * [taylor]: Taking taylor expansion of 0 in wj 0.781 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in (x wj) around 0 0.781 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in wj 0.781 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in wj 0.781 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 0.781 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.781 * [taylor]: Taking taylor expansion of wj in wj 0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.781 * [taylor]: Taking taylor expansion of x in wj 0.781 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 0.781 * [taylor]: Taking taylor expansion of 2 in wj 0.781 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 0.781 * [taylor]: Taking taylor expansion of (* wj x) in wj 0.781 * [taylor]: Taking taylor expansion of wj in wj 0.781 * [taylor]: Taking taylor expansion of x in wj 0.781 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 0.781 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 0.781 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 0.781 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.781 * [taylor]: Taking taylor expansion of wj in x 0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 0.781 * [taylor]: Taking taylor expansion of 2 in x 0.781 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 0.781 * [taylor]: Taking taylor expansion of (* wj x) in x 0.781 * [taylor]: Taking taylor expansion of wj in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 0.782 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 0.782 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 0.782 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.782 * [taylor]: Taking taylor expansion of wj in x 0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 0.782 * [taylor]: Taking taylor expansion of 2 in x 0.782 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 0.782 * [taylor]: Taking taylor expansion of (* wj x) in x 0.782 * [taylor]: Taking taylor expansion of wj in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (- 1 (* 2 (/ 1 wj))) in wj 0.782 * [taylor]: Taking taylor expansion of 1 in wj 0.782 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 0.782 * [taylor]: Taking taylor expansion of 2 in wj 0.782 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.782 * [taylor]: Taking taylor expansion of wj in wj 0.782 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 0.782 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.782 * [taylor]: Taking taylor expansion of wj in wj 0.783 * [taylor]: Taking taylor expansion of 0 in wj 0.783 * [approximate]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in (x wj) around 0 0.784 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in wj 0.784 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 0.784 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.784 * [taylor]: Taking taylor expansion of wj in wj 0.784 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in wj 0.784 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 0.784 * [taylor]: Taking taylor expansion of 2 in wj 0.784 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 0.784 * [taylor]: Taking taylor expansion of (* wj x) in wj 0.784 * [taylor]: Taking taylor expansion of wj in wj 0.784 * [taylor]: Taking taylor expansion of x in wj 0.784 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.784 * [taylor]: Taking taylor expansion of x in wj 0.784 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 0.784 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.784 * [taylor]: Taking taylor expansion of wj in x 0.784 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 0.784 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 0.784 * [taylor]: Taking taylor expansion of 2 in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 0.784 * [taylor]: Taking taylor expansion of (* wj x) in x 0.784 * [taylor]: Taking taylor expansion of wj in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 0.784 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.784 * [taylor]: Taking taylor expansion of wj in x 0.784 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 0.784 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 0.784 * [taylor]: Taking taylor expansion of 2 in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 0.784 * [taylor]: Taking taylor expansion of (* wj x) in x 0.784 * [taylor]: Taking taylor expansion of wj in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.785 * [taylor]: Taking taylor expansion of x in x 0.785 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 wj)) 1)) in wj 0.785 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 wj)) 1) in wj 0.785 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 0.785 * [taylor]: Taking taylor expansion of 2 in wj 0.785 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.785 * [taylor]: Taking taylor expansion of wj in wj 0.785 * [taylor]: Taking taylor expansion of 1 in wj 0.785 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 0.785 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.785 * [taylor]: Taking taylor expansion of wj in wj 0.786 * [taylor]: Taking taylor expansion of 0 in wj 0.786 * * * [progress]: simplifying candidates 0.787 * [simplify]: Simplifying using # : (* wj (+ wj (* x -2))) (+ (log wj) (log (+ wj (* x -2)))) (log (* wj (+ wj (* x -2)))) (exp (* wj (+ wj (* x -2)))) (* (* (* wj wj) wj) (* (* (+ wj (* x -2)) (+ wj (* x -2))) (+ wj (* x -2)))) (* (cbrt (* wj (+ wj (* x -2)))) (cbrt (* wj (+ wj (* x -2))))) (cbrt (* wj (+ wj (* x -2)))) (* (* (* wj (+ wj (* x -2))) (* wj (+ wj (* x -2)))) (* wj (+ wj (* x -2)))) (sqrt (* wj (+ wj (* x -2)))) (sqrt (* wj (+ wj (* x -2)))) (* (sqrt wj) (sqrt (+ wj (* x -2)))) (* (sqrt wj) (sqrt (+ wj (* x -2)))) (* wj wj) (* wj (* x -2)) (* wj wj) (* (* x -2) wj) (* wj (* (cbrt (+ wj (* x -2))) (cbrt (+ wj (* x -2))))) (* wj (sqrt (+ wj (* x -2)))) (* wj 1) (* (cbrt wj) (+ wj (* x -2))) (* (sqrt wj) (+ wj (* x -2))) (* wj (+ wj (* x -2))) (* wj (+ (pow wj 3) (pow (* x -2) 3))) (* wj (- (* wj wj) (* (* x -2) (* x -2)))) (* (exp x) (exp (* wj (+ wj (* x -2))))) (log (+ x (* wj (+ wj (* x -2))))) (exp (+ x (* wj (+ wj (* x -2))))) (* (cbrt (+ x (* wj (+ wj (* x -2))))) (cbrt (+ x (* wj (+ wj (* x -2)))))) (cbrt (+ x (* wj (+ wj (* x -2))))) (* (* (+ x (* wj (+ wj (* x -2)))) (+ x (* wj (+ wj (* x -2))))) (+ x (* wj (+ wj (* x -2))))) (sqrt (+ x (* wj (+ wj (* x -2))))) (sqrt (+ x (* wj (+ wj (* x -2))))) (+ (pow x 3) (pow (* wj (+ wj (* x -2))) 3)) (+ (* x x) (- (* (* wj (+ wj (* x -2))) (* wj (+ wj (* x -2)))) (* x (* wj (+ wj (* x -2)))))) (- (* x x) (* (* wj (+ wj (* x -2))) (* wj (+ wj (* x -2))))) (- x (* wj (+ wj (* x -2)))) (+ x (* wj wj)) (+ x (* wj wj)) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ x (pow wj 2)) (* 2 (* wj x))) 0.838 * * [simplify]: iteration 0 : 4935 enodes (cost 405 ) 0.838 * * [simplify]: iteration 1 : 4935 enodes (cost 405 ) 0.840 * [simplify]: Simplified to: (* wj (+ wj (* x -2))) (log (* wj (+ wj (* x -2)))) (log (* wj (+ wj (* x -2)))) (pow (exp wj) (+ wj (* x -2))) (pow (* wj (+ wj (* x -2))) 3) (* (cbrt (* wj (+ wj (* x -2)))) (cbrt (* wj (+ wj (* x -2))))) (cbrt (* wj (+ wj (* x -2)))) (pow (* wj (+ wj (* x -2))) 3) (sqrt (* wj (+ wj (* x -2)))) (sqrt (* wj (+ wj (* x -2)))) (* (sqrt wj) (sqrt (+ wj (* x -2)))) (* (sqrt wj) (sqrt (+ wj (* x -2)))) (* wj wj) (* wj (* x -2)) (* wj wj) (* wj (* x -2)) (* wj (* (cbrt (+ wj (* x -2))) (cbrt (+ wj (* x -2))))) (* wj (sqrt (+ wj (* x -2)))) wj (* (+ wj (* x -2)) (cbrt wj)) (* (+ wj (* x -2)) (sqrt wj)) (* wj (+ wj (* x -2))) (+ (pow wj 4) (* wj (* (pow x 3) -8))) (+ (pow wj 3) (* wj (* x (* x -4)))) (exp (+ x (* wj (+ wj (* x -2))))) (log (+ x (* wj (+ wj (* x -2))))) (exp (+ x (* wj (+ wj (* x -2))))) (* (cbrt (+ x (* wj (+ wj (* x -2))))) (cbrt (+ x (* wj (+ wj (* x -2)))))) (cbrt (+ x (* wj (+ wj (* x -2))))) (pow (+ x (* wj (+ wj (* x -2)))) 3) (sqrt (+ x (* wj (+ wj (* x -2))))) (sqrt (+ x (* wj (+ wj (* x -2))))) (+ (pow (* wj (+ wj (* x -2))) 3) (pow x 3)) (+ (* x x) (* wj (* (+ wj (* x -2)) (- (* wj (+ wj (* x -2))) x)))) (+ (* x x) (* wj (* wj (* (+ wj (* x -2)) (- (* x 2) wj))))) (+ x (* wj (- (* x 2) wj))) (+ x (* wj wj)) (+ x (* wj wj)) (* wj (+ wj (* x -2))) (* wj (+ wj (* x -2))) (* wj (+ wj (* x -2))) (+ x (* wj (+ wj (* x -2)))) (+ x (* wj (+ wj (* x -2)))) (+ x (* wj (+ wj (* x -2)))) 0.840 * * * [progress]: adding candidates to table 0.885 * * [progress]: iteration 3 / 4 0.885 * * * [progress]: picking best candidate 0.905 * * * * [pick]: Picked # 0.905 * * * [progress]: localizing error 0.914 * * * [progress]: generating rewritten candidates 0.914 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.916 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 0.917 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 0.918 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.925 * * * [progress]: generating series expansions 0.925 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.925 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 0.925 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.925 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.925 * [taylor]: Taking taylor expansion of 1/3 in wj 0.925 * [taylor]: Taking taylor expansion of (log wj) in wj 0.925 * [taylor]: Taking taylor expansion of wj in wj 0.925 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.925 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.925 * [taylor]: Taking taylor expansion of 1/3 in wj 0.925 * [taylor]: Taking taylor expansion of (log wj) in wj 0.925 * [taylor]: Taking taylor expansion of wj in wj 0.932 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 0.932 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.932 * [taylor]: Taking taylor expansion of 1/3 in wj 0.932 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.932 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.932 * [taylor]: Taking taylor expansion of wj in wj 0.932 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.932 * [taylor]: Taking taylor expansion of 1/3 in wj 0.932 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.932 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.932 * [taylor]: Taking taylor expansion of wj in wj 0.939 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 0.939 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 0.939 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.939 * [taylor]: Taking taylor expansion of 1/3 in wj 0.939 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.939 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.939 * [taylor]: Taking taylor expansion of wj in wj 0.939 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 0.939 * [taylor]: Taking taylor expansion of -1 in wj 0.939 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 0.939 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.939 * [taylor]: Taking taylor expansion of 1/3 in wj 0.939 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.939 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.939 * [taylor]: Taking taylor expansion of wj in wj 0.939 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 0.939 * [taylor]: Taking taylor expansion of -1 in wj 0.948 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 0.948 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 0.948 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.948 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.948 * [taylor]: Taking taylor expansion of 1/3 in wj 0.948 * [taylor]: Taking taylor expansion of (log wj) in wj 0.948 * [taylor]: Taking taylor expansion of wj in wj 0.948 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.948 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.948 * [taylor]: Taking taylor expansion of 1/3 in wj 0.948 * [taylor]: Taking taylor expansion of (log wj) in wj 0.948 * [taylor]: Taking taylor expansion of wj in wj 0.957 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 0.957 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.957 * [taylor]: Taking taylor expansion of 1/3 in wj 0.957 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.957 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.957 * [taylor]: Taking taylor expansion of wj in wj 0.957 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.957 * [taylor]: Taking taylor expansion of 1/3 in wj 0.957 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.957 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.957 * [taylor]: Taking taylor expansion of wj in wj 0.964 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 0.964 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 0.964 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.964 * [taylor]: Taking taylor expansion of 1/3 in wj 0.964 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.964 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.964 * [taylor]: Taking taylor expansion of wj in wj 0.964 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 0.964 * [taylor]: Taking taylor expansion of -1 in wj 0.964 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 0.964 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.964 * [taylor]: Taking taylor expansion of 1/3 in wj 0.964 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.964 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.965 * [taylor]: Taking taylor expansion of wj in wj 0.965 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 0.965 * [taylor]: Taking taylor expansion of -1 in wj 0.973 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 0.973 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 0.973 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.973 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.973 * [taylor]: Taking taylor expansion of 1/3 in wj 0.973 * [taylor]: Taking taylor expansion of (log wj) in wj 0.973 * [taylor]: Taking taylor expansion of wj in wj 0.973 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 0.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 0.973 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 0.973 * [taylor]: Taking taylor expansion of 1/3 in wj 0.973 * [taylor]: Taking taylor expansion of (log wj) in wj 0.973 * [taylor]: Taking taylor expansion of wj in wj 0.979 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 0.979 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.979 * [taylor]: Taking taylor expansion of 1/3 in wj 0.979 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.979 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.979 * [taylor]: Taking taylor expansion of wj in wj 0.979 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.980 * [taylor]: Taking taylor expansion of 1/3 in wj 0.980 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.980 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.980 * [taylor]: Taking taylor expansion of wj in wj 0.986 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 0.986 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 0.986 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.986 * [taylor]: Taking taylor expansion of 1/3 in wj 0.986 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.986 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.986 * [taylor]: Taking taylor expansion of wj in wj 0.986 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 0.986 * [taylor]: Taking taylor expansion of -1 in wj 0.987 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 0.987 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 0.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 0.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 0.987 * [taylor]: Taking taylor expansion of 1/3 in wj 0.987 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 0.987 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.987 * [taylor]: Taking taylor expansion of wj in wj 0.987 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 0.987 * [taylor]: Taking taylor expansion of -1 in wj 0.995 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.995 * [approximate]: Taking taylor expansion of (pow (pow wj 2) 1/3) in (wj) around 0 0.995 * [taylor]: Taking taylor expansion of (pow (pow wj 2) 1/3) in wj 0.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow wj 2)))) in wj 0.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow wj 2))) in wj 0.995 * [taylor]: Taking taylor expansion of 1/3 in wj 0.995 * [taylor]: Taking taylor expansion of (log (pow wj 2)) in wj 0.995 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.995 * [taylor]: Taking taylor expansion of wj in wj 0.995 * [taylor]: Taking taylor expansion of (pow (pow wj 2) 1/3) in wj 0.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow wj 2)))) in wj 0.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow wj 2))) in wj 0.995 * [taylor]: Taking taylor expansion of 1/3 in wj 0.995 * [taylor]: Taking taylor expansion of (log (pow wj 2)) in wj 0.995 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.995 * [taylor]: Taking taylor expansion of wj in wj 1.002 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in (wj) around 0 1.002 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 1.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 1.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 1.002 * [taylor]: Taking taylor expansion of 1/3 in wj 1.002 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 1.002 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.002 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.002 * [taylor]: Taking taylor expansion of wj in wj 1.003 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 1.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 1.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 1.003 * [taylor]: Taking taylor expansion of 1/3 in wj 1.003 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 1.003 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.003 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.003 * [taylor]: Taking taylor expansion of wj in wj 1.010 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow wj 2)) 1/3) (pow (cbrt -1) 2)) in (wj) around 0 1.010 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow wj 2)) 1/3) (pow (cbrt -1) 2)) in wj 1.010 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 1.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 1.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 1.010 * [taylor]: Taking taylor expansion of 1/3 in wj 1.010 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 1.010 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.010 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.010 * [taylor]: Taking taylor expansion of wj in wj 1.010 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in wj 1.010 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.010 * [taylor]: Taking taylor expansion of -1 in wj 1.010 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow wj 2)) 1/3) (pow (cbrt -1) 2)) in wj 1.010 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow wj 2)) 1/3) in wj 1.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow wj 2))))) in wj 1.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow wj 2)))) in wj 1.010 * [taylor]: Taking taylor expansion of 1/3 in wj 1.010 * [taylor]: Taking taylor expansion of (log (/ 1 (pow wj 2))) in wj 1.010 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.010 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.010 * [taylor]: Taking taylor expansion of wj in wj 1.011 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in wj 1.011 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.011 * [taylor]: Taking taylor expansion of -1 in wj 1.020 * * * [progress]: simplifying candidates 1.021 * [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))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 wj)))))) (exp (* 1/3 (+ (log 1) (log wj)))) (exp (* 1/3 (- (log 1) (log (/ 1 wj))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 wj)))))) (exp (* 1/3 (+ (log 1) (log wj)))) (exp (* 1/3 (- (log 1) (log (/ 1 wj))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 wj)))))) (exp (* 1/3 (+ (log 1) (* 2 (log wj))))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 wj)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 wj))))))) 1.066 * * [simplify]: iteration 0 : 5165 enodes (cost 356 ) 1.069 * [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) (pow (cbrt (cbrt wj)) 2) (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) (pow (cbrt (cbrt wj)) 2) (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) (pow (cbrt (cbrt wj)) 2) (cbrt (cbrt wj)) wj (sqrt (cbrt wj)) (sqrt (cbrt wj)) 2/3 2 (* wj wj) (pow wj 2/3) 2 (* 2/3 (log wj)) (* 2/3 (log wj)) (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))) (pow (cbrt (cbrt wj)) 2) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) 1 (pow wj 2/3) (pow (cbrt (cbrt wj)) 4) (pow (cbrt (cbrt wj)) 2) (cbrt wj) (cbrt wj) 1 (pow wj 2/3) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt (sqrt wj)) (cbrt (sqrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (* (cbrt (sqrt wj)) (sqrt (cbrt wj))) (cbrt wj) (cbrt wj) 2/3 2 (* (cbrt wj) (cbrt (pow wj 2/3))) (* (cbrt wj) (cbrt (sqrt wj))) (cbrt wj) (pow (cbrt (cbrt wj)) 5) (pow (sqrt (cbrt wj)) 3) (cbrt wj) (pow (cbrt (cbrt wj)) 4) (* (cbrt wj) (cbrt (sqrt wj))) (pow wj 2/3) (pow (cbrt (cbrt wj)) 4) (pow (sqrt (cbrt wj)) 3) (pow wj 2/3) (cbrt wj) (cbrt wj) (* (cbrt -1) (cbrt (* wj -1))) (cbrt wj) (cbrt wj) (* (cbrt -1) (cbrt (* wj -1))) (cbrt wj) (cbrt wj) (* (cbrt -1) (cbrt (* wj -1))) (pow wj 2/3) (pow wj 2/3) (* (pow wj 2/3) (pow (cbrt -1) 2)) 1.069 * * * [progress]: adding candidates to table 1.144 * * [progress]: iteration 4 / 4 1.145 * * * [progress]: picking best candidate 1.171 * * * * [pick]: Picked # 1.171 * * * [progress]: localizing error 1.184 * * * [progress]: generating rewritten candidates 1.184 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 1.186 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1) 1.188 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 1.189 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 1.191 * * * [progress]: generating series expansions 1.191 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 1.191 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 1.191 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.191 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.191 * [taylor]: Taking taylor expansion of 1/3 in wj 1.191 * [taylor]: Taking taylor expansion of (log wj) in wj 1.191 * [taylor]: Taking taylor expansion of wj in wj 1.192 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.192 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.192 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.192 * [taylor]: Taking taylor expansion of 1/3 in wj 1.192 * [taylor]: Taking taylor expansion of (log wj) in wj 1.192 * [taylor]: Taking taylor expansion of wj in wj 1.200 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 1.200 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.200 * [taylor]: Taking taylor expansion of 1/3 in wj 1.200 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.200 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.200 * [taylor]: Taking taylor expansion of wj in wj 1.200 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.200 * [taylor]: Taking taylor expansion of 1/3 in wj 1.200 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.200 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.200 * [taylor]: Taking taylor expansion of wj in wj 1.207 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 1.207 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.207 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.207 * [taylor]: Taking taylor expansion of 1/3 in wj 1.207 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.207 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.207 * [taylor]: Taking taylor expansion of wj in wj 1.207 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.207 * [taylor]: Taking taylor expansion of -1 in wj 1.208 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.208 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.208 * [taylor]: Taking taylor expansion of 1/3 in wj 1.208 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.208 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.208 * [taylor]: Taking taylor expansion of wj in wj 1.208 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.208 * [taylor]: Taking taylor expansion of -1 in wj 1.216 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1) 1.216 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 1.216 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.216 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.216 * [taylor]: Taking taylor expansion of 1/3 in wj 1.216 * [taylor]: Taking taylor expansion of (log wj) in wj 1.216 * [taylor]: Taking taylor expansion of wj in wj 1.216 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.216 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.216 * [taylor]: Taking taylor expansion of 1/3 in wj 1.216 * [taylor]: Taking taylor expansion of (log wj) in wj 1.216 * [taylor]: Taking taylor expansion of wj in wj 1.223 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 1.223 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.223 * [taylor]: Taking taylor expansion of 1/3 in wj 1.223 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.223 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.223 * [taylor]: Taking taylor expansion of wj in wj 1.223 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.223 * [taylor]: Taking taylor expansion of 1/3 in wj 1.223 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.223 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.223 * [taylor]: Taking taylor expansion of wj in wj 1.230 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 1.230 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.230 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.230 * [taylor]: Taking taylor expansion of 1/3 in wj 1.230 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.230 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.230 * [taylor]: Taking taylor expansion of wj in wj 1.230 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.230 * [taylor]: Taking taylor expansion of -1 in wj 1.230 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.230 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.230 * [taylor]: Taking taylor expansion of 1/3 in wj 1.230 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.230 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.230 * [taylor]: Taking taylor expansion of wj in wj 1.231 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.231 * [taylor]: Taking taylor expansion of -1 in wj 1.238 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 1.239 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 1.239 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.239 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.239 * [taylor]: Taking taylor expansion of 1/3 in wj 1.239 * [taylor]: Taking taylor expansion of (log wj) in wj 1.239 * [taylor]: Taking taylor expansion of wj in wj 1.239 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.239 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.239 * [taylor]: Taking taylor expansion of 1/3 in wj 1.239 * [taylor]: Taking taylor expansion of (log wj) in wj 1.239 * [taylor]: Taking taylor expansion of wj in wj 1.245 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 1.245 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.245 * [taylor]: Taking taylor expansion of 1/3 in wj 1.245 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.245 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.245 * [taylor]: Taking taylor expansion of wj in wj 1.245 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.245 * [taylor]: Taking taylor expansion of 1/3 in wj 1.245 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.245 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.245 * [taylor]: Taking taylor expansion of wj in wj 1.252 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 1.252 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.252 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.252 * [taylor]: Taking taylor expansion of 1/3 in wj 1.252 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.252 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.252 * [taylor]: Taking taylor expansion of wj in wj 1.252 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.252 * [taylor]: Taking taylor expansion of -1 in wj 1.253 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.253 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.253 * [taylor]: Taking taylor expansion of 1/3 in wj 1.253 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.253 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.253 * [taylor]: Taking taylor expansion of wj in wj 1.253 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.253 * [taylor]: Taking taylor expansion of -1 in wj 1.261 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 1.261 * [approximate]: Taking taylor expansion of (pow wj 1/3) in (wj) around 0 1.261 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.261 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.261 * [taylor]: Taking taylor expansion of 1/3 in wj 1.261 * [taylor]: Taking taylor expansion of (log wj) in wj 1.261 * [taylor]: Taking taylor expansion of wj in wj 1.261 * [taylor]: Taking taylor expansion of (pow wj 1/3) in wj 1.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log wj))) in wj 1.261 * [taylor]: Taking taylor expansion of (* 1/3 (log wj)) in wj 1.261 * [taylor]: Taking taylor expansion of 1/3 in wj 1.261 * [taylor]: Taking taylor expansion of (log wj) in wj 1.261 * [taylor]: Taking taylor expansion of wj in wj 1.267 * [approximate]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in (wj) around 0 1.268 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.268 * [taylor]: Taking taylor expansion of 1/3 in wj 1.268 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.268 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.268 * [taylor]: Taking taylor expansion of wj in wj 1.268 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.268 * [taylor]: Taking taylor expansion of 1/3 in wj 1.268 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.268 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.268 * [taylor]: Taking taylor expansion of wj in wj 1.275 * [approximate]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in (wj) around 0 1.275 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.275 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.275 * [taylor]: Taking taylor expansion of 1/3 in wj 1.275 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.275 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.275 * [taylor]: Taking taylor expansion of wj in wj 1.275 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.275 * [taylor]: Taking taylor expansion of -1 in wj 1.275 * [taylor]: Taking taylor expansion of (* (pow (/ 1 wj) 1/3) (cbrt -1)) in wj 1.275 * [taylor]: Taking taylor expansion of (pow (/ 1 wj) 1/3) in wj 1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 wj)))) in wj 1.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 wj))) in wj 1.275 * [taylor]: Taking taylor expansion of 1/3 in wj 1.275 * [taylor]: Taking taylor expansion of (log (/ 1 wj)) in wj 1.275 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.275 * [taylor]: Taking taylor expansion of wj in wj 1.276 * [taylor]: Taking taylor expansion of (cbrt -1) in wj 1.276 * [taylor]: Taking taylor expansion of -1 in wj 1.285 * * * [progress]: simplifying candidates 1.286 * [simplify]: Simplifying using # : (log (* (cbrt (exp (cbrt wj))) (cbrt (exp (cbrt wj))))) (log (cbrt (exp (cbrt wj)))) (log (sqrt (exp (cbrt wj)))) (log (sqrt (exp (cbrt wj)))) (log 1) (log (exp (cbrt wj))) (log (exp (cbrt wj))) (log (exp (cbrt (* (cbrt wj) (cbrt wj))))) (log (exp (cbrt (sqrt wj)))) (log (exp (cbrt 1))) (log (exp (* (cbrt (cbrt wj)) (cbrt (cbrt wj))))) (log (exp (sqrt (cbrt wj)))) (log (exp 1)) (log (log (exp (cbrt wj)))) (exp (log (exp (cbrt wj)))) (* (cbrt (log (exp (cbrt wj)))) (cbrt (log (exp (cbrt wj))))) (cbrt (log (exp (cbrt wj)))) (* (* (log (exp (cbrt wj))) (log (exp (cbrt wj)))) (log (exp (cbrt wj)))) (sqrt (log (exp (cbrt wj)))) (sqrt (log (exp (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)) (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)) (exp (* 1/3 (+ (log 1) (log wj)))) (exp (* 1/3 (- (log 1) (log (/ 1 wj))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 wj)))))) (exp (* 1/3 (+ (log 1) (log wj)))) (exp (* 1/3 (- (log 1) (log (/ 1 wj))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 wj)))))) (exp (* 1/3 (+ (log 1) (log wj)))) (exp (* 1/3 (- (log 1) (log (/ 1 wj))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 wj)))))) (exp (* 1/3 (+ (log 1) (log wj)))) (exp (* 1/3 (- (log 1) (log (/ 1 wj))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 wj)))))) 1.331 * * [simplify]: iteration 0 : 5610 enodes (cost 231 ) 1.334 * [simplify]: Simplified to: (* (log (cbrt (exp (cbrt wj)))) 2) (log (cbrt (exp (cbrt wj)))) (log (sqrt (exp (cbrt wj)))) (log (sqrt (exp (cbrt wj)))) (log 1) (cbrt wj) (cbrt wj) (cbrt (pow wj 2/3)) (cbrt (sqrt wj)) 1 (* (cbrt (cbrt wj)) (cbrt (cbrt wj))) (sqrt (cbrt wj)) 1 (log (cbrt wj)) (exp (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)) (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)) (cbrt wj) (cbrt wj) (* (cbrt -1) (cbrt (* wj -1))) (cbrt wj) (cbrt wj) (* (cbrt -1) (cbrt (* wj -1))) (cbrt wj) (cbrt wj) (* (cbrt -1) (cbrt (* wj -1))) (cbrt wj) (cbrt wj) (* (cbrt -1) (cbrt (* wj -1))) 1.334 * * * [progress]: adding candidates to table 1.395 * [progress]: [Phase 3 of 3] Extracting. 1.396 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 1.398 * * * [regime-changes]: Trying 3 branch expressions: ((- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) x wj) 1.398 * * * * [regimes]: Trying to branch on (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) from (# # # # # # # # # # #) 1.471 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 1.540 * * * * [regimes]: Trying to branch on wj from (# # # # # # # # # # #) 1.611 * * * [regime]: Found split indices: #