86.365 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.382 * * * [progress]: [2/2] Setting up program. 0.385 * [progress]: [Phase 2 of 3] Improving. 0.385 * [simplify]: Simplifying using # : (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) 0.388 * * [simplify]: iteration 0 : 20 enodes (cost 9 ) 0.389 * * [simplify]: iteration 1 : 48 enodes (cost 9 ) 0.390 * * [simplify]: iteration 2 : 107 enodes (cost 9 ) 0.392 * * [simplify]: iteration 3 : 224 enodes (cost 8 ) 0.398 * * [simplify]: iteration 4 : 1514 enodes (cost 8 ) 0.434 * * [simplify]: iteration 5 : 5002 enodes (cost 8 ) 0.434 * [simplify]: Simplified to: (- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1))) 0.438 * * [progress]: iteration 1 / 4 0.438 * * * [progress]: picking best candidate 0.443 * * * * [pick]: Picked # 0.443 * * * [progress]: localizing error 0.451 * * * [progress]: generating rewritten candidates 0.451 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.466 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.476 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.480 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 0.487 * * * [progress]: generating series expansions 0.487 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.487 * [approximate]: Taking taylor expansion of (- (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) in (wj x) around 0 0.487 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) in x 0.487 * [taylor]: Taking taylor expansion of (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) in x 0.487 * [taylor]: Taking taylor expansion of wj in x 0.487 * [taylor]: Taking taylor expansion of (/ x (+ (exp wj) (* wj (exp wj)))) in x 0.487 * [taylor]: Taking taylor expansion of x in x 0.487 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in x 0.487 * [taylor]: Taking taylor expansion of (exp wj) in x 0.487 * [taylor]: Taking taylor expansion of wj in x 0.487 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.487 * [taylor]: Taking taylor expansion of wj in x 0.487 * [taylor]: Taking taylor expansion of (exp wj) in x 0.487 * [taylor]: Taking taylor expansion of wj in x 0.487 * [taylor]: Taking taylor expansion of (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))) in x 0.487 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.487 * [taylor]: Taking taylor expansion of wj in x 0.487 * [taylor]: Taking taylor expansion of (exp wj) in x 0.487 * [taylor]: Taking taylor expansion of wj in x 0.487 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in x 0.487 * [taylor]: Taking taylor expansion of (exp wj) in x 0.487 * [taylor]: Taking taylor expansion of wj in x 0.488 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.488 * [taylor]: Taking taylor expansion of wj in x 0.488 * [taylor]: Taking taylor expansion of (exp wj) in x 0.488 * [taylor]: Taking taylor expansion of wj in x 0.488 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) in wj 0.488 * [taylor]: Taking taylor expansion of (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (/ x (+ (exp wj) (* wj (exp wj)))) in wj 0.488 * [taylor]: Taking taylor expansion of x in wj 0.488 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.488 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))) in wj 0.488 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.488 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) in wj 0.488 * [taylor]: Taking taylor expansion of (+ wj (/ x (+ (exp wj) (* wj (exp wj))))) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (/ x (+ (exp wj) (* wj (exp wj)))) in wj 0.488 * [taylor]: Taking taylor expansion of x in wj 0.488 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.488 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.488 * [taylor]: Taking taylor expansion of wj in wj 0.488 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.489 * [taylor]: Taking taylor expansion of wj in wj 0.489 * [taylor]: Taking taylor expansion of (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))) in wj 0.489 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.489 * [taylor]: Taking taylor expansion of wj in wj 0.489 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.489 * [taylor]: Taking taylor expansion of wj in wj 0.489 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.489 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.489 * [taylor]: Taking taylor expansion of wj in wj 0.489 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.489 * [taylor]: Taking taylor expansion of wj in wj 0.489 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.489 * [taylor]: Taking taylor expansion of wj in wj 0.489 * [taylor]: Taking taylor expansion of x in x 0.489 * [taylor]: Taking taylor expansion of (neg (* 2 x)) in x 0.489 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.489 * [taylor]: Taking taylor expansion of 2 in x 0.489 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of (+ (* 5/2 x) 1) in x 0.490 * [taylor]: Taking taylor expansion of (* 5/2 x) in x 0.490 * [taylor]: Taking taylor expansion of 5/2 in x 0.490 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of 1 in x 0.491 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))))) in (wj x) around 0 0.491 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))))) in x 0.491 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) in x 0.491 * [taylor]: Taking taylor expansion of (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x) in x 0.491 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in x 0.491 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.491 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.491 * [taylor]: Taking taylor expansion of wj in x 0.491 * [taylor]: Taking taylor expansion of wj in x 0.491 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.491 * [taylor]: Taking taylor expansion of wj in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.492 * [taylor]: Taking taylor expansion of wj in x 0.492 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))))) in x 0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.492 * [taylor]: Taking taylor expansion of wj in x 0.492 * [taylor]: Taking taylor expansion of (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in x 0.492 * [taylor]: Taking taylor expansion of wj in x 0.492 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in x 0.492 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.492 * [taylor]: Taking taylor expansion of wj in x 0.492 * [taylor]: Taking taylor expansion of wj in x 0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.492 * [taylor]: Taking taylor expansion of wj in x 0.492 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))))) in wj 0.492 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) in wj 0.492 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) in wj 0.492 * [taylor]: Taking taylor expansion of (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x) in wj 0.492 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.492 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.492 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.492 * [taylor]: Taking taylor expansion of wj in wj 0.492 * [taylor]: Taking taylor expansion of wj in wj 0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.492 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.493 * [taylor]: Taking taylor expansion of wj in wj 0.493 * [taylor]: Taking taylor expansion of x in wj 0.493 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.493 * [taylor]: Taking taylor expansion of wj in wj 0.493 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))))) in wj 0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.493 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.493 * [taylor]: Taking taylor expansion of wj in wj 0.493 * [taylor]: Taking taylor expansion of (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in wj 0.493 * [taylor]: Taking taylor expansion of wj in wj 0.493 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.493 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.493 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.493 * [taylor]: Taking taylor expansion of wj in wj 0.493 * [taylor]: Taking taylor expansion of wj in wj 0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.493 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.493 * [taylor]: Taking taylor expansion of wj in wj 0.493 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))))) in wj 0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) (/ 1 wj)) in wj 0.493 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x)) in wj 0.493 * [taylor]: Taking taylor expansion of (* (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) x) in wj 0.493 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.493 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.493 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.493 * [taylor]: Taking taylor expansion of wj in wj 0.494 * [taylor]: Taking taylor expansion of wj in wj 0.494 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.494 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.494 * [taylor]: Taking taylor expansion of wj in wj 0.494 * [taylor]: Taking taylor expansion of x in wj 0.494 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.494 * [taylor]: Taking taylor expansion of wj in wj 0.494 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))))) in wj 0.494 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.494 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.494 * [taylor]: Taking taylor expansion of wj in wj 0.494 * [taylor]: Taking taylor expansion of (* wj (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in wj 0.494 * [taylor]: Taking taylor expansion of wj in wj 0.494 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.494 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.494 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.494 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.494 * [taylor]: Taking taylor expansion of wj in wj 0.494 * [taylor]: Taking taylor expansion of wj in wj 0.494 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.494 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.494 * [taylor]: Taking taylor expansion of wj in wj 0.494 * [taylor]: Taking taylor expansion of 1 in x 0.495 * [taylor]: Taking taylor expansion of (neg 1) in x 0.495 * [taylor]: Taking taylor expansion of 1 in x 0.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.495 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.495 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.495 * [taylor]: Taking taylor expansion of x in x 0.495 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.495 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.495 * [taylor]: Taking taylor expansion of wj in x 0.495 * [taylor]: Taking taylor expansion of 1 in x 0.496 * [approximate]: Taking taylor expansion of (- (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)))) in (wj x) around 0 0.496 * [taylor]: Taking taylor expansion of (- (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)))) in x 0.496 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) in x 0.496 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.496 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.496 * [taylor]: Taking taylor expansion of -1 in x 0.496 * [taylor]: Taking taylor expansion of wj in x 0.496 * [taylor]: Taking taylor expansion of (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in x 0.496 * [taylor]: Taking taylor expansion of wj in x 0.496 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in x 0.496 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.496 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.496 * [taylor]: Taking taylor expansion of -1 in x 0.496 * [taylor]: Taking taylor expansion of wj in x 0.496 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.496 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.496 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.496 * [taylor]: Taking taylor expansion of -1 in x 0.496 * [taylor]: Taking taylor expansion of wj in x 0.496 * [taylor]: Taking taylor expansion of wj in x 0.497 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x))) in x 0.497 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.497 * [taylor]: Taking taylor expansion of wj in x 0.497 * [taylor]: Taking taylor expansion of (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)) in x 0.497 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x) in x 0.497 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in x 0.497 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.497 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.497 * [taylor]: Taking taylor expansion of -1 in x 0.497 * [taylor]: Taking taylor expansion of wj in x 0.497 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.497 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.497 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.497 * [taylor]: Taking taylor expansion of -1 in x 0.497 * [taylor]: Taking taylor expansion of wj in x 0.497 * [taylor]: Taking taylor expansion of wj in x 0.497 * [taylor]: Taking taylor expansion of x in x 0.498 * [taylor]: Taking taylor expansion of (- (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)))) in wj 0.498 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) in wj 0.498 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.498 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.498 * [taylor]: Taking taylor expansion of -1 in wj 0.498 * [taylor]: Taking taylor expansion of wj in wj 0.498 * [taylor]: Taking taylor expansion of (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in wj 0.498 * [taylor]: Taking taylor expansion of wj in wj 0.498 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.498 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.498 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.498 * [taylor]: Taking taylor expansion of -1 in wj 0.498 * [taylor]: Taking taylor expansion of wj in wj 0.498 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.498 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.498 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.498 * [taylor]: Taking taylor expansion of -1 in wj 0.498 * [taylor]: Taking taylor expansion of wj in wj 0.498 * [taylor]: Taking taylor expansion of wj in wj 0.499 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x))) in wj 0.499 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.499 * [taylor]: Taking taylor expansion of wj in wj 0.499 * [taylor]: Taking taylor expansion of (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)) in wj 0.499 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x) in wj 0.499 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.499 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.499 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.499 * [taylor]: Taking taylor expansion of -1 in wj 0.499 * [taylor]: Taking taylor expansion of wj in wj 0.499 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.499 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.499 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.499 * [taylor]: Taking taylor expansion of -1 in wj 0.499 * [taylor]: Taking taylor expansion of wj in wj 0.499 * [taylor]: Taking taylor expansion of wj in wj 0.499 * [taylor]: Taking taylor expansion of x in wj 0.499 * [taylor]: Taking taylor expansion of (- (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)))) in wj 0.499 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)))) in wj 0.499 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.499 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.499 * [taylor]: Taking taylor expansion of -1 in wj 0.499 * [taylor]: Taking taylor expansion of wj in wj 0.499 * [taylor]: Taking taylor expansion of (* wj (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in wj 0.499 * [taylor]: Taking taylor expansion of wj in wj 0.499 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.499 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.499 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.499 * [taylor]: Taking taylor expansion of -1 in wj 0.499 * [taylor]: Taking taylor expansion of wj in wj 0.499 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.499 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.499 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.499 * [taylor]: Taking taylor expansion of -1 in wj 0.499 * [taylor]: Taking taylor expansion of wj in wj 0.500 * [taylor]: Taking taylor expansion of wj in wj 0.500 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x))) in wj 0.500 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.500 * [taylor]: Taking taylor expansion of wj in wj 0.500 * [taylor]: Taking taylor expansion of (/ 1 (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x)) in wj 0.500 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) x) in wj 0.500 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.500 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.500 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.500 * [taylor]: Taking taylor expansion of -1 in wj 0.500 * [taylor]: Taking taylor expansion of wj in wj 0.500 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.500 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.500 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.500 * [taylor]: Taking taylor expansion of -1 in wj 0.500 * [taylor]: Taking taylor expansion of wj in wj 0.500 * [taylor]: Taking taylor expansion of wj in wj 0.500 * [taylor]: Taking taylor expansion of x in wj 0.500 * [taylor]: Taking taylor expansion of (neg 1) in x 0.501 * [taylor]: Taking taylor expansion of 1 in x 0.501 * [taylor]: Taking taylor expansion of (neg 1) in x 0.501 * [taylor]: Taking taylor expansion of 1 in x 0.501 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ -1 wj)))) 1) in x 0.501 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.501 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.501 * [taylor]: Taking taylor expansion of x in x 0.501 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.501 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.501 * [taylor]: Taking taylor expansion of -1 in x 0.501 * [taylor]: Taking taylor expansion of wj in x 0.501 * [taylor]: Taking taylor expansion of 1 in x 0.502 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.502 * [approximate]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) in (wj x) around 0 0.502 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) in x 0.502 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in x 0.502 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.502 * [taylor]: Taking taylor expansion of wj in x 0.502 * [taylor]: Taking taylor expansion of (exp wj) in x 0.502 * [taylor]: Taking taylor expansion of wj in x 0.502 * [taylor]: Taking taylor expansion of x in x 0.502 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in x 0.502 * [taylor]: Taking taylor expansion of (exp wj) in x 0.502 * [taylor]: Taking taylor expansion of wj in x 0.502 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.502 * [taylor]: Taking taylor expansion of wj in x 0.502 * [taylor]: Taking taylor expansion of (exp wj) in x 0.502 * [taylor]: Taking taylor expansion of wj in x 0.502 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) in wj 0.502 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in wj 0.502 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of x in wj 0.503 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.503 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) in wj 0.503 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in wj 0.503 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of x in wj 0.503 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.503 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.503 * [taylor]: Taking taylor expansion of wj in wj 0.503 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.503 * [taylor]: Taking taylor expansion of -1 in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of (+ (* 2 x) 1) in x 0.503 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.503 * [taylor]: Taking taylor expansion of 2 in x 0.504 * [taylor]: Taking taylor expansion of x in x 0.504 * [taylor]: Taking taylor expansion of 1 in x 0.504 * [taylor]: Taking taylor expansion of (neg (+ (* 5/2 x) 1)) in x 0.504 * [taylor]: Taking taylor expansion of (+ (* 5/2 x) 1) in x 0.504 * [taylor]: Taking taylor expansion of (* 5/2 x) in x 0.504 * [taylor]: Taking taylor expansion of 5/2 in x 0.504 * [taylor]: Taking taylor expansion of x in x 0.504 * [taylor]: Taking taylor expansion of 1 in x 0.505 * [approximate]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in (wj x) around 0 0.505 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in x 0.505 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in x 0.505 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.505 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.505 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.505 * [taylor]: Taking taylor expansion of wj in x 0.505 * [taylor]: Taking taylor expansion of wj in x 0.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.505 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in x 0.505 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.505 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.505 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.505 * [taylor]: Taking taylor expansion of wj in x 0.505 * [taylor]: Taking taylor expansion of wj in x 0.505 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.505 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.505 * [taylor]: Taking taylor expansion of wj in x 0.505 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in wj 0.505 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in wj 0.505 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.505 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.505 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.505 * [taylor]: Taking taylor expansion of wj in wj 0.505 * [taylor]: Taking taylor expansion of wj in wj 0.505 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.505 * [taylor]: Taking taylor expansion of x in wj 0.506 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.506 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.506 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.506 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.506 * [taylor]: Taking taylor expansion of wj in wj 0.506 * [taylor]: Taking taylor expansion of wj in wj 0.506 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.506 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.506 * [taylor]: Taking taylor expansion of wj in wj 0.506 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj)))) in wj 0.506 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in wj 0.506 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.506 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.506 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.506 * [taylor]: Taking taylor expansion of wj in wj 0.506 * [taylor]: Taking taylor expansion of wj in wj 0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.506 * [taylor]: Taking taylor expansion of x in wj 0.506 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.506 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.506 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.506 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.506 * [taylor]: Taking taylor expansion of wj in wj 0.506 * [taylor]: Taking taylor expansion of wj in wj 0.506 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.506 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.506 * [taylor]: Taking taylor expansion of wj in wj 0.507 * [taylor]: Taking taylor expansion of 1 in x 0.507 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x (exp (/ 1 wj)))) 1)) in x 0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.507 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.507 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.507 * [taylor]: Taking taylor expansion of x in x 0.507 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.507 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.507 * [taylor]: Taking taylor expansion of wj in x 0.507 * [taylor]: Taking taylor expansion of 1 in x 0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.508 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.508 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.508 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.508 * [taylor]: Taking taylor expansion of wj in x 0.508 * [taylor]: Taking taylor expansion of 1 in x 0.509 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in (wj x) around 0 0.509 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in x 0.509 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in x 0.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.509 * [taylor]: Taking taylor expansion of x in x 0.509 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.509 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.509 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.509 * [taylor]: Taking taylor expansion of -1 in x 0.509 * [taylor]: Taking taylor expansion of wj in x 0.509 * [taylor]: Taking taylor expansion of wj in x 0.509 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in x 0.509 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.509 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.509 * [taylor]: Taking taylor expansion of -1 in x 0.509 * [taylor]: Taking taylor expansion of wj in x 0.510 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.510 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.510 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.510 * [taylor]: Taking taylor expansion of -1 in x 0.510 * [taylor]: Taking taylor expansion of wj in x 0.510 * [taylor]: Taking taylor expansion of wj in x 0.510 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in wj 0.510 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in wj 0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.510 * [taylor]: Taking taylor expansion of x in wj 0.510 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.510 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.510 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.510 * [taylor]: Taking taylor expansion of -1 in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.510 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.510 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.510 * [taylor]: Taking taylor expansion of -1 in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.510 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.510 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.510 * [taylor]: Taking taylor expansion of -1 in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.510 * [taylor]: Taking taylor expansion of wj in wj 0.511 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj))) in wj 0.511 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in wj 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.511 * [taylor]: Taking taylor expansion of x in wj 0.511 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.511 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.511 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.511 * [taylor]: Taking taylor expansion of -1 in wj 0.511 * [taylor]: Taking taylor expansion of wj in wj 0.511 * [taylor]: Taking taylor expansion of wj in wj 0.511 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in wj 0.511 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.511 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.511 * [taylor]: Taking taylor expansion of -1 in wj 0.511 * [taylor]: Taking taylor expansion of wj in wj 0.511 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.511 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.511 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.511 * [taylor]: Taking taylor expansion of -1 in wj 0.511 * [taylor]: Taking taylor expansion of wj in wj 0.511 * [taylor]: Taking taylor expansion of wj in wj 0.511 * [taylor]: Taking taylor expansion of 1 in x 0.512 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x (exp (/ -1 wj))))) in x 0.512 * [taylor]: Taking taylor expansion of 1 in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.512 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.512 * [taylor]: Taking taylor expansion of x 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 -1 in x 0.512 * [taylor]: Taking taylor expansion of wj in x 0.513 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x (exp (/ -1 wj))))) in x 0.513 * [taylor]: Taking taylor expansion of 1 in x 0.513 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.513 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.513 * [taylor]: Taking taylor expansion of x in x 0.513 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.513 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.513 * [taylor]: Taking taylor expansion of -1 in x 0.513 * [taylor]: Taking taylor expansion of wj in x 0.514 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 0.514 * [approximate]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in (wj) around 0 0.514 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.514 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of (+ (exp wj) (* wj (exp wj))) in wj 0.514 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.514 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.514 * [taylor]: Taking taylor expansion of wj in wj 0.515 * [approximate]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in (wj) around 0 0.515 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.515 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.515 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.515 * [taylor]: Taking taylor expansion of wj in wj 0.515 * [taylor]: Taking taylor expansion of wj in wj 0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.515 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.515 * [taylor]: Taking taylor expansion of wj in wj 0.515 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 wj)) wj) (exp (/ 1 wj))) in wj 0.515 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.515 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.515 * [taylor]: Taking taylor expansion of wj in wj 0.516 * [taylor]: Taking taylor expansion of wj in wj 0.516 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.516 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.516 * [taylor]: Taking taylor expansion of wj in wj 0.517 * [approximate]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) in (wj) around 0 0.517 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) 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 (/ (exp (/ -1 wj)) wj) 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 wj in wj 0.517 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ (exp (/ -1 wj)) wj)) 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 (/ (exp (/ -1 wj)) wj) 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 wj in wj 0.519 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 0.519 * [approximate]: Taking taylor expansion of (* wj (exp wj)) in (wj) around 0 0.519 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.519 * [taylor]: Taking taylor expansion of wj in wj 0.519 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.519 * [taylor]: Taking taylor expansion of wj in wj 0.519 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.519 * [taylor]: Taking taylor expansion of wj in wj 0.519 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.519 * [taylor]: Taking taylor expansion of wj in wj 0.520 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in (wj) around 0 0.520 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.520 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.520 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.520 * [taylor]: Taking taylor expansion of wj in wj 0.520 * [taylor]: Taking taylor expansion of wj in wj 0.520 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.520 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.520 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.520 * [taylor]: Taking taylor expansion of wj in wj 0.520 * [taylor]: Taking taylor expansion of wj in wj 0.521 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ -1 wj)) wj)) in (wj) around 0 0.521 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 wj)) wj)) in wj 0.521 * [taylor]: Taking taylor expansion of -1 in wj 0.521 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) 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 -1 in wj 0.521 * [taylor]: Taking taylor expansion of wj in wj 0.521 * [taylor]: Taking taylor expansion of wj in wj 0.521 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 wj)) wj)) in wj 0.521 * [taylor]: Taking taylor expansion of -1 in wj 0.521 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) 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 -1 in wj 0.521 * [taylor]: Taking taylor expansion of wj in wj 0.521 * [taylor]: Taking taylor expansion of wj in wj 0.522 * * * [progress]: simplifying candidates 0.524 * [simplify]: Simplifying using # : (/ (exp wj) (exp (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (log (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (exp (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (* (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))) (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (* (* (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (sqrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (sqrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- (pow wj 3) (pow (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) 3)) (+ (* wj wj) (+ (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (* wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))) (neg (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- (* wj wj) (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (+ (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (+ (sqrt wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj)))))) (- (sqrt wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj)))))) (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) (neg (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- (log (- (* wj (exp wj)) x)) (log (+ (exp wj) (* wj (exp wj))))) (log (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (exp (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (/ (* (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (- (* wj (exp wj)) x)) (* (* (+ (exp wj) (* wj (exp wj))) (+ (exp wj) (* wj (exp wj)))) (+ (exp wj) (* wj (exp wj))))) (* (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (* (* (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (neg (- (* wj (exp wj)) x)) (neg (+ (exp wj) (* wj (exp wj)))) (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))) (/ x (+ (exp wj) (* wj (exp wj)))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) (/ (cbrt (- (* wj (exp wj)) x)) (+ (exp wj) (* wj (exp wj)))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (exp wj)) (/ (cbrt (- (* wj (exp wj)) x)) (+ 1 wj)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (+ wj 1)) (/ (cbrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) 1) (/ (sqrt (- (* wj (exp wj)) x)) (+ (exp wj) (* wj (exp wj)))) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (+ 1 wj)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ 1 (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ 1 (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ 1 1) (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (/ 1 (exp wj)) (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (+ wj 1)) (/ (- (* wj (exp wj)) x) (exp wj)) (/ 1 (+ (exp wj) (* wj (exp wj)))) (/ (+ (exp wj) (* wj (exp wj))) (- (* wj (exp wj)) x)) (/ (- (* wj (exp wj)) x) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) 1) (/ (- (* wj (exp wj)) x) (exp wj)) (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ (+ (exp wj) (* wj (exp wj))) (cbrt (- (* wj (exp wj)) x))) (/ (+ (exp wj) (* wj (exp wj))) (sqrt (- (* wj (exp wj)) x))) (/ (+ (exp wj) (* wj (exp wj))) (- (* wj (exp wj)) x)) (/ (- (* wj (exp wj)) x) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (* (+ (exp wj) (* wj (exp wj))) (+ (* (* wj (exp wj)) (* wj (exp wj))) (+ (* x x) (* (* wj (exp wj)) x)))) (* (+ (exp wj) (* wj (exp wj))) (+ (* wj (exp wj)) x)) (* (exp (exp wj)) (exp (* wj (exp wj)))) (log (+ (exp wj) (* wj (exp wj)))) (exp (+ (exp wj) (* wj (exp wj)))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))) (cbrt (+ (exp wj) (* wj (exp wj)))) (* (* (+ (exp wj) (* wj (exp wj))) (+ (exp wj) (* wj (exp wj)))) (+ (exp wj) (* wj (exp wj)))) (sqrt (+ (exp wj) (* wj (exp wj)))) (sqrt (+ (exp wj) (* wj (exp wj)))) (+ (pow (exp wj) 3) (pow (* wj (exp wj)) 3)) (+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj))))) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))) (- (exp wj) (* wj (exp wj))) (+ 1 wj) (+ wj 1) (* wj (exp wj)) (+ (log wj) wj) (log (* wj (exp wj))) (exp (* wj (exp wj))) (* (* (* wj wj) wj) (* (* (exp wj) (exp wj)) (exp wj))) (* (cbrt (* wj (exp wj))) (cbrt (* wj (exp wj)))) (cbrt (* wj (exp wj))) (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj))) (sqrt (* wj (exp wj))) (sqrt (* wj (exp wj))) (* (sqrt wj) (sqrt (exp wj))) (* (sqrt wj) (sqrt (exp wj))) (* wj (* (cbrt (exp wj)) (cbrt (exp wj)))) (* wj (sqrt (exp wj))) (* wj 1) (* (cbrt wj) (exp wj)) (* (sqrt wj) (exp wj)) (* wj (exp wj)) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- wj (+ x (pow wj 2))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (+ (* 2 wj) (+ (* 3/2 (pow wj 2)) 1)) (+ (exp wj) (* wj (exp wj))) (+ (exp wj) (* wj (exp wj))) (+ wj (+ (pow wj 2) (* 1/2 (pow wj 3)))) (* wj (exp wj)) (* wj (exp wj)) 0.531 * * [simplify]: iteration 0 : 394 enodes (cost 942 ) 0.539 * * [simplify]: iteration 1 : 1478 enodes (cost 877 ) 0.574 * * [simplify]: iteration 2 : 5001 enodes (cost 855 ) 0.578 * [simplify]: Simplified to: (exp (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (log (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (exp (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (* (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))) (cbrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (pow (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) 3) (sqrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (sqrt (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- (pow wj 3) (pow (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) 3)) (+ (/ (* (- (* wj (exp wj)) x) (+ wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (* (+ wj 1) (exp wj))) (pow wj 2)) (neg (/ (- (* wj (exp wj)) x) (* (+ wj 1) (exp wj)))) (- (pow wj 2) (/ (/ (/ (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (* (+ wj 1) (exp wj))) (+ 1 wj)) (exp wj))) (+ wj (/ (/ (- (* wj (exp wj)) x) (+ 1 wj)) (exp wj))) (+ (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (- (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (+ (sqrt wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj)))))) (- (sqrt wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj)))))) (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- wj (/ wj (/ (* (+ wj 1) (exp wj)) (exp wj)))) (neg (/ (- (* wj (exp wj)) x) (* (+ wj 1) (exp wj)))) (- (log (/ (- (* wj (exp wj)) x) (+ wj 1))) wj) (- (log (/ (- (* wj (exp wj)) x) (+ wj 1))) wj) (exp (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (pow (/ (/ (- (* wj (exp wj)) x) (+ 1 wj)) (exp wj)) 3) (* (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))) (cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (pow (/ (/ (- (* wj (exp wj)) x) (+ 1 wj)) (exp wj)) 3) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (neg (- (* wj (exp wj)) x)) (* (neg (+ 1 wj)) (exp wj)) (/ wj (+ 1 wj)) (/ (/ x (+ wj 1)) (exp wj)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ 1 wj)) (exp wj)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (exp wj)) (/ (cbrt (- (* wj (exp wj)) x)) (+ 1 wj)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (+ wj 1)) (/ (cbrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ (exp wj) (* wj (exp wj))))) (sqrt (- (* wj (exp wj)) x)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ 1 wj)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)) (/ 1 (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ 1 (sqrt (+ (exp wj) (* wj (exp wj))))) (/ (- (* wj (exp wj)) x) (sqrt (+ (exp wj) (* wj (exp wj))))) 1 (/ (/ (- (* wj (exp wj)) x) (+ 1 wj)) (exp wj)) (/ 1 (exp wj)) (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ 1 (+ wj 1)) (/ (- (* wj (exp wj)) x) (exp wj)) (/ (/ 1 (+ 1 wj)) (exp wj)) (/ (+ 1 wj) (/ (- (* wj (exp wj)) x) (exp wj))) (/ (- (* wj (exp wj)) x) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (- (* wj (exp wj)) x) (sqrt (+ (exp wj) (* wj (exp wj))))) (- (* wj (exp wj)) x) (/ (- (* wj (exp wj)) x) (exp wj)) (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ (+ 1 wj) (/ (cbrt (- (* wj (exp wj)) x)) (exp wj))) (/ (+ 1 wj) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj))) (/ (+ 1 wj) (/ (- (* wj (exp wj)) x) (exp wj))) (/ (- (* wj (exp wj)) x) (* (+ (pow wj 3) 1) (pow (exp wj) 3))) (/ (- (* wj (exp wj)) x) (* (exp wj) (- (exp wj) (* (* wj (exp wj)) wj)))) (* (+ (* x (+ x (* wj (exp wj)))) (* (pow wj 2) (exp (+ wj wj)))) (* (+ wj 1) (exp wj))) (* (+ (* wj (exp wj)) x) (* (+ wj 1) (exp wj))) (pow (exp (+ 1 wj)) (exp wj)) (+ (log (+ 1 wj)) wj) (pow (exp (+ 1 wj)) (exp wj)) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))) (cbrt (+ (exp wj) (* wj (exp wj)))) (pow (* (+ wj 1) (exp wj)) 3) (sqrt (+ (exp wj) (* wj (exp wj)))) (sqrt (+ (exp wj) (* wj (exp wj)))) (* (+ (pow wj 3) 1) (pow (exp wj) 3)) (* (exp (+ wj wj)) (- (+ (pow wj 2) 1) wj)) (* (+ (neg (pow wj 2)) 1) (exp (+ wj wj))) (- (exp wj) (* wj (exp wj))) (+ 1 wj) (+ 1 wj) (* wj (exp wj)) (+ wj (log wj)) (+ wj (log wj)) (exp (* wj (exp wj))) (pow (* wj (exp wj)) 3) (* (cbrt (* wj (exp wj))) (cbrt (* wj (exp wj)))) (cbrt (* wj (exp wj))) (pow (* wj (exp wj)) 3) (sqrt (* wj (exp wj))) (sqrt (* wj (exp wj))) (* (sqrt (exp wj)) (pow wj 1/2)) (* (sqrt (exp wj)) (pow wj 1/2)) (* wj (* (cbrt (exp wj)) (cbrt (exp wj)))) (* wj (sqrt (exp wj))) wj (* (cbrt wj) (exp wj)) (* (sqrt wj) (exp wj)) (* wj (exp wj)) (+ x (* wj (- wj (* 2 x)))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- wj (+ x (pow wj 2))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (+ (* 2 wj) (+ (* 3/2 (pow wj 2)) 1)) (* (+ wj 1) (exp wj)) (* (+ wj 1) (exp wj)) (+ wj (+ (pow wj 2) (* 1/2 (pow wj 3)))) (* wj (exp wj)) (* wj (exp wj)) 0.579 * * * [progress]: adding candidates to table 0.689 * * [progress]: iteration 2 / 4 0.689 * * * [progress]: picking best candidate 0.696 * * * * [pick]: Picked # 0.696 * * * [progress]: localizing error 0.702 * * * [progress]: generating rewritten candidates 0.702 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.705 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.711 * * * [progress]: generating series expansions 0.711 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.711 * [approximate]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in (x wj) around 0 0.711 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in wj 0.711 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in wj 0.711 * [taylor]: Taking taylor expansion of x in wj 0.711 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.711 * [taylor]: Taking taylor expansion of wj in wj 0.711 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in wj 0.711 * [taylor]: Taking taylor expansion of 2 in wj 0.711 * [taylor]: Taking taylor expansion of (* wj x) in wj 0.711 * [taylor]: Taking taylor expansion of wj in wj 0.711 * [taylor]: Taking taylor expansion of x in wj 0.711 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 0.712 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.712 * [taylor]: Taking taylor expansion of wj in x 0.712 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 0.712 * [taylor]: Taking taylor expansion of 2 in x 0.712 * [taylor]: Taking taylor expansion of (* wj x) in x 0.712 * [taylor]: Taking taylor expansion of wj in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 0.712 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.712 * [taylor]: Taking taylor expansion of wj in x 0.712 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 0.712 * [taylor]: Taking taylor expansion of 2 in x 0.712 * [taylor]: Taking taylor expansion of (* wj x) in x 0.712 * [taylor]: Taking taylor expansion of wj in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.712 * [taylor]: Taking taylor expansion of wj in wj 0.712 * [taylor]: Taking taylor expansion of (- 1 (* 2 wj)) in wj 0.712 * [taylor]: Taking taylor expansion of 1 in wj 0.712 * [taylor]: Taking taylor expansion of (* 2 wj) in wj 0.712 * [taylor]: Taking taylor expansion of 2 in wj 0.712 * [taylor]: Taking taylor expansion of wj in wj 0.712 * [taylor]: Taking taylor expansion of 0 in wj 0.713 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in (x wj) around 0 0.713 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in wj 0.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in wj 0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 0.713 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.713 * [taylor]: Taking taylor expansion of wj in wj 0.713 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.713 * [taylor]: Taking taylor expansion of x in wj 0.713 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 0.713 * [taylor]: Taking taylor expansion of 2 in wj 0.713 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 0.713 * [taylor]: Taking taylor expansion of (* wj x) in wj 0.713 * [taylor]: Taking taylor expansion of wj in wj 0.713 * [taylor]: Taking taylor expansion of x in wj 0.713 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 0.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 0.713 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.713 * [taylor]: Taking taylor expansion of wj in x 0.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 0.713 * [taylor]: Taking taylor expansion of 2 in x 0.713 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 0.713 * [taylor]: Taking taylor expansion of (* wj x) in x 0.713 * [taylor]: Taking taylor expansion of wj in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 0.714 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 0.714 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.714 * [taylor]: Taking taylor expansion of wj in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 0.714 * [taylor]: Taking taylor expansion of 2 in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 0.714 * [taylor]: Taking taylor expansion of (* wj x) in x 0.714 * [taylor]: Taking taylor expansion of wj in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (- 1 (* 2 (/ 1 wj))) in wj 0.714 * [taylor]: Taking taylor expansion of 1 in wj 0.714 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 0.714 * [taylor]: Taking taylor expansion of 2 in wj 0.714 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.714 * [taylor]: Taking taylor expansion of wj in wj 0.715 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 0.715 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.715 * [taylor]: Taking taylor expansion of wj in wj 0.715 * [taylor]: Taking taylor expansion of 0 in wj 0.716 * [approximate]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in (x wj) around 0 0.716 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in wj 0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 0.716 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.716 * [taylor]: Taking taylor expansion of wj in wj 0.716 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in wj 0.716 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 0.716 * [taylor]: Taking taylor expansion of 2 in wj 0.716 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 0.716 * [taylor]: Taking taylor expansion of (* wj x) in wj 0.716 * [taylor]: Taking taylor expansion of wj in wj 0.716 * [taylor]: Taking taylor expansion of x in wj 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.716 * [taylor]: Taking taylor expansion of x in wj 0.716 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 0.716 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.716 * [taylor]: Taking taylor expansion of wj in x 0.716 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 0.716 * [taylor]: Taking taylor expansion of 2 in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 0.716 * [taylor]: Taking taylor expansion of (* wj x) in x 0.716 * [taylor]: Taking taylor expansion of wj in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 0.716 * [taylor]: Taking taylor expansion of (pow wj 2) in x 0.716 * [taylor]: Taking taylor expansion of wj in x 0.716 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 0.717 * [taylor]: Taking taylor expansion of 2 in x 0.717 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 0.717 * [taylor]: Taking taylor expansion of (* wj x) in x 0.717 * [taylor]: Taking taylor expansion of wj in x 0.717 * [taylor]: Taking taylor expansion of x in x 0.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.717 * [taylor]: Taking taylor expansion of x in x 0.717 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 wj)) 1)) in wj 0.717 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 wj)) 1) in wj 0.717 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 0.717 * [taylor]: Taking taylor expansion of 2 in wj 0.717 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.717 * [taylor]: Taking taylor expansion of wj in wj 0.717 * [taylor]: Taking taylor expansion of 1 in wj 0.717 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 0.717 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 0.717 * [taylor]: Taking taylor expansion of wj in wj 0.718 * [taylor]: Taking taylor expansion of 0 in wj 0.718 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.718 * [approximate]: Taking taylor expansion of (* wj (- wj (* 2 x))) in (wj x) around 0 0.718 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in x 0.718 * [taylor]: Taking taylor expansion of wj in x 0.718 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in x 0.718 * [taylor]: Taking taylor expansion of wj in x 0.718 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.718 * [taylor]: Taking taylor expansion of 2 in x 0.718 * [taylor]: Taking taylor expansion of x in x 0.718 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 0.718 * [taylor]: Taking taylor expansion of wj in wj 0.718 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 0.718 * [taylor]: Taking taylor expansion of wj in wj 0.718 * [taylor]: Taking taylor expansion of (* 2 x) in wj 0.718 * [taylor]: Taking taylor expansion of 2 in wj 0.718 * [taylor]: Taking taylor expansion of x in wj 0.718 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 0.718 * [taylor]: Taking taylor expansion of wj in wj 0.718 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 0.718 * [taylor]: Taking taylor expansion of wj in wj 0.718 * [taylor]: Taking taylor expansion of (* 2 x) in wj 0.718 * [taylor]: Taking taylor expansion of 2 in wj 0.718 * [taylor]: Taking taylor expansion of x in wj 0.719 * [taylor]: Taking taylor expansion of 0 in x 0.719 * [taylor]: Taking taylor expansion of (neg (* 2 x)) in x 0.719 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.719 * [taylor]: Taking taylor expansion of 2 in x 0.719 * [taylor]: Taking taylor expansion of x in x 0.719 * [taylor]: Taking taylor expansion of 1 in x 0.719 * [taylor]: Taking taylor expansion of 0 in x 0.719 * [taylor]: Taking taylor expansion of 0 in x 0.719 * [approximate]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in (wj x) around 0 0.720 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in x 0.720 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.720 * [taylor]: Taking taylor expansion of wj in x 0.720 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.720 * [taylor]: Taking taylor expansion of 2 in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.720 * [taylor]: Taking taylor expansion of wj in x 0.720 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 0.720 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 0.720 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.720 * [taylor]: Taking taylor expansion of wj in wj 0.720 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.720 * [taylor]: Taking taylor expansion of 2 in wj 0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.720 * [taylor]: Taking taylor expansion of x in wj 0.720 * [taylor]: Taking taylor expansion of wj in wj 0.720 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 0.720 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 0.720 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.720 * [taylor]: Taking taylor expansion of wj in wj 0.720 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.720 * [taylor]: Taking taylor expansion of 2 in wj 0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.720 * [taylor]: Taking taylor expansion of x in wj 0.720 * [taylor]: Taking taylor expansion of wj in wj 0.720 * [taylor]: Taking taylor expansion of 1 in x 0.720 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 0.720 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.720 * [taylor]: Taking taylor expansion of 2 in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of 0 in x 0.721 * [taylor]: Taking taylor expansion of 0 in x 0.721 * [taylor]: Taking taylor expansion of 0 in x 0.722 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in (wj x) around 0 0.722 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in x 0.722 * [taylor]: Taking taylor expansion of -1 in x 0.722 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in x 0.722 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in x 0.722 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.722 * [taylor]: Taking taylor expansion of 2 in x 0.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.722 * [taylor]: Taking taylor expansion of wj in x 0.722 * [taylor]: Taking taylor expansion of wj in x 0.722 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 0.722 * [taylor]: Taking taylor expansion of -1 in wj 0.722 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 0.722 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 0.722 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.722 * [taylor]: Taking taylor expansion of 2 in wj 0.722 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.722 * [taylor]: Taking taylor expansion of x in wj 0.722 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.722 * [taylor]: Taking taylor expansion of wj in wj 0.722 * [taylor]: Taking taylor expansion of wj in wj 0.722 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 0.722 * [taylor]: Taking taylor expansion of -1 in wj 0.722 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 0.722 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 0.722 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 0.722 * [taylor]: Taking taylor expansion of 2 in wj 0.722 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.722 * [taylor]: Taking taylor expansion of x in wj 0.722 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.722 * [taylor]: Taking taylor expansion of wj in wj 0.722 * [taylor]: Taking taylor expansion of wj in wj 0.723 * [taylor]: Taking taylor expansion of 1 in x 0.723 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 0.723 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.723 * [taylor]: Taking taylor expansion of 2 in x 0.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.723 * [taylor]: Taking taylor expansion of x in x 0.723 * [taylor]: Taking taylor expansion of 0 in x 0.723 * [taylor]: Taking taylor expansion of 0 in x 0.724 * [taylor]: Taking taylor expansion of 0 in x 0.724 * * * [progress]: simplifying candidates 0.725 * [simplify]: Simplifying using # : (* (exp x) (exp (* wj (- wj (* 2 x))))) (log (+ x (* wj (- wj (* 2 x))))) (exp (+ x (* wj (- wj (* 2 x))))) (* (cbrt (+ x (* wj (- wj (* 2 x))))) (cbrt (+ x (* wj (- wj (* 2 x)))))) (cbrt (+ x (* wj (- wj (* 2 x))))) (* (* (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x))))) (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3)) (+ (* x x) (- (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))) (* x (* wj (- wj (* 2 x)))))) (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))))) (- x (* wj (- wj (* 2 x)))) (+ x (* wj wj)) (+ x (* wj wj)) (+ x (* wj wj)) (+ x (* wj wj)) (* wj (- wj (* 2 x))) (+ (log wj) (log (- wj (* 2 x)))) (log (* wj (- wj (* 2 x)))) (exp (* wj (- wj (* 2 x)))) (* (* (* wj wj) wj) (* (* (- wj (* 2 x)) (- wj (* 2 x))) (- wj (* 2 x)))) (* (cbrt (* wj (- wj (* 2 x)))) (cbrt (* wj (- wj (* 2 x))))) (cbrt (* wj (- wj (* 2 x)))) (* (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))) (* wj (- wj (* 2 x)))) (sqrt (* wj (- wj (* 2 x)))) (sqrt (* wj (- wj (* 2 x)))) (* (sqrt wj) (sqrt (- wj (* 2 x)))) (* (sqrt wj) (sqrt (- wj (* 2 x)))) (* wj wj) (* wj (neg (* 2 x))) (* wj wj) (* wj (neg (* 2 x))) (* wj wj) (* (neg (* 2 x)) wj) (* wj wj) (* (neg (* 2 x)) wj) (* wj (* (cbrt (- wj (* 2 x))) (cbrt (- wj (* 2 x))))) (* wj (sqrt (- wj (* 2 x)))) (* wj 1) (* (cbrt wj) (- wj (* 2 x))) (* (sqrt wj) (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- (pow wj 3) (pow (* 2 x) 3))) (* wj (- (* wj wj) (* (* 2 x) (* 2 x)))) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) 0.729 * * [simplify]: iteration 0 : 185 enodes (cost 229 ) 0.733 * * [simplify]: iteration 1 : 733 enodes (cost 203 ) 0.753 * * [simplify]: iteration 2 : 3937 enodes (cost 203 ) 0.853 * * [simplify]: iteration 3 : 5001 enodes (cost 203 ) 0.855 * [simplify]: Simplified to: (exp (+ x (* wj (- wj (* 2 x))))) (log (+ x (* wj (- wj (* 2 x))))) (exp (+ x (* wj (- wj (* 2 x))))) (* (cbrt (+ x (* wj (- wj (* 2 x))))) (cbrt (+ x (* wj (- wj (* 2 x)))))) (cbrt (+ x (* wj (- wj (* 2 x))))) (pow (+ x (* wj (- wj (* 2 x)))) 3) (sqrt (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3)) (+ (* (* wj (- wj (* 2 x))) (- (* wj (- wj (* 2 x))) x)) (* x x)) (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))))) (- x (* wj (- wj (* 2 x)))) (+ x (pow wj 2)) (+ x (pow wj 2)) (+ x (pow wj 2)) (+ x (pow wj 2)) (* wj (- wj (* 2 x))) (log (* wj (- wj (* 2 x)))) (log (* wj (- wj (* 2 x)))) (exp (* wj (- wj (* 2 x)))) (pow (* wj (- wj (* 2 x))) 3) (* (cbrt (* wj (- wj (* 2 x)))) (cbrt (* wj (- wj (* 2 x))))) (cbrt (* wj (- wj (* 2 x)))) (pow (* wj (- wj (* 2 x))) 3) (sqrt (* wj (- wj (* 2 x)))) (sqrt (* wj (- wj (* 2 x)))) (* (sqrt (- wj (* 2 x))) (pow wj 1/2)) (* (sqrt (- wj (* 2 x))) (pow wj 1/2)) (pow wj 2) (* (* -2 x) wj) (pow wj 2) (* (* -2 x) wj) (pow wj 2) (* (* -2 x) wj) (pow wj 2) (* (* -2 x) wj) (* wj (* (cbrt (- wj (* 2 x))) (cbrt (- wj (* 2 x))))) (* wj (sqrt (- wj (* 2 x)))) wj (* (cbrt wj) (- wj (* 2 x))) (* (sqrt wj) (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- (pow wj 3) (pow (* 2 x) 3))) (+ (pow wj 3) (* wj (* -4 (* x x)))) (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x)))) (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))) 0.856 * * * [progress]: adding candidates to table 0.897 * * [progress]: iteration 3 / 4 0.897 * * * [progress]: picking best candidate 0.908 * * * * [pick]: Picked # 0.908 * * * [progress]: localizing error 0.918 * * * [progress]: generating rewritten candidates 0.918 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.939 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.953 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.962 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 0.973 * * * [progress]: generating series expansions 0.973 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.973 * [approximate]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in (wj x) around 0 0.973 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in x 0.973 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (exp wj) (+ wj 1)))) in x 0.973 * [taylor]: Taking taylor expansion of wj in x 0.973 * [taylor]: Taking taylor expansion of (/ x (* (exp wj) (+ wj 1))) in x 0.973 * [taylor]: Taking taylor expansion of x in x 0.973 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in x 0.973 * [taylor]: Taking taylor expansion of (exp wj) in x 0.973 * [taylor]: Taking taylor expansion of wj in x 0.973 * [taylor]: Taking taylor expansion of (+ wj 1) in x 0.973 * [taylor]: Taking taylor expansion of wj in x 0.973 * [taylor]: Taking taylor expansion of 1 in x 0.973 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in x 0.973 * [taylor]: Taking taylor expansion of wj in x 0.973 * [taylor]: Taking taylor expansion of (+ wj 1) in x 0.973 * [taylor]: Taking taylor expansion of wj in x 0.973 * [taylor]: Taking taylor expansion of 1 in x 0.973 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in wj 0.974 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (exp wj) (+ wj 1)))) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of (/ x (* (exp wj) (+ wj 1))) in wj 0.974 * [taylor]: Taking taylor expansion of x in wj 0.974 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 0.974 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of 1 in wj 0.974 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of 1 in wj 0.974 * [taylor]: Taking taylor expansion of (- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1))) in wj 0.974 * [taylor]: Taking taylor expansion of (+ wj (/ x (* (exp wj) (+ wj 1)))) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of (/ x (* (exp wj) (+ wj 1))) in wj 0.974 * [taylor]: Taking taylor expansion of x in wj 0.974 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 0.974 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of 1 in wj 0.974 * [taylor]: Taking taylor expansion of (/ wj (+ wj 1)) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.974 * [taylor]: Taking taylor expansion of wj in wj 0.974 * [taylor]: Taking taylor expansion of 1 in wj 0.974 * [taylor]: Taking taylor expansion of x in x 0.975 * [taylor]: Taking taylor expansion of (neg (* 2 x)) in x 0.975 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.975 * [taylor]: Taking taylor expansion of 2 in x 0.975 * [taylor]: Taking taylor expansion of x in x 0.975 * [taylor]: Taking taylor expansion of (+ (* 5/2 x) 1) in x 0.975 * [taylor]: Taking taylor expansion of (* 5/2 x) in x 0.975 * [taylor]: Taking taylor expansion of 5/2 in x 0.975 * [taylor]: Taking taylor expansion of x in x 0.975 * [taylor]: Taking taylor expansion of 1 in x 0.976 * [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.976 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) (/ 1 (* wj (+ (/ 1 wj) 1)))) in x 0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) in x 0.976 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) in x 0.976 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in x 0.976 * [taylor]: Taking taylor expansion of x in x 0.976 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in x 0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 0.976 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.976 * [taylor]: Taking taylor expansion of wj in x 0.976 * [taylor]: Taking taylor expansion of 1 in x 0.976 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.976 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.976 * [taylor]: Taking taylor expansion of wj in x 0.976 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.977 * [taylor]: Taking taylor expansion of wj in x 0.977 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in x 0.977 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in x 0.977 * [taylor]: Taking taylor expansion of wj in x 0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 0.977 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.977 * [taylor]: Taking taylor expansion of wj in x 0.977 * [taylor]: Taking taylor expansion of 1 in x 0.977 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) in wj 0.977 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) in wj 0.977 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in wj 0.977 * [taylor]: Taking taylor expansion of x in wj 0.977 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in wj 0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.977 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.977 * [taylor]: Taking taylor expansion of wj in wj 0.977 * [taylor]: Taking taylor expansion of 1 in wj 0.977 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.977 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.977 * [taylor]: Taking taylor expansion of wj in wj 0.977 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.977 * [taylor]: Taking taylor expansion of wj in wj 0.977 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 0.977 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 0.977 * [taylor]: Taking taylor expansion of wj in wj 0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.977 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.977 * [taylor]: Taking taylor expansion of wj in wj 0.977 * [taylor]: Taking taylor expansion of 1 in wj 0.977 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) (/ 1 (* wj (+ (/ 1 wj) 1)))) in wj 0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) (/ 1 wj)) in wj 0.977 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj))))) in wj 0.977 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in wj 0.977 * [taylor]: Taking taylor expansion of x in wj 0.977 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in wj 0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.977 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.977 * [taylor]: Taking taylor expansion of wj in wj 0.978 * [taylor]: Taking taylor expansion of 1 in wj 0.978 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.978 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.978 * [taylor]: Taking taylor expansion of wj in wj 0.978 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.978 * [taylor]: Taking taylor expansion of wj in wj 0.978 * [taylor]: Taking taylor expansion of (/ 1 (* wj (+ (/ 1 wj) 1))) in wj 0.978 * [taylor]: Taking taylor expansion of (* wj (+ (/ 1 wj) 1)) in wj 0.978 * [taylor]: Taking taylor expansion of wj in wj 0.978 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.978 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.978 * [taylor]: Taking taylor expansion of wj in wj 0.978 * [taylor]: Taking taylor expansion of 1 in wj 0.978 * [taylor]: Taking taylor expansion of 1 in x 0.978 * [taylor]: Taking taylor expansion of (neg 1) in x 0.978 * [taylor]: Taking taylor expansion of 1 in x 0.978 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.978 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.978 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.978 * [taylor]: Taking taylor expansion of x in x 0.978 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.978 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.978 * [taylor]: Taking taylor expansion of wj in x 0.979 * [taylor]: Taking taylor expansion of 1 in x 0.979 * [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.979 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in x 0.979 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in x 0.979 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in x 0.979 * [taylor]: Taking taylor expansion of wj in x 0.979 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 0.979 * [taylor]: Taking taylor expansion of 1 in x 0.979 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.979 * [taylor]: Taking taylor expansion of wj in x 0.980 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in x 0.980 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.980 * [taylor]: Taking taylor expansion of wj in x 0.980 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in x 0.980 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in x 0.980 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 0.980 * [taylor]: Taking taylor expansion of 1 in x 0.980 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.980 * [taylor]: Taking taylor expansion of wj in x 0.980 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.980 * [taylor]: Taking taylor expansion of x in x 0.980 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.980 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.980 * [taylor]: Taking taylor expansion of -1 in x 0.980 * [taylor]: Taking taylor expansion of wj in x 0.980 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in wj 0.980 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 0.980 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 0.980 * [taylor]: Taking taylor expansion of wj in wj 0.980 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.980 * [taylor]: Taking taylor expansion of 1 in wj 0.980 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.980 * [taylor]: Taking taylor expansion of wj in wj 0.981 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in wj 0.981 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.981 * [taylor]: Taking taylor expansion of wj in wj 0.981 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in wj 0.981 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in wj 0.981 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.981 * [taylor]: Taking taylor expansion of 1 in wj 0.981 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.981 * [taylor]: Taking taylor expansion of wj in wj 0.981 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 0.981 * [taylor]: Taking taylor expansion of x in wj 0.981 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.981 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.981 * [taylor]: Taking taylor expansion of -1 in wj 0.981 * [taylor]: Taking taylor expansion of wj in wj 0.981 * [taylor]: Taking taylor expansion of (- (/ 1 (* wj (- 1 (/ 1 wj)))) (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))))) in wj 0.981 * [taylor]: Taking taylor expansion of (/ 1 (* wj (- 1 (/ 1 wj)))) in wj 0.981 * [taylor]: Taking taylor expansion of (* wj (- 1 (/ 1 wj))) in wj 0.981 * [taylor]: Taking taylor expansion of wj in wj 0.981 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.981 * [taylor]: Taking taylor expansion of 1 in wj 0.981 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.981 * [taylor]: Taking taylor expansion of wj in wj 0.981 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))))) in wj 0.981 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.981 * [taylor]: Taking taylor expansion of wj in wj 0.981 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj))))) in wj 0.981 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (* x (exp (/ -1 wj)))) in wj 0.981 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.981 * [taylor]: Taking taylor expansion of 1 in wj 0.981 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.981 * [taylor]: Taking taylor expansion of wj in wj 0.981 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in wj 0.981 * [taylor]: Taking taylor expansion of x in wj 0.981 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.981 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.981 * [taylor]: Taking taylor expansion of -1 in wj 0.981 * [taylor]: Taking taylor expansion of wj in wj 0.982 * [taylor]: Taking taylor expansion of (neg 1) in x 0.982 * [taylor]: Taking taylor expansion of 1 in x 0.982 * [taylor]: Taking taylor expansion of (neg 1) in x 0.982 * [taylor]: Taking taylor expansion of 1 in x 0.982 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (exp (/ -1 wj)))) 1) in x 0.982 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.982 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.982 * [taylor]: Taking taylor expansion of x in x 0.982 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.982 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.982 * [taylor]: Taking taylor expansion of -1 in x 0.982 * [taylor]: Taking taylor expansion of wj in x 0.983 * [taylor]: Taking taylor expansion of 1 in x 0.983 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.983 * [approximate]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (* (exp wj) (+ wj 1))) in (wj x) around 0 0.983 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (* (exp wj) (+ wj 1))) in x 0.983 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in x 0.983 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.983 * [taylor]: Taking taylor expansion of wj in x 0.983 * [taylor]: Taking taylor expansion of (exp wj) in x 0.983 * [taylor]: Taking taylor expansion of wj in x 0.983 * [taylor]: Taking taylor expansion of x in x 0.983 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in x 0.983 * [taylor]: Taking taylor expansion of (exp wj) in x 0.983 * [taylor]: Taking taylor expansion of wj in x 0.983 * [taylor]: Taking taylor expansion of (+ wj 1) in x 0.983 * [taylor]: Taking taylor expansion of wj in x 0.983 * [taylor]: Taking taylor expansion of 1 in x 0.983 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (* (exp wj) (+ wj 1))) in wj 0.984 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in wj 0.984 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.984 * [taylor]: Taking taylor expansion of wj in wj 0.984 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.984 * [taylor]: Taking taylor expansion of wj in wj 0.984 * [taylor]: Taking taylor expansion of x in wj 0.984 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 0.984 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.984 * [taylor]: Taking taylor expansion of wj in wj 0.984 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.984 * [taylor]: Taking taylor expansion of wj in wj 0.984 * [taylor]: Taking taylor expansion of 1 in wj 0.984 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (* (exp wj) (+ wj 1))) in wj 0.984 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in wj 0.984 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.984 * [taylor]: Taking taylor expansion of wj in wj 0.984 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.984 * [taylor]: Taking taylor expansion of wj in wj 0.984 * [taylor]: Taking taylor expansion of x in wj 0.984 * [taylor]: Taking taylor expansion of (* (exp wj) (+ wj 1)) in wj 0.984 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.984 * [taylor]: Taking taylor expansion of wj in wj 0.984 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.984 * [taylor]: Taking taylor expansion of wj in wj 0.984 * [taylor]: Taking taylor expansion of 1 in wj 0.984 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.984 * [taylor]: Taking taylor expansion of -1 in x 0.984 * [taylor]: Taking taylor expansion of x in x 0.984 * [taylor]: Taking taylor expansion of (+ (* 2 x) 1) in x 0.984 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.984 * [taylor]: Taking taylor expansion of 2 in x 0.984 * [taylor]: Taking taylor expansion of x in x 0.984 * [taylor]: Taking taylor expansion of 1 in x 0.985 * [taylor]: Taking taylor expansion of (neg (+ (* 5/2 x) 1)) in x 0.985 * [taylor]: Taking taylor expansion of (+ (* 5/2 x) 1) in x 0.985 * [taylor]: Taking taylor expansion of (* 5/2 x) in x 0.985 * [taylor]: Taking taylor expansion of 5/2 in x 0.985 * [taylor]: Taking taylor expansion of x in x 0.985 * [taylor]: Taking taylor expansion of 1 in x 0.985 * [approximate]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in (wj x) around 0 0.985 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in x 0.985 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in x 0.985 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.985 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.985 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.986 * [taylor]: Taking taylor expansion of wj in x 0.986 * [taylor]: Taking taylor expansion of wj in x 0.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.986 * [taylor]: Taking taylor expansion of x in x 0.986 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in x 0.986 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 0.986 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.986 * [taylor]: Taking taylor expansion of wj in x 0.986 * [taylor]: Taking taylor expansion of 1 in x 0.986 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.986 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.986 * [taylor]: Taking taylor expansion of wj in x 0.986 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in wj 0.986 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in wj 0.986 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.986 * [taylor]: Taking taylor expansion of (exp (/ 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 wj in wj 0.986 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.986 * [taylor]: Taking taylor expansion of x in wj 0.986 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in wj 0.986 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) 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 1 in wj 0.986 * [taylor]: Taking taylor expansion of (exp (/ 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.987 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (* (+ (/ 1 wj) 1) (exp (/ 1 wj)))) in wj 0.987 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in wj 0.987 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.987 * [taylor]: Taking taylor expansion of (exp (/ 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 wj in wj 0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.987 * [taylor]: Taking taylor expansion of x in wj 0.987 * [taylor]: Taking taylor expansion of (* (+ (/ 1 wj) 1) (exp (/ 1 wj))) in wj 0.987 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) 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 1 in wj 0.987 * [taylor]: Taking taylor expansion of (exp (/ 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 1 in x 0.987 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x (exp (/ 1 wj)))) 1)) in x 0.987 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.987 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.987 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.987 * [taylor]: Taking taylor expansion of x in x 0.987 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.987 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.987 * [taylor]: Taking taylor expansion of wj in x 0.988 * [taylor]: Taking taylor expansion of 1 in x 0.988 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (exp (/ 1 wj)))) 1) in x 0.988 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ 1 wj)))) in x 0.988 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 wj))) in x 0.988 * [taylor]: Taking taylor expansion of x in x 0.988 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.988 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.988 * [taylor]: Taking taylor expansion of wj in x 0.989 * [taylor]: Taking taylor expansion of 1 in x 0.989 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (* (- 1 (/ 1 wj)) (exp (/ -1 wj)))) in (wj x) around 0 0.989 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (* (- 1 (/ 1 wj)) (exp (/ -1 wj)))) in x 0.989 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in x 0.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.989 * [taylor]: Taking taylor expansion of x in x 0.989 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.989 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.990 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.990 * [taylor]: Taking taylor expansion of -1 in x 0.990 * [taylor]: Taking taylor expansion of wj in x 0.990 * [taylor]: Taking taylor expansion of wj in x 0.990 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (exp (/ -1 wj))) in x 0.990 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 0.990 * [taylor]: Taking taylor expansion of 1 in x 0.990 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.990 * [taylor]: Taking taylor expansion of wj in x 0.990 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.990 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.990 * [taylor]: Taking taylor expansion of -1 in x 0.990 * [taylor]: Taking taylor expansion of wj in x 0.990 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (* (- 1 (/ 1 wj)) (exp (/ -1 wj)))) in wj 0.990 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in wj 0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.990 * [taylor]: Taking taylor expansion of x in wj 0.990 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.990 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.990 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.990 * [taylor]: Taking taylor expansion of -1 in wj 0.990 * [taylor]: Taking taylor expansion of wj in wj 0.990 * [taylor]: Taking taylor expansion of wj in wj 0.990 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (exp (/ -1 wj))) in wj 0.990 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.990 * [taylor]: Taking taylor expansion of 1 in wj 0.990 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.990 * [taylor]: Taking taylor expansion of wj in wj 0.990 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.990 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.990 * [taylor]: Taking taylor expansion of -1 in wj 0.990 * [taylor]: Taking taylor expansion of wj in wj 0.991 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (* (- 1 (/ 1 wj)) (exp (/ -1 wj)))) in wj 0.991 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in wj 0.991 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.991 * [taylor]: Taking taylor expansion of x in wj 0.991 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.991 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.991 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.991 * [taylor]: Taking taylor expansion of -1 in wj 0.991 * [taylor]: Taking taylor expansion of wj in wj 0.991 * [taylor]: Taking taylor expansion of wj in wj 0.991 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 wj)) (exp (/ -1 wj))) in wj 0.991 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.991 * [taylor]: Taking taylor expansion of 1 in wj 0.991 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.991 * [taylor]: Taking taylor expansion of wj in wj 0.991 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.991 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.991 * [taylor]: Taking taylor expansion of -1 in wj 0.991 * [taylor]: Taking taylor expansion of wj in wj 0.991 * [taylor]: Taking taylor expansion of 1 in x 0.992 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x (exp (/ -1 wj))))) in x 0.992 * [taylor]: Taking taylor expansion of 1 in x 0.992 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.992 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.992 * [taylor]: Taking taylor expansion of x in x 0.992 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.992 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.992 * [taylor]: Taking taylor expansion of -1 in x 0.992 * [taylor]: Taking taylor expansion of wj in x 0.993 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x (exp (/ -1 wj))))) in x 0.993 * [taylor]: Taking taylor expansion of 1 in x 0.993 * [taylor]: Taking taylor expansion of (/ 1 (* x (exp (/ -1 wj)))) in x 0.993 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 wj))) in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.993 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.993 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.993 * [taylor]: Taking taylor expansion of -1 in x 0.993 * [taylor]: Taking taylor expansion of wj in x 0.993 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.994 * [approximate]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ wj 1)) in (wj x) around 0 0.994 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ wj 1)) in x 0.994 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in x 0.994 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in x 0.994 * [taylor]: Taking taylor expansion of wj in x 0.994 * [taylor]: Taking taylor expansion of (exp wj) in x 0.994 * [taylor]: Taking taylor expansion of wj in x 0.994 * [taylor]: Taking taylor expansion of x in x 0.994 * [taylor]: Taking taylor expansion of (+ wj 1) in x 0.994 * [taylor]: Taking taylor expansion of wj in x 0.994 * [taylor]: Taking taylor expansion of 1 in x 0.994 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ wj 1)) in wj 0.994 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in wj 0.994 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.994 * [taylor]: Taking taylor expansion of wj in wj 0.994 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.994 * [taylor]: Taking taylor expansion of wj in wj 0.994 * [taylor]: Taking taylor expansion of x in wj 0.994 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.994 * [taylor]: Taking taylor expansion of wj in wj 0.994 * [taylor]: Taking taylor expansion of 1 in wj 0.994 * [taylor]: Taking taylor expansion of (/ (- (* wj (exp wj)) x) (+ wj 1)) in wj 0.994 * [taylor]: Taking taylor expansion of (- (* wj (exp wj)) x) in wj 0.994 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 0.994 * [taylor]: Taking taylor expansion of wj in wj 0.994 * [taylor]: Taking taylor expansion of (exp wj) in wj 0.994 * [taylor]: Taking taylor expansion of wj in wj 0.994 * [taylor]: Taking taylor expansion of x in wj 0.994 * [taylor]: Taking taylor expansion of (+ wj 1) in wj 0.994 * [taylor]: Taking taylor expansion of wj in wj 0.994 * [taylor]: Taking taylor expansion of 1 in wj 0.994 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.994 * [taylor]: Taking taylor expansion of -1 in x 0.994 * [taylor]: Taking taylor expansion of x in x 0.995 * [taylor]: Taking taylor expansion of (+ x 1) in x 0.995 * [taylor]: Taking taylor expansion of x in x 0.995 * [taylor]: Taking taylor expansion of 1 in x 0.995 * [taylor]: Taking taylor expansion of (neg x) in x 0.995 * [taylor]: Taking taylor expansion of x in x 0.995 * [approximate]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ 1 wj) 1)) in (wj x) around 0 0.995 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ 1 wj) 1)) in x 0.995 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in x 0.995 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in x 0.995 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.995 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.995 * [taylor]: Taking taylor expansion of wj in x 0.995 * [taylor]: Taking taylor expansion of wj in x 0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.995 * [taylor]: Taking taylor expansion of x in x 0.995 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in x 0.995 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.995 * [taylor]: Taking taylor expansion of wj in x 0.995 * [taylor]: Taking taylor expansion of 1 in x 0.996 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ 1 wj) 1)) in wj 0.996 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in wj 0.996 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.996 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.996 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.996 * [taylor]: Taking taylor expansion of wj in wj 0.996 * [taylor]: Taking taylor expansion of wj in wj 0.996 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.996 * [taylor]: Taking taylor expansion of x in wj 0.996 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.996 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.996 * [taylor]: Taking taylor expansion of wj in wj 0.996 * [taylor]: Taking taylor expansion of 1 in wj 0.996 * [taylor]: Taking taylor expansion of (/ (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) (+ (/ 1 wj) 1)) in wj 0.996 * [taylor]: Taking taylor expansion of (- (/ (exp (/ 1 wj)) wj) (/ 1 x)) in wj 0.996 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 0.996 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 0.996 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.996 * [taylor]: Taking taylor expansion of wj in wj 0.996 * [taylor]: Taking taylor expansion of wj in wj 0.996 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.996 * [taylor]: Taking taylor expansion of x in wj 0.996 * [taylor]: Taking taylor expansion of (+ (/ 1 wj) 1) in wj 0.996 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.996 * [taylor]: Taking taylor expansion of wj in wj 0.996 * [taylor]: Taking taylor expansion of 1 in wj 0.996 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.996 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.996 * [taylor]: Taking taylor expansion of wj in x 0.997 * [taylor]: Taking taylor expansion of (neg (+ (exp (/ 1 wj)) (/ 1 x))) in x 0.997 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 wj)) (/ 1 x)) in x 0.997 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.997 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.997 * [taylor]: Taking taylor expansion of wj in x 0.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.997 * [taylor]: Taking taylor expansion of x in x 0.997 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 wj)) (/ 1 x)) in x 0.997 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in x 0.997 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.997 * [taylor]: Taking taylor expansion of wj in x 0.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.997 * [taylor]: Taking taylor expansion of x in x 0.998 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- 1 (/ 1 wj))) in (wj x) around 0 0.998 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- 1 (/ 1 wj))) in x 0.998 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in x 0.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.998 * [taylor]: Taking taylor expansion of x in x 0.998 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in x 0.998 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.998 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.998 * [taylor]: Taking taylor expansion of -1 in x 0.998 * [taylor]: Taking taylor expansion of wj in x 0.998 * [taylor]: Taking taylor expansion of wj in x 0.998 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in x 0.998 * [taylor]: Taking taylor expansion of 1 in x 0.998 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 0.998 * [taylor]: Taking taylor expansion of wj in x 0.998 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- 1 (/ 1 wj))) in wj 0.998 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in wj 0.998 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.998 * [taylor]: Taking taylor expansion of x in wj 0.998 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.998 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.998 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.998 * [taylor]: Taking taylor expansion of -1 in wj 0.998 * [taylor]: Taking taylor expansion of wj in wj 0.998 * [taylor]: Taking taylor expansion of wj in wj 0.998 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.998 * [taylor]: Taking taylor expansion of 1 in wj 0.998 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.998 * [taylor]: Taking taylor expansion of wj in wj 0.999 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) (- 1 (/ 1 wj))) in wj 0.999 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (exp (/ -1 wj)) wj)) in wj 0.999 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 0.999 * [taylor]: Taking taylor expansion of x in wj 0.999 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 0.999 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 0.999 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 0.999 * [taylor]: Taking taylor expansion of -1 in wj 0.999 * [taylor]: Taking taylor expansion of wj in wj 0.999 * [taylor]: Taking taylor expansion of wj in wj 0.999 * [taylor]: Taking taylor expansion of (- 1 (/ 1 wj)) in wj 0.999 * [taylor]: Taking taylor expansion of 1 in wj 0.999 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 0.999 * [taylor]: Taking taylor expansion of wj in wj 0.999 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.999 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.999 * [taylor]: Taking taylor expansion of -1 in x 0.999 * [taylor]: Taking taylor expansion of wj in x 0.999 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ 1 x)) in x 0.999 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 0.999 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 0.999 * [taylor]: Taking taylor expansion of -1 in x 0.999 * [taylor]: Taking taylor expansion of wj in x 1.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.000 * [taylor]: Taking taylor expansion of x in x 1.000 * [taylor]: Taking taylor expansion of (- (exp (/ -1 wj)) (/ 1 x)) in x 1.000 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in x 1.000 * [taylor]: Taking taylor expansion of (/ -1 wj) in x 1.000 * [taylor]: Taking taylor expansion of -1 in x 1.000 * [taylor]: Taking taylor expansion of wj in x 1.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.000 * [taylor]: Taking taylor expansion of x in x 1.000 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 1.000 * [approximate]: Taking taylor expansion of (* wj (exp wj)) in (wj) around 0 1.000 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 1.000 * [taylor]: Taking taylor expansion of wj in wj 1.001 * [taylor]: Taking taylor expansion of (exp wj) in wj 1.001 * [taylor]: Taking taylor expansion of wj in wj 1.001 * [taylor]: Taking taylor expansion of (* wj (exp wj)) in wj 1.001 * [taylor]: Taking taylor expansion of wj in wj 1.001 * [taylor]: Taking taylor expansion of (exp wj) in wj 1.001 * [taylor]: Taking taylor expansion of wj in wj 1.001 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in (wj) around 0 1.001 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 1.001 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 1.001 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.001 * [taylor]: Taking taylor expansion of wj in wj 1.001 * [taylor]: Taking taylor expansion of wj in wj 1.001 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 wj)) wj) in wj 1.001 * [taylor]: Taking taylor expansion of (exp (/ 1 wj)) in wj 1.002 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.002 * [taylor]: Taking taylor expansion of wj in wj 1.002 * [taylor]: Taking taylor expansion of wj in wj 1.002 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ -1 wj)) wj)) in (wj) around 0 1.002 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 wj)) wj)) in wj 1.002 * [taylor]: Taking taylor expansion of -1 in wj 1.002 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 1.002 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 1.002 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 1.002 * [taylor]: Taking taylor expansion of -1 in wj 1.002 * [taylor]: Taking taylor expansion of wj in wj 1.002 * [taylor]: Taking taylor expansion of wj in wj 1.003 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 wj)) wj)) in wj 1.003 * [taylor]: Taking taylor expansion of -1 in wj 1.003 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 wj)) wj) in wj 1.003 * [taylor]: Taking taylor expansion of (exp (/ -1 wj)) in wj 1.003 * [taylor]: Taking taylor expansion of (/ -1 wj) in wj 1.003 * [taylor]: Taking taylor expansion of -1 in wj 1.003 * [taylor]: Taking taylor expansion of wj in wj 1.003 * [taylor]: Taking taylor expansion of wj in wj 1.004 * * * [progress]: simplifying candidates 1.006 * [simplify]: Simplifying using # : (/ (exp wj) (exp (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (log (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (exp (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (* (cbrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (cbrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))))) (cbrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (* (* (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (sqrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (sqrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (- (pow wj 3) (pow (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) 3)) (+ (* wj wj) (+ (* (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (* wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))))) (neg (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (- (* wj wj) (* (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (+ wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (+ (sqrt wj) (sqrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (- (sqrt wj) (sqrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (+ (sqrt wj) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj)))) (- (sqrt wj) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj)))) (+ (sqrt wj) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj)))) (- (sqrt wj) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj)))) (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (- wj (/ (/ (* wj (exp wj)) (+ wj 1)) (exp wj))) (neg (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (- (- (log (- (* wj (exp wj)) x)) (log (+ wj 1))) wj) (- (log (/ (- (* wj (exp wj)) x) (+ wj 1))) wj) (log (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (exp (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (/ (/ (* (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (- (* wj (exp wj)) x)) (* (* (+ wj 1) (+ wj 1)) (+ wj 1))) (* (* (exp wj) (exp wj)) (exp wj))) (/ (* (* (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (- (* wj (exp wj)) x) (+ wj 1))) (* (* (exp wj) (exp wj)) (exp wj))) (* (cbrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (cbrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (cbrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (* (* (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (sqrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (sqrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (neg (/ (- (* wj (exp wj)) x) (+ wj 1))) (neg (exp wj)) (/ (/ (* wj (exp wj)) (+ wj 1)) (exp wj)) (/ (/ x (+ wj 1)) (exp wj)) (/ (* (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (exp wj))) (/ (* (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (sqrt (exp wj))) (/ (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj))) (/ (* (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) 1) (/ (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (exp wj)) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (exp wj))) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj))) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj))) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) 1) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (exp wj)) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (cbrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (sqrt (exp wj))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) 1) (/ (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (exp wj)) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ wj 1))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (cbrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ wj 1))) 1) (/ (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (exp wj)) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (cbrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) (sqrt (exp wj))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (sqrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) 1) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (exp wj)) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (cbrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) (sqrt (exp wj))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (sqrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) 1) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (exp wj)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (cbrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) 1) (/ (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (exp wj)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (cbrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) 1) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (exp wj)) (/ (/ (sqrt (- (* wj (exp wj)) x)) 1) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (cbrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) 1) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) 1) 1) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (exp wj)) (/ (/ (sqrt (- (* wj (exp wj)) x)) 1) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (cbrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) 1) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) 1) 1) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (exp wj)) (/ (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1))) (cbrt (exp wj))) (/ (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1))) (sqrt (exp wj))) (/ (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) 1) (/ (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1))) (exp wj)) (/ (/ 1 (sqrt (+ wj 1))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) (cbrt (exp wj))) (/ (/ 1 (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (/ 1 (sqrt (+ wj 1))) 1) (/ (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) (exp wj)) (/ (/ 1 1) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (cbrt (exp wj))) (/ (/ 1 1) (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (sqrt (exp wj))) (/ (/ 1 1) 1) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (/ (/ 1 1) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (cbrt (exp wj))) (/ (/ 1 1) (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (sqrt (exp wj))) (/ (/ 1 1) 1) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (sqrt (exp wj))) (/ 1 1) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (/ (- (* wj (exp wj)) x) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ 1 (+ wj 1)) (cbrt (exp wj))) (/ (- (* wj (exp wj)) x) (sqrt (exp wj))) (/ (/ 1 (+ wj 1)) (sqrt (exp wj))) (/ (- (* wj (exp wj)) x) 1) (/ (/ 1 (+ wj 1)) (exp wj)) (/ (/ (- (* wj (exp wj)) x) (+ (pow wj 3) (pow 1 3))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (+ (* wj wj) (- (* 1 1) (* wj 1))) (cbrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ (pow wj 3) (pow 1 3))) (sqrt (exp wj))) (/ (+ (* wj wj) (- (* 1 1) (* wj 1))) (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ (pow wj 3) (pow 1 3))) 1) (/ (+ (* wj wj) (- (* 1 1) (* wj 1))) (exp wj)) (/ (/ (- (* wj (exp wj)) x) (- (* wj wj) (* 1 1))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (- wj 1) (cbrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (- (* wj wj) (* 1 1))) (sqrt (exp wj))) (/ (- wj 1) (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (- (* wj wj) (* 1 1))) 1) (/ (- wj 1) (exp wj)) (/ 1 (exp wj)) (/ (exp wj) (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) 1) (/ (exp wj) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (/ (exp wj) (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (/ (exp wj) (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1)))) (/ (exp wj) (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1)))) (/ (exp wj) (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1))) (/ (exp wj) (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1))) (/ (exp wj) (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1)))) (/ (exp wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1)))) (/ (exp wj) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1))) (/ (exp wj) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1)))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1)))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (exp wj) (/ 1 (+ wj 1))) (/ (exp wj) (+ (* wj wj) (- (* 1 1) (* wj 1)))) (/ (exp wj) (- wj 1)) (* (exp wj) (+ wj 1)) (- (log (- (* wj (exp wj)) x)) (log (+ wj 1))) (log (/ (- (* wj (exp wj)) x) (+ wj 1))) (exp (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (* (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (- (* wj (exp wj)) x)) (* (* (+ wj 1) (+ wj 1)) (+ wj 1))) (* (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (* (* (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (neg (- (* wj (exp wj)) x)) (neg (+ wj 1)) (/ (* wj (exp wj)) (+ wj 1)) (/ x (+ wj 1)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ wj 1))) (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) 1) (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (/ (sqrt (- (* wj (exp wj)) x)) 1) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (sqrt (- (* wj (exp wj)) x)) 1) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) (/ 1 1) (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ 1 1) (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ 1 (+ wj 1)) (/ (+ wj 1) (- (* wj (exp wj)) x)) (/ (- (* wj (exp wj)) x) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) (/ (- (* wj (exp wj)) x) 1) (/ (- (* wj (exp wj)) x) 1) (/ (+ wj 1) (cbrt (- (* wj (exp wj)) x))) (/ (+ wj 1) (sqrt (- (* wj (exp wj)) x))) (/ (+ wj 1) (- (* wj (exp wj)) x)) (/ (- (* wj (exp wj)) x) (+ (pow wj 3) (pow 1 3))) (/ (- (* wj (exp wj)) x) (- (* wj wj) (* 1 1))) (* (+ wj 1) (+ (* (* wj (exp wj)) (* wj (exp wj))) (+ (* x x) (* (* wj (exp wj)) x)))) (* (+ wj 1) (+ (* wj (exp wj)) x)) (* wj (exp wj)) (+ (log wj) wj) (log (* wj (exp wj))) (exp (* wj (exp wj))) (* (* (* wj wj) wj) (* (* (exp wj) (exp wj)) (exp wj))) (* (cbrt (* wj (exp wj))) (cbrt (* wj (exp wj)))) (cbrt (* wj (exp wj))) (* (* (* wj (exp wj)) (* wj (exp wj))) (* wj (exp wj))) (sqrt (* wj (exp wj))) (sqrt (* wj (exp wj))) (* (sqrt wj) (sqrt (exp wj))) (* (sqrt wj) (sqrt (exp wj))) (* wj (* (cbrt (exp wj)) (cbrt (exp wj)))) (* wj (sqrt (exp wj))) (* wj 1) (* (cbrt wj) (exp wj)) (* (sqrt wj) (exp wj)) (* wj (exp wj)) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- wj (+ x (pow wj 2))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ wj (* wj x)) x) (- (+ (/ x (pow wj 2)) (exp wj)) (/ x wj)) (- (+ (/ x (pow wj 2)) (exp wj)) (/ x wj)) (+ wj (+ (pow wj 2) (* 1/2 (pow wj 3)))) (* wj (exp wj)) (* wj (exp wj)) 1.016 * * [simplify]: iteration 0 : 664 enodes (cost 1948 ) 1.030 * * [simplify]: iteration 1 : 3044 enodes (cost 1868 ) 1.071 * * [simplify]: iteration 2 : 5003 enodes (cost 1866 ) 1.081 * [simplify]: Simplified to: (exp (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (log (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (exp (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (* (cbrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (cbrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))))) (cbrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (pow (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) 3) (sqrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (sqrt (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (- (pow wj 3) (pow (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) 3)) (+ (* (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (+ (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) wj)) (pow wj 2)) (neg (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (- (pow wj 2) (/ (* (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ (- (* wj (exp wj)) x) (+ wj 1))) (exp (+ wj wj)))) (+ wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (+ (sqrt wj) (sqrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (- (sqrt wj) (sqrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (+ (sqrt wj) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj)))) (- (sqrt wj) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj)))) (+ (sqrt wj) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj)))) (- (sqrt wj) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj)))) (- wj (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (- wj (/ (/ (* wj (exp wj)) (+ wj 1)) (exp wj))) (neg (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (- (log (/ (- (* wj (exp wj)) x) (+ wj 1))) wj) (- (log (/ (- (* wj (exp wj)) x) (+ wj 1))) wj) (- (log (/ (- (* wj (exp wj)) x) (+ wj 1))) wj) (exp (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (pow (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) 3) (pow (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) 3) (* (cbrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (cbrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)))) (cbrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (pow (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) 3) (sqrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (sqrt (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj))) (neg (/ (- (* wj (exp wj)) x) (+ wj 1))) (neg (exp wj)) (/ (/ (* wj (exp wj)) (+ wj 1)) (exp wj)) (/ (/ x (+ wj 1)) (exp wj)) (/ (* (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (exp wj))) (/ (* (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (sqrt (exp wj))) (/ (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj))) (* (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (/ (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (exp wj)) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (exp wj))) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj))) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (exp wj))) (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (exp wj)) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (cbrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (sqrt (exp wj))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (sqrt (exp wj))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (exp wj)) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ wj 1))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (cbrt (exp wj))) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ wj 1))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (exp wj)) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (cbrt (exp wj))) (cbrt (exp wj))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (cbrt (exp wj))) (/ (cbrt (- (* wj (exp wj)) x)) (/ (sqrt (exp wj)) (cbrt (- (* wj (exp wj)) x)))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (sqrt (exp wj))) (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (exp wj)) (/ (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (cbrt (exp wj))) (cbrt (exp wj))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (cbrt (exp wj))) (/ (cbrt (- (* wj (exp wj)) x)) (/ (sqrt (exp wj)) (cbrt (- (* wj (exp wj)) x)))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (sqrt (exp wj))) (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (/ (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (exp wj)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (cbrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (sqrt (exp wj))) (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (exp wj)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (cbrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (exp wj)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (exp wj))) (cbrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (cbrt (exp wj))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (sqrt (exp wj))) (sqrt (- (* wj (exp wj)) x)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (exp wj)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (exp wj))) (cbrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (cbrt (exp wj))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (exp wj))) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (sqrt (exp wj))) (sqrt (- (* wj (exp wj)) x)) (/ (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (exp wj)) (/ (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1))) (cbrt (exp wj))) (/ (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1))) (sqrt (exp wj))) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1))) (exp wj)) (/ (/ 1 (sqrt (+ wj 1))) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) (cbrt (exp wj))) (/ (/ 1 (sqrt (+ wj 1))) (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) (sqrt (exp wj))) (/ 1 (sqrt (+ wj 1))) (/ (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (sqrt (exp wj))) 1 (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (sqrt (exp wj))) 1 (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (cbrt (exp wj))) (/ 1 (sqrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (sqrt (exp wj))) 1 (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (exp wj)) (/ (- (* wj (exp wj)) x) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ 1 (+ wj 1)) (cbrt (exp wj))) (/ (- (* wj (exp wj)) x) (sqrt (exp wj))) (/ (/ 1 (+ wj 1)) (sqrt (exp wj))) (- (* wj (exp wj)) x) (/ (/ 1 (+ wj 1)) (exp wj)) (/ (/ (- (* wj (exp wj)) x) (+ (pow wj 3) 1)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (+ (* wj wj) (- 1 (* wj 1))) (cbrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (+ (pow wj 3) 1)) (sqrt (exp wj))) (/ (+ (* wj wj) (- 1 (* wj 1))) (sqrt (exp wj))) (/ (- (* wj (exp wj)) x) (+ (pow wj 3) 1)) (/ (+ (* wj wj) (- 1 (* wj 1))) (exp wj)) (/ (/ (- (* wj (exp wj)) x) (- (* wj wj) 1)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (- wj 1) (cbrt (exp wj))) (/ (/ (- (* wj (exp wj)) x) (- (* wj wj) 1)) (sqrt (exp wj))) (/ (- wj 1) (sqrt (exp wj))) (/ (- (* wj (exp wj)) x) (- (* wj wj) 1)) (/ (- wj 1) (exp wj)) (/ 1 (exp wj)) (/ (exp wj) (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (* (cbrt (exp wj)) (cbrt (exp wj)))) (/ (/ (- (* wj (exp wj)) x) (+ wj 1)) (sqrt (exp wj))) (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ (exp wj) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (/ (exp wj) (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (/ (exp wj) (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1)))) (/ (exp wj) (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1)))) (/ (exp wj) (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1))) (/ (exp wj) (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1))) (/ (exp wj) (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1)))) (/ (exp wj) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1)))) (/ (exp wj) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1))) (/ (exp wj) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1)))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1)))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (+ wj 1))) (/ (exp wj) (/ (- (* wj (exp wj)) x) (+ wj 1))) (* (exp wj) (+ wj 1)) (/ (exp wj) (+ (* wj wj) (- 1 (* wj 1)))) (/ (exp wj) (- wj 1)) (* (exp wj) (+ wj 1)) (log (/ (- (* wj (exp wj)) x) (+ wj 1))) (log (/ (- (* wj (exp wj)) x) (+ wj 1))) (exp (/ (- (* wj (exp wj)) x) (+ wj 1))) (pow (/ (- (* wj (exp wj)) x) (+ wj 1)) 3) (* (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1)))) (cbrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (pow (/ (- (* wj (exp wj)) x) (+ wj 1)) 3) (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (sqrt (/ (- (* wj (exp wj)) x) (+ wj 1))) (neg (- (* wj (exp wj)) x)) (neg (+ wj 1)) (/ (* wj (exp wj)) (+ wj 1)) (/ x (+ wj 1)) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (cbrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (/ (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (sqrt (+ wj 1))) (/ (cbrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (* (cbrt (- (* wj (exp wj)) x)) (cbrt (- (* wj (exp wj)) x))) (/ (cbrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ wj 1))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (/ (sqrt (- (* wj (exp wj)) x)) (sqrt (+ wj 1))) (sqrt (- (* wj (exp wj)) x)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (sqrt (- (* wj (exp wj)) x)) (/ (sqrt (- (* wj (exp wj)) x)) (+ wj 1)) (/ 1 (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (* wj (exp wj)) x) (cbrt (+ wj 1))) (/ 1 (sqrt (+ wj 1))) (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) 1 (/ (- (* wj (exp wj)) x) (+ wj 1)) 1 (/ (- (* wj (exp wj)) x) (+ wj 1)) (/ 1 (+ wj 1)) (/ (+ wj 1) (- (* wj (exp wj)) x)) (/ (- (* wj (exp wj)) x) (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (/ (- (* wj (exp wj)) x) (sqrt (+ wj 1))) (- (* wj (exp wj)) x) (- (* wj (exp wj)) x) (/ (+ wj 1) (cbrt (- (* wj (exp wj)) x))) (/ (+ wj 1) (sqrt (- (* wj (exp wj)) x))) (/ (+ wj 1) (- (* wj (exp wj)) x)) (/ (- (* wj (exp wj)) x) (+ (pow wj 3) 1)) (/ (- (* wj (exp wj)) x) (- (* wj wj) 1)) (* (+ (* x (+ x (* wj (exp wj)))) (* (pow wj 2) (exp (+ wj wj)))) (+ wj 1)) (* (+ wj 1) (+ (* wj (exp wj)) x)) (* wj (exp wj)) (+ wj (log wj)) (+ wj (log wj)) (exp (* wj (exp wj))) (pow (* wj (exp wj)) 3) (* (cbrt (* wj (exp wj))) (cbrt (* wj (exp wj)))) (cbrt (* wj (exp wj))) (pow (* wj (exp wj)) 3) (sqrt (* wj (exp wj))) (sqrt (* wj (exp wj))) (* (sqrt wj) (sqrt (exp wj))) (* (sqrt wj) (sqrt (exp wj))) (* wj (* (cbrt (exp wj)) (cbrt (exp wj)))) (* wj (sqrt (exp wj))) wj (* (cbrt wj) (exp wj)) (* (sqrt wj) (exp wj)) (* wj (exp wj)) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ wj (/ x (* wj (exp wj)))) 1) (- (+ wj (/ x (* wj (exp wj)))) 1) (- wj (+ x (pow wj 2))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ (/ x (* (pow wj 2) (exp wj))) 1) (/ x (* wj (exp wj)))) (- (+ wj (* wj x)) x) (- (+ (/ x (pow wj 2)) (exp wj)) (/ x wj)) (- (+ (/ x (pow wj 2)) (exp wj)) (/ x wj)) (+ wj (+ (pow wj 2) (* 1/2 (pow wj 3)))) (* wj (exp wj)) (* wj (exp wj)) 1.083 * * * [progress]: adding candidates to table 1.257 * * [progress]: iteration 4 / 4 1.257 * * * [progress]: picking best candidate 1.265 * * * * [pick]: Picked # 1.266 * * * [progress]: localizing error 1.274 * * * [progress]: generating rewritten candidates 1.274 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.278 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.281 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.283 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.290 * * * [progress]: generating series expansions 1.290 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.290 * [approximate]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in (x wj) around 0 1.290 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in wj 1.290 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in wj 1.290 * [taylor]: Taking taylor expansion of x in wj 1.290 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.290 * [taylor]: Taking taylor expansion of wj in wj 1.290 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in wj 1.290 * [taylor]: Taking taylor expansion of 2 in wj 1.290 * [taylor]: Taking taylor expansion of (* wj x) in wj 1.290 * [taylor]: Taking taylor expansion of wj in wj 1.290 * [taylor]: Taking taylor expansion of x in wj 1.290 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 1.290 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 1.290 * [taylor]: Taking taylor expansion of x in x 1.290 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.290 * [taylor]: Taking taylor expansion of wj in x 1.290 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 1.290 * [taylor]: Taking taylor expansion of 2 in x 1.290 * [taylor]: Taking taylor expansion of (* wj x) in x 1.290 * [taylor]: Taking taylor expansion of wj in x 1.290 * [taylor]: Taking taylor expansion of x in x 1.290 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 1.290 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.291 * [taylor]: Taking taylor expansion of wj in x 1.291 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 1.291 * [taylor]: Taking taylor expansion of 2 in x 1.291 * [taylor]: Taking taylor expansion of (* wj x) in x 1.291 * [taylor]: Taking taylor expansion of wj in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.291 * [taylor]: Taking taylor expansion of wj in wj 1.291 * [taylor]: Taking taylor expansion of (- 1 (* 2 wj)) in wj 1.291 * [taylor]: Taking taylor expansion of 1 in wj 1.291 * [taylor]: Taking taylor expansion of (* 2 wj) in wj 1.291 * [taylor]: Taking taylor expansion of 2 in wj 1.291 * [taylor]: Taking taylor expansion of wj in wj 1.291 * [taylor]: Taking taylor expansion of 0 in wj 1.292 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in (x wj) around 0 1.292 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in wj 1.292 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in wj 1.292 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.292 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.292 * [taylor]: Taking taylor expansion of wj in wj 1.292 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.292 * [taylor]: Taking taylor expansion of x in wj 1.292 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 1.292 * [taylor]: Taking taylor expansion of 2 in wj 1.292 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 1.292 * [taylor]: Taking taylor expansion of (* wj x) in wj 1.292 * [taylor]: Taking taylor expansion of wj in wj 1.292 * [taylor]: Taking taylor expansion of x in wj 1.292 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 1.292 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 1.292 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.292 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.292 * [taylor]: Taking taylor expansion of wj in x 1.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.292 * [taylor]: Taking taylor expansion of x in x 1.293 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.293 * [taylor]: Taking taylor expansion of 2 in x 1.293 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.293 * [taylor]: Taking taylor expansion of (* wj x) in x 1.293 * [taylor]: Taking taylor expansion of wj in x 1.293 * [taylor]: Taking taylor expansion of x in x 1.293 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 1.293 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 1.293 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.293 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.293 * [taylor]: Taking taylor expansion of wj in x 1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.293 * [taylor]: Taking taylor expansion of x in x 1.293 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.293 * [taylor]: Taking taylor expansion of 2 in x 1.293 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.293 * [taylor]: Taking taylor expansion of (* wj x) in x 1.293 * [taylor]: Taking taylor expansion of wj in x 1.293 * [taylor]: Taking taylor expansion of x in x 1.293 * [taylor]: Taking taylor expansion of (- 1 (* 2 (/ 1 wj))) in wj 1.293 * [taylor]: Taking taylor expansion of 1 in wj 1.293 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 1.293 * [taylor]: Taking taylor expansion of 2 in wj 1.293 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.293 * [taylor]: Taking taylor expansion of wj in wj 1.294 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.294 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.294 * [taylor]: Taking taylor expansion of wj in wj 1.294 * [taylor]: Taking taylor expansion of 0 in wj 1.295 * [approximate]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in (x wj) around 0 1.295 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in wj 1.295 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.295 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.295 * [taylor]: Taking taylor expansion of wj in wj 1.295 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in wj 1.295 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 1.295 * [taylor]: Taking taylor expansion of 2 in wj 1.295 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 1.295 * [taylor]: Taking taylor expansion of (* wj x) in wj 1.295 * [taylor]: Taking taylor expansion of wj in wj 1.295 * [taylor]: Taking taylor expansion of x in wj 1.295 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.295 * [taylor]: Taking taylor expansion of x in wj 1.295 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 1.295 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.295 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.295 * [taylor]: Taking taylor expansion of wj in x 1.295 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 1.295 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.295 * [taylor]: Taking taylor expansion of 2 in x 1.295 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.295 * [taylor]: Taking taylor expansion of (* wj x) in x 1.295 * [taylor]: Taking taylor expansion of wj in x 1.295 * [taylor]: Taking taylor expansion of x in x 1.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.295 * [taylor]: Taking taylor expansion of x in x 1.295 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 1.296 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.296 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.296 * [taylor]: Taking taylor expansion of wj in x 1.296 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 1.296 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.296 * [taylor]: Taking taylor expansion of 2 in x 1.296 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.296 * [taylor]: Taking taylor expansion of (* wj x) in x 1.296 * [taylor]: Taking taylor expansion of wj in x 1.296 * [taylor]: Taking taylor expansion of x in x 1.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.296 * [taylor]: Taking taylor expansion of x in x 1.296 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 wj)) 1)) in wj 1.296 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 wj)) 1) in wj 1.296 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 1.296 * [taylor]: Taking taylor expansion of 2 in wj 1.296 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.296 * [taylor]: Taking taylor expansion of wj in wj 1.296 * [taylor]: Taking taylor expansion of 1 in wj 1.297 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.297 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.297 * [taylor]: Taking taylor expansion of wj in wj 1.297 * [taylor]: Taking taylor expansion of 0 in wj 1.297 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.298 * [approximate]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in (x wj) around 0 1.298 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in wj 1.298 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in wj 1.298 * [taylor]: Taking taylor expansion of x in wj 1.298 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.298 * [taylor]: Taking taylor expansion of wj in wj 1.298 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in wj 1.298 * [taylor]: Taking taylor expansion of 2 in wj 1.298 * [taylor]: Taking taylor expansion of (* wj x) in wj 1.298 * [taylor]: Taking taylor expansion of wj in wj 1.298 * [taylor]: Taking taylor expansion of x in wj 1.298 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 1.298 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.298 * [taylor]: Taking taylor expansion of wj in x 1.298 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 1.298 * [taylor]: Taking taylor expansion of 2 in x 1.298 * [taylor]: Taking taylor expansion of (* wj x) in x 1.298 * [taylor]: Taking taylor expansion of wj in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 1.298 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.298 * [taylor]: Taking taylor expansion of wj in x 1.298 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 1.298 * [taylor]: Taking taylor expansion of 2 in x 1.298 * [taylor]: Taking taylor expansion of (* wj x) in x 1.298 * [taylor]: Taking taylor expansion of wj in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.298 * [taylor]: Taking taylor expansion of wj in wj 1.298 * [taylor]: Taking taylor expansion of (- 1 (* 2 wj)) in wj 1.298 * [taylor]: Taking taylor expansion of 1 in wj 1.298 * [taylor]: Taking taylor expansion of (* 2 wj) in wj 1.298 * [taylor]: Taking taylor expansion of 2 in wj 1.299 * [taylor]: Taking taylor expansion of wj in wj 1.299 * [taylor]: Taking taylor expansion of 0 in wj 1.299 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in (x wj) around 0 1.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in wj 1.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in wj 1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.299 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.299 * [taylor]: Taking taylor expansion of wj in wj 1.299 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.299 * [taylor]: Taking taylor expansion of x in wj 1.299 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 1.299 * [taylor]: Taking taylor expansion of 2 in wj 1.299 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 1.299 * [taylor]: Taking taylor expansion of (* wj x) in wj 1.299 * [taylor]: Taking taylor expansion of wj in wj 1.299 * [taylor]: Taking taylor expansion of x in wj 1.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 1.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.299 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.299 * [taylor]: Taking taylor expansion of wj in x 1.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.300 * [taylor]: Taking taylor expansion of x in x 1.300 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.300 * [taylor]: Taking taylor expansion of 2 in x 1.300 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.300 * [taylor]: Taking taylor expansion of (* wj x) in x 1.300 * [taylor]: Taking taylor expansion of wj in x 1.300 * [taylor]: Taking taylor expansion of x in x 1.300 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 1.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 1.300 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.300 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.300 * [taylor]: Taking taylor expansion of wj in x 1.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.300 * [taylor]: Taking taylor expansion of x in x 1.300 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.300 * [taylor]: Taking taylor expansion of 2 in x 1.300 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.300 * [taylor]: Taking taylor expansion of (* wj x) in x 1.300 * [taylor]: Taking taylor expansion of wj in x 1.300 * [taylor]: Taking taylor expansion of x in x 1.300 * [taylor]: Taking taylor expansion of (- 1 (* 2 (/ 1 wj))) in wj 1.300 * [taylor]: Taking taylor expansion of 1 in wj 1.300 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 1.300 * [taylor]: Taking taylor expansion of 2 in wj 1.300 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.300 * [taylor]: Taking taylor expansion of wj in wj 1.301 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.301 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.301 * [taylor]: Taking taylor expansion of wj in wj 1.301 * [taylor]: Taking taylor expansion of 0 in wj 1.301 * [approximate]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in (x wj) around 0 1.302 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in wj 1.302 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.302 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.302 * [taylor]: Taking taylor expansion of wj in wj 1.302 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in wj 1.302 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 1.302 * [taylor]: Taking taylor expansion of 2 in wj 1.302 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 1.302 * [taylor]: Taking taylor expansion of (* wj x) in wj 1.302 * [taylor]: Taking taylor expansion of wj in wj 1.302 * [taylor]: Taking taylor expansion of x in wj 1.302 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.302 * [taylor]: Taking taylor expansion of x in wj 1.302 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 1.302 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.302 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.302 * [taylor]: Taking taylor expansion of wj in x 1.302 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 1.302 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.302 * [taylor]: Taking taylor expansion of 2 in x 1.302 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.302 * [taylor]: Taking taylor expansion of (* wj x) in x 1.302 * [taylor]: Taking taylor expansion of wj in x 1.302 * [taylor]: Taking taylor expansion of x in x 1.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.302 * [taylor]: Taking taylor expansion of x in x 1.302 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 1.302 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.302 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.302 * [taylor]: Taking taylor expansion of wj in x 1.302 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 1.302 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.302 * [taylor]: Taking taylor expansion of 2 in x 1.302 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.302 * [taylor]: Taking taylor expansion of (* wj x) in x 1.302 * [taylor]: Taking taylor expansion of wj in x 1.302 * [taylor]: Taking taylor expansion of x in x 1.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.302 * [taylor]: Taking taylor expansion of x in x 1.303 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 wj)) 1)) in wj 1.303 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 wj)) 1) in wj 1.303 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 1.303 * [taylor]: Taking taylor expansion of 2 in wj 1.303 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.303 * [taylor]: Taking taylor expansion of wj in wj 1.303 * [taylor]: Taking taylor expansion of 1 in wj 1.303 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.303 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.303 * [taylor]: Taking taylor expansion of wj in wj 1.303 * [taylor]: Taking taylor expansion of 0 in wj 1.304 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.304 * [approximate]: Taking taylor expansion of (log (- (+ x (pow wj 2)) (* 2 (* wj x)))) in (x wj) around 0 1.304 * [taylor]: Taking taylor expansion of (log (- (+ x (pow wj 2)) (* 2 (* wj x)))) in wj 1.304 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in wj 1.304 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in wj 1.304 * [taylor]: Taking taylor expansion of x in wj 1.304 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.304 * [taylor]: Taking taylor expansion of wj in wj 1.304 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in wj 1.304 * [taylor]: Taking taylor expansion of 2 in wj 1.304 * [taylor]: Taking taylor expansion of (* wj x) in wj 1.304 * [taylor]: Taking taylor expansion of wj in wj 1.304 * [taylor]: Taking taylor expansion of x in wj 1.304 * [taylor]: Taking taylor expansion of (log (- (+ x (pow wj 2)) (* 2 (* wj x)))) in x 1.304 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 1.304 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 1.304 * [taylor]: Taking taylor expansion of x in x 1.304 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.304 * [taylor]: Taking taylor expansion of wj in x 1.304 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 1.304 * [taylor]: Taking taylor expansion of 2 in x 1.304 * [taylor]: Taking taylor expansion of (* wj x) in x 1.304 * [taylor]: Taking taylor expansion of wj in x 1.304 * [taylor]: Taking taylor expansion of x in x 1.305 * [taylor]: Taking taylor expansion of (log (- (+ x (pow wj 2)) (* 2 (* wj x)))) in x 1.305 * [taylor]: Taking taylor expansion of (- (+ x (pow wj 2)) (* 2 (* wj x))) in x 1.305 * [taylor]: Taking taylor expansion of (+ x (pow wj 2)) in x 1.305 * [taylor]: Taking taylor expansion of x in x 1.305 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.305 * [taylor]: Taking taylor expansion of wj in x 1.305 * [taylor]: Taking taylor expansion of (* 2 (* wj x)) in x 1.305 * [taylor]: Taking taylor expansion of 2 in x 1.305 * [taylor]: Taking taylor expansion of (* wj x) in x 1.305 * [taylor]: Taking taylor expansion of wj in x 1.305 * [taylor]: Taking taylor expansion of x in x 1.305 * [taylor]: Taking taylor expansion of (log (pow wj 2)) in wj 1.305 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.305 * [taylor]: Taking taylor expansion of wj in wj 1.306 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (* 2 (/ 1 wj))) in wj 1.306 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.306 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.306 * [taylor]: Taking taylor expansion of wj in wj 1.306 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 1.306 * [taylor]: Taking taylor expansion of 2 in wj 1.306 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.306 * [taylor]: Taking taylor expansion of wj in wj 1.307 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 4 (/ 1 (pow wj 3))) (+ (* 4 (/ 1 (pow wj 2))) (/ 1 (pow wj 4))))) in wj 1.307 * [taylor]: Taking taylor expansion of 1/2 in wj 1.307 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow wj 3))) (+ (* 4 (/ 1 (pow wj 2))) (/ 1 (pow wj 4)))) in wj 1.307 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow wj 3))) in wj 1.307 * [taylor]: Taking taylor expansion of 4 in wj 1.307 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 1.307 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 1.307 * [taylor]: Taking taylor expansion of wj in wj 1.307 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow wj 2))) (/ 1 (pow wj 4))) in wj 1.307 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow wj 2))) in wj 1.307 * [taylor]: Taking taylor expansion of 4 in wj 1.307 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.307 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.307 * [taylor]: Taking taylor expansion of wj in wj 1.307 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 4)) in wj 1.307 * [taylor]: Taking taylor expansion of (pow wj 4) in wj 1.307 * [taylor]: Taking taylor expansion of wj in wj 1.309 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (* 2 (/ 1 (pow wj 6))) (* 24 (/ 1 (pow wj 4)))) (+ (* 16 (/ 1 (pow wj 3))) (* 12 (/ 1 (pow wj 5)))))) in wj 1.309 * [taylor]: Taking taylor expansion of 1/6 in wj 1.309 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (pow wj 6))) (* 24 (/ 1 (pow wj 4)))) (+ (* 16 (/ 1 (pow wj 3))) (* 12 (/ 1 (pow wj 5))))) in wj 1.309 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow wj 6))) (* 24 (/ 1 (pow wj 4)))) in wj 1.309 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow wj 6))) in wj 1.309 * [taylor]: Taking taylor expansion of 2 in wj 1.309 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 6)) in wj 1.309 * [taylor]: Taking taylor expansion of (pow wj 6) in wj 1.309 * [taylor]: Taking taylor expansion of wj in wj 1.309 * [taylor]: Taking taylor expansion of (* 24 (/ 1 (pow wj 4))) in wj 1.309 * [taylor]: Taking taylor expansion of 24 in wj 1.309 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 4)) in wj 1.309 * [taylor]: Taking taylor expansion of (pow wj 4) in wj 1.309 * [taylor]: Taking taylor expansion of wj in wj 1.309 * [taylor]: Taking taylor expansion of (+ (* 16 (/ 1 (pow wj 3))) (* 12 (/ 1 (pow wj 5)))) in wj 1.309 * [taylor]: Taking taylor expansion of (* 16 (/ 1 (pow wj 3))) in wj 1.309 * [taylor]: Taking taylor expansion of 16 in wj 1.310 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 3)) in wj 1.310 * [taylor]: Taking taylor expansion of (pow wj 3) in wj 1.310 * [taylor]: Taking taylor expansion of wj in wj 1.310 * [taylor]: Taking taylor expansion of (* 12 (/ 1 (pow wj 5))) in wj 1.310 * [taylor]: Taking taylor expansion of 12 in wj 1.310 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 5)) in wj 1.310 * [taylor]: Taking taylor expansion of (pow wj 5) in wj 1.310 * [taylor]: Taking taylor expansion of wj in wj 1.313 * [approximate]: Taking taylor expansion of (log (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x))))) in (x wj) around 0 1.313 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x))))) in wj 1.313 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in wj 1.313 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in wj 1.313 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.313 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.313 * [taylor]: Taking taylor expansion of wj in wj 1.313 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.313 * [taylor]: Taking taylor expansion of x in wj 1.313 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 1.313 * [taylor]: Taking taylor expansion of 2 in wj 1.313 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 1.313 * [taylor]: Taking taylor expansion of (* wj x) in wj 1.313 * [taylor]: Taking taylor expansion of wj in wj 1.313 * [taylor]: Taking taylor expansion of x in wj 1.313 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x))))) in x 1.313 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 1.313 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 1.313 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.313 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.313 * [taylor]: Taking taylor expansion of wj in x 1.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.314 * [taylor]: Taking taylor expansion of x in x 1.314 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.314 * [taylor]: Taking taylor expansion of 2 in x 1.314 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.314 * [taylor]: Taking taylor expansion of (* wj x) in x 1.314 * [taylor]: Taking taylor expansion of wj in x 1.314 * [taylor]: Taking taylor expansion of x in x 1.314 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x))))) in x 1.314 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow wj 2)) (/ 1 x)) (* 2 (/ 1 (* wj x)))) in x 1.314 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow wj 2)) (/ 1 x)) in x 1.314 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.314 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.314 * [taylor]: Taking taylor expansion of wj in x 1.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.314 * [taylor]: Taking taylor expansion of x in x 1.314 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.314 * [taylor]: Taking taylor expansion of 2 in x 1.314 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.314 * [taylor]: Taking taylor expansion of (* wj x) in x 1.314 * [taylor]: Taking taylor expansion of wj in x 1.314 * [taylor]: Taking taylor expansion of x in x 1.315 * [taylor]: Taking taylor expansion of (- (log (- 1 (* 2 (/ 1 wj)))) (log x)) in wj 1.315 * [taylor]: Taking taylor expansion of (log (- 1 (* 2 (/ 1 wj)))) in wj 1.315 * [taylor]: Taking taylor expansion of (- 1 (* 2 (/ 1 wj))) in wj 1.315 * [taylor]: Taking taylor expansion of 1 in wj 1.315 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 1.315 * [taylor]: Taking taylor expansion of 2 in wj 1.315 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.315 * [taylor]: Taking taylor expansion of wj in wj 1.315 * [taylor]: Taking taylor expansion of (log x) in wj 1.315 * [taylor]: Taking taylor expansion of x in wj 1.315 * [taylor]: Taking taylor expansion of (/ 1 (* (pow wj 2) (- 1 (* 2 (/ 1 wj))))) in wj 1.315 * [taylor]: Taking taylor expansion of (* (pow wj 2) (- 1 (* 2 (/ 1 wj)))) in wj 1.315 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.315 * [taylor]: Taking taylor expansion of wj in wj 1.315 * [taylor]: Taking taylor expansion of (- 1 (* 2 (/ 1 wj))) in wj 1.315 * [taylor]: Taking taylor expansion of 1 in wj 1.315 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 1.316 * [taylor]: Taking taylor expansion of 2 in wj 1.316 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.316 * [taylor]: Taking taylor expansion of wj in wj 1.316 * [approximate]: Taking taylor expansion of (log (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x)))) in (x wj) around 0 1.316 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x)))) in wj 1.316 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in wj 1.316 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in wj 1.316 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.316 * [taylor]: Taking taylor expansion of wj in wj 1.316 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in wj 1.317 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in wj 1.317 * [taylor]: Taking taylor expansion of 2 in wj 1.317 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in wj 1.317 * [taylor]: Taking taylor expansion of (* wj x) in wj 1.317 * [taylor]: Taking taylor expansion of wj in wj 1.317 * [taylor]: Taking taylor expansion of x in wj 1.317 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.317 * [taylor]: Taking taylor expansion of x in wj 1.317 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x)))) in x 1.317 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.317 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.317 * [taylor]: Taking taylor expansion of wj in x 1.317 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 1.317 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.317 * [taylor]: Taking taylor expansion of 2 in x 1.317 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.317 * [taylor]: Taking taylor expansion of (* wj x) in x 1.317 * [taylor]: Taking taylor expansion of wj in x 1.317 * [taylor]: Taking taylor expansion of x in x 1.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.317 * [taylor]: Taking taylor expansion of x in x 1.317 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x)))) in x 1.317 * [taylor]: Taking taylor expansion of (- (/ 1 (pow wj 2)) (+ (* 2 (/ 1 (* wj x))) (/ 1 x))) in x 1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow wj 2)) in x 1.317 * [taylor]: Taking taylor expansion of (pow wj 2) in x 1.317 * [taylor]: Taking taylor expansion of wj in x 1.317 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* wj x))) (/ 1 x)) in x 1.317 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* wj x))) in x 1.317 * [taylor]: Taking taylor expansion of 2 in x 1.317 * [taylor]: Taking taylor expansion of (/ 1 (* wj x)) in x 1.318 * [taylor]: Taking taylor expansion of (* wj x) in x 1.318 * [taylor]: Taking taylor expansion of wj in x 1.318 * [taylor]: Taking taylor expansion of x in x 1.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.318 * [taylor]: Taking taylor expansion of x in x 1.318 * [taylor]: Taking taylor expansion of (- (log (neg (+ (* 2 (/ 1 wj)) 1))) (log x)) in wj 1.318 * [taylor]: Taking taylor expansion of (log (neg (+ (* 2 (/ 1 wj)) 1))) in wj 1.318 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 wj)) 1)) in wj 1.318 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 wj)) 1) in wj 1.318 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 1.318 * [taylor]: Taking taylor expansion of 2 in wj 1.318 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.318 * [taylor]: Taking taylor expansion of wj in wj 1.318 * [taylor]: Taking taylor expansion of 1 in wj 1.318 * [taylor]: Taking taylor expansion of (log x) in wj 1.318 * [taylor]: Taking taylor expansion of x in wj 1.319 * [taylor]: Taking taylor expansion of (/ -1 (* (pow wj 2) (+ (* 2 (/ 1 wj)) 1))) in wj 1.319 * [taylor]: Taking taylor expansion of -1 in wj 1.319 * [taylor]: Taking taylor expansion of (* (pow wj 2) (+ (* 2 (/ 1 wj)) 1)) in wj 1.319 * [taylor]: Taking taylor expansion of (pow wj 2) in wj 1.319 * [taylor]: Taking taylor expansion of wj in wj 1.319 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 wj)) 1) in wj 1.319 * [taylor]: Taking taylor expansion of (* 2 (/ 1 wj)) in wj 1.319 * [taylor]: Taking taylor expansion of 2 in wj 1.319 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.319 * [taylor]: Taking taylor expansion of wj in wj 1.319 * [taylor]: Taking taylor expansion of 1 in wj 1.320 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.320 * [approximate]: Taking taylor expansion of (* wj (- wj (* 2 x))) in (wj x) around 0 1.320 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in x 1.320 * [taylor]: Taking taylor expansion of wj in x 1.320 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in x 1.320 * [taylor]: Taking taylor expansion of wj in x 1.320 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.320 * [taylor]: Taking taylor expansion of 2 in x 1.320 * [taylor]: Taking taylor expansion of x in x 1.320 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 1.320 * [taylor]: Taking taylor expansion of wj in wj 1.320 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 1.320 * [taylor]: Taking taylor expansion of wj in wj 1.320 * [taylor]: Taking taylor expansion of (* 2 x) in wj 1.320 * [taylor]: Taking taylor expansion of 2 in wj 1.320 * [taylor]: Taking taylor expansion of x in wj 1.320 * [taylor]: Taking taylor expansion of (* wj (- wj (* 2 x))) in wj 1.320 * [taylor]: Taking taylor expansion of wj in wj 1.320 * [taylor]: Taking taylor expansion of (- wj (* 2 x)) in wj 1.320 * [taylor]: Taking taylor expansion of wj in wj 1.320 * [taylor]: Taking taylor expansion of (* 2 x) in wj 1.320 * [taylor]: Taking taylor expansion of 2 in wj 1.320 * [taylor]: Taking taylor expansion of x in wj 1.320 * [taylor]: Taking taylor expansion of 0 in x 1.320 * [taylor]: Taking taylor expansion of (neg (* 2 x)) in x 1.320 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.320 * [taylor]: Taking taylor expansion of 2 in x 1.320 * [taylor]: Taking taylor expansion of x in x 1.320 * [taylor]: Taking taylor expansion of 1 in x 1.321 * [taylor]: Taking taylor expansion of 0 in x 1.321 * [taylor]: Taking taylor expansion of 0 in x 1.321 * [approximate]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in (wj x) around 0 1.321 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in x 1.321 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in x 1.321 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.321 * [taylor]: Taking taylor expansion of wj in x 1.321 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.321 * [taylor]: Taking taylor expansion of 2 in x 1.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.321 * [taylor]: Taking taylor expansion of x in x 1.321 * [taylor]: Taking taylor expansion of wj in x 1.321 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 1.321 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 1.321 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.321 * [taylor]: Taking taylor expansion of wj in wj 1.321 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 1.321 * [taylor]: Taking taylor expansion of 2 in wj 1.321 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.321 * [taylor]: Taking taylor expansion of x in wj 1.322 * [taylor]: Taking taylor expansion of wj in wj 1.322 * [taylor]: Taking taylor expansion of (/ (- (/ 1 wj) (* 2 (/ 1 x))) wj) in wj 1.322 * [taylor]: Taking taylor expansion of (- (/ 1 wj) (* 2 (/ 1 x))) in wj 1.322 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.322 * [taylor]: Taking taylor expansion of wj in wj 1.322 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 1.322 * [taylor]: Taking taylor expansion of 2 in wj 1.322 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.322 * [taylor]: Taking taylor expansion of x in wj 1.322 * [taylor]: Taking taylor expansion of wj in wj 1.322 * [taylor]: Taking taylor expansion of 1 in x 1.322 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 1.322 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.322 * [taylor]: Taking taylor expansion of 2 in x 1.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.322 * [taylor]: Taking taylor expansion of x in x 1.322 * [taylor]: Taking taylor expansion of 0 in x 1.323 * [taylor]: Taking taylor expansion of 0 in x 1.323 * [taylor]: Taking taylor expansion of 0 in x 1.323 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in (wj x) around 0 1.323 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in x 1.323 * [taylor]: Taking taylor expansion of -1 in x 1.323 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in x 1.323 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in x 1.323 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.323 * [taylor]: Taking taylor expansion of 2 in x 1.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.323 * [taylor]: Taking taylor expansion of x in x 1.323 * [taylor]: Taking taylor expansion of (/ 1 wj) in x 1.323 * [taylor]: Taking taylor expansion of wj in x 1.323 * [taylor]: Taking taylor expansion of wj in x 1.324 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 1.324 * [taylor]: Taking taylor expansion of -1 in wj 1.324 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 1.324 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 1.324 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 1.324 * [taylor]: Taking taylor expansion of 2 in wj 1.324 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.324 * [taylor]: Taking taylor expansion of x in wj 1.324 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.324 * [taylor]: Taking taylor expansion of wj in wj 1.324 * [taylor]: Taking taylor expansion of wj in wj 1.324 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj)) in wj 1.324 * [taylor]: Taking taylor expansion of -1 in wj 1.324 * [taylor]: Taking taylor expansion of (/ (- (* 2 (/ 1 x)) (/ 1 wj)) wj) in wj 1.324 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) (/ 1 wj)) in wj 1.324 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in wj 1.324 * [taylor]: Taking taylor expansion of 2 in wj 1.324 * [taylor]: Taking taylor expansion of (/ 1 x) in wj 1.324 * [taylor]: Taking taylor expansion of x in wj 1.324 * [taylor]: Taking taylor expansion of (/ 1 wj) in wj 1.324 * [taylor]: Taking taylor expansion of wj in wj 1.324 * [taylor]: Taking taylor expansion of wj in wj 1.324 * [taylor]: Taking taylor expansion of 1 in x 1.324 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 1.324 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.324 * [taylor]: Taking taylor expansion of 2 in x 1.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.327 * [taylor]: Taking taylor expansion of 0 in x 1.327 * [taylor]: Taking taylor expansion of 0 in x 1.328 * [taylor]: Taking taylor expansion of 0 in x 1.328 * * * [progress]: simplifying candidates 1.329 * [simplify]: Simplifying using # : (exp 1) (exp (* (cbrt (log (+ x (* wj (- wj (* 2 x)))))) (cbrt (log (+ x (* wj (- wj (* 2 x)))))))) (exp (sqrt (log (+ x (* wj (- wj (* 2 x))))))) (exp 1) (exp (log (* (cbrt (+ x (* wj (- wj (* 2 x))))) (cbrt (+ x (* wj (- wj (* 2 x)))))))) (exp (log (cbrt (+ x (* wj (- wj (* 2 x))))))) (exp (log (sqrt (+ x (* wj (- wj (* 2 x))))))) (exp (log (sqrt (+ x (* wj (- wj (* 2 x))))))) (exp (log 1)) (exp (log (+ x (* wj (- wj (* 2 x)))))) (exp (log (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3)))) (exp (log (+ (* x x) (- (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))) (* x (* wj (- wj (* 2 x)))))))) (exp (log (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))))))) (exp (log (- x (* wj (- wj (* 2 x)))))) (log (exp (log (+ x (* wj (- wj (* 2 x))))))) (exp (exp (log (+ x (* wj (- wj (* 2 x))))))) (* (cbrt (exp (log (+ x (* wj (- wj (* 2 x))))))) (cbrt (exp (log (+ x (* wj (- wj (* 2 x)))))))) (cbrt (exp (log (+ x (* wj (- wj (* 2 x))))))) (* (* (exp (log (+ x (* wj (- wj (* 2 x)))))) (exp (log (+ x (* wj (- wj (* 2 x))))))) (exp (log (+ x (* wj (- wj (* 2 x))))))) (sqrt (exp (log (+ x (* wj (- wj (* 2 x))))))) (sqrt (exp (log (+ x (* wj (- wj (* 2 x))))))) (* (exp x) (exp (* wj (- wj (* 2 x))))) (log (+ x (* wj (- wj (* 2 x))))) (exp (+ x (* wj (- wj (* 2 x))))) (* (cbrt (+ x (* wj (- wj (* 2 x))))) (cbrt (+ x (* wj (- wj (* 2 x)))))) (cbrt (+ x (* wj (- wj (* 2 x))))) (* (* (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x))))) (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3)) (+ (* x x) (- (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))) (* x (* wj (- wj (* 2 x)))))) (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))))) (- x (* wj (- wj (* 2 x)))) (+ x (* wj wj)) (+ x (* wj wj)) (+ x (* wj wj)) (+ x (* wj wj)) (log (* (cbrt (+ x (* wj (- wj (* 2 x))))) (cbrt (+ x (* wj (- wj (* 2 x))))))) (log (cbrt (+ x (* wj (- wj (* 2 x)))))) (log (sqrt (+ x (* wj (- wj (* 2 x)))))) (log (sqrt (+ x (* wj (- wj (* 2 x)))))) (log 1) (log (+ x (* wj (- wj (* 2 x))))) (log (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3))) (log (+ (* x x) (- (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))) (* x (* wj (- wj (* 2 x))))))) (log (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))))) (log (- x (* wj (- wj (* 2 x))))) (log (+ x (* wj (- wj (* 2 x))))) (log (log (+ x (* wj (- wj (* 2 x)))))) (exp (log (+ x (* wj (- wj (* 2 x)))))) (* (cbrt (log (+ x (* wj (- wj (* 2 x)))))) (cbrt (log (+ x (* wj (- wj (* 2 x))))))) (cbrt (log (+ x (* wj (- wj (* 2 x)))))) (* (* (log (+ x (* wj (- wj (* 2 x))))) (log (+ x (* wj (- wj (* 2 x)))))) (log (+ x (* wj (- wj (* 2 x)))))) (sqrt (log (+ x (* wj (- wj (* 2 x)))))) (sqrt (log (+ x (* wj (- wj (* 2 x)))))) (* wj (- wj (* 2 x))) (+ (log wj) (log (- wj (* 2 x)))) (log (* wj (- wj (* 2 x)))) (exp (* wj (- wj (* 2 x)))) (* (* (* wj wj) wj) (* (* (- wj (* 2 x)) (- wj (* 2 x))) (- wj (* 2 x)))) (* (cbrt (* wj (- wj (* 2 x)))) (cbrt (* wj (- wj (* 2 x))))) (cbrt (* wj (- wj (* 2 x)))) (* (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))) (* wj (- wj (* 2 x)))) (sqrt (* wj (- wj (* 2 x)))) (sqrt (* wj (- wj (* 2 x)))) (* (sqrt wj) (sqrt (- wj (* 2 x)))) (* (sqrt wj) (sqrt (- wj (* 2 x)))) (* wj wj) (* wj (neg (* 2 x))) (* wj wj) (* wj (neg (* 2 x))) (* wj wj) (* (neg (* 2 x)) wj) (* wj wj) (* (neg (* 2 x)) wj) (* wj (* (cbrt (- wj (* 2 x))) (cbrt (- wj (* 2 x))))) (* wj (sqrt (- wj (* 2 x)))) (* wj 1) (* (cbrt wj) (- wj (* 2 x))) (* (sqrt wj) (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- (pow wj 3) (pow (* 2 x) 3))) (* wj (- (* wj wj) (* (* 2 x) (* 2 x)))) (- (+ 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))) (- (+ x (pow wj 2)) (* 2 (* wj x))) (- (+ x (pow wj 2)) (* 2 (* wj x))) (+ (log 1) (* 2 (log wj))) (- (log (neg 2)) (+ (log (/ 1 wj)) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 wj)) (* 1/4 (/ 1 x)))))) (- (log (neg 2)) (+ (log (/ -1 wj)) (+ (* 1/4 (/ 1 x)) (+ (* 1/2 (/ 1 wj)) (log (/ -1 x)))))) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) (- (pow wj 2) (* 2 (* wj x))) 1.334 * * [simplify]: iteration 0 : 287 enodes (cost 540 ) 1.339 * * [simplify]: iteration 1 : 1046 enodes (cost 481 ) 1.363 * * [simplify]: iteration 2 : 5001 enodes (cost 468 ) 1.366 * [simplify]: Simplified to: E (exp (* (cbrt (log (+ x (* wj (- wj (* 2 x)))))) (cbrt (log (+ x (* wj (- wj (* 2 x)))))))) (exp (sqrt (log (+ x (* wj (- wj (* 2 x))))))) E (pow (exp 2) (log (cbrt (+ x (* wj (- wj (* 2 x))))))) (cbrt (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) 1 (+ x (* wj (- wj (* 2 x)))) (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3)) (+ (* (* wj (- wj (* 2 x))) (- (* wj (- wj (* 2 x))) x)) (* x x)) (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))))) (- x (* wj (- wj (* 2 x)))) (log (+ x (* wj (- wj (* 2 x))))) (exp (+ x (* wj (- wj (* 2 x))))) (pow (exp 2) (log (cbrt (+ x (* wj (- wj (* 2 x))))))) (cbrt (+ x (* wj (- wj (* 2 x))))) (pow (+ x (* wj (- wj (* 2 x)))) 3) (sqrt (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (exp (+ x (* wj (- wj (* 2 x))))) (log (+ x (* wj (- wj (* 2 x))))) (exp (+ x (* wj (- wj (* 2 x))))) (pow (exp 2) (log (cbrt (+ x (* wj (- wj (* 2 x))))))) (cbrt (+ x (* wj (- wj (* 2 x))))) (pow (+ x (* wj (- wj (* 2 x)))) 3) (sqrt (+ x (* wj (- wj (* 2 x))))) (sqrt (+ x (* wj (- wj (* 2 x))))) (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3)) (+ (* (* wj (- wj (* 2 x))) (- (* wj (- wj (* 2 x))) x)) (* x x)) (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))))) (- x (* wj (- wj (* 2 x)))) (+ x (pow wj 2)) (+ x (pow wj 2)) (+ x (pow wj 2)) (+ x (pow wj 2)) (* 2 (log (cbrt (+ x (* wj (- wj (* 2 x))))))) (log (cbrt (+ x (* wj (- wj (* 2 x)))))) (log (sqrt (+ x (* wj (- wj (* 2 x)))))) (log (sqrt (+ x (* wj (- wj (* 2 x)))))) 0 (log (+ x (* wj (- wj (* 2 x))))) (log (+ (pow x 3) (pow (* wj (- wj (* 2 x))) 3))) (log (+ (* x x) (- (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))) (* x (* wj (- wj (* 2 x))))))) (log (- (* x x) (* (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x)))))) (log (- x (* wj (- wj (* 2 x))))) (log (+ x (* wj (- wj (* 2 x))))) (log (log (+ x (* wj (- wj (* 2 x)))))) (+ x (* wj (- wj (* 2 x)))) (* (cbrt (log (+ x (* wj (- wj (* 2 x)))))) (cbrt (log (+ x (* wj (- wj (* 2 x))))))) (cbrt (log (+ x (* wj (- wj (* 2 x)))))) (pow (log (+ x (* wj (- wj (* 2 x))))) 3) (sqrt (log (+ x (* wj (- wj (* 2 x)))))) (sqrt (log (+ x (* wj (- wj (* 2 x)))))) (* wj (- wj (* 2 x))) (log (* wj (- wj (* 2 x)))) (log (* wj (- wj (* 2 x)))) (exp (* wj (- wj (* 2 x)))) (pow (* wj (- wj (* 2 x))) 3) (* (cbrt (* wj (- wj (* 2 x)))) (cbrt (* wj (- wj (* 2 x))))) (cbrt (* wj (- wj (* 2 x)))) (pow (* wj (- wj (* 2 x))) 3) (sqrt (* wj (- wj (* 2 x)))) (sqrt (* wj (- wj (* 2 x)))) (* (sqrt (- wj (* 2 x))) (pow wj 1/2)) (* (sqrt (- wj (* 2 x))) (pow wj 1/2)) (pow wj 2) (* (* -2 x) wj) (pow wj 2) (* (* -2 x) wj) (pow wj 2) (* (* -2 x) wj) (pow wj 2) (* (* -2 x) wj) (* wj (* (cbrt (- wj (* 2 x))) (cbrt (- wj (* 2 x))))) (* wj (sqrt (- wj (* 2 x)))) wj (* (cbrt wj) (- wj (* 2 x))) (* (sqrt wj) (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- (pow wj 3) (pow (* 2 x) 3))) (+ (pow wj 3) (* wj (* -4 (* x x)))) (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x)))) (+ x (* wj (- wj (* 2 x)))) (* 2 (log wj)) (+ (log -2) (- (log wj) (+ (/ 1/4 x) (- (/ 1/2 wj) (log x))))) (- (- (- (log -2) (log (/ -1 wj))) (/ 1/4 x)) (+ (log (/ -1 x)) (/ 1/2 wj))) (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))) (* wj (- wj (* 2 x))) 1.366 * * * [progress]: adding candidates to table 1.461 * [progress]: [Phase 3 of 3] Extracting. 1.461 * * [regime]: Finding splitpoints for: (# # # # #) 1.463 * * * [regime-changes]: Trying 2 branch expressions: (x wj) 1.463 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.506 * * * * [regimes]: Trying to branch on wj from (# # # # #) 1.550 * * * [regime]: Found split indices: #