0.736 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.149 * * * [progress]: [2/2] Setting up program.
1.154 * [progress]: [Phase 2 of 3] Improving.
1.157 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (+ 3.0 (/ 2.0 (* r r))) (/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))) 4.5)
1.596 * * [simplify]: iteration  0 :  5645  enodes  (cost  29 )
1.598 * [simplify]: Simplified to:
   (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5)))
1.605 * * [progress]: iteration 1 / 4
1.605 * * * [progress]: picking best candidate
1.611 * * * * [pick]: Picked  #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))>
1.611 * * * [progress]: localizing error
1.630 * * * [progress]: generating rewritten candidates
1.631 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
1.638 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.658 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.662 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2)
1.690 * * * [progress]: generating series expansions
1.690 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
1.694 * [approximate]: Taking taylor expansion of (* (pow w 2) r) in (r w) around 0
1.694 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
1.695 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.695 * [taylor]: Taking taylor expansion of w in w
1.695 * [taylor]: Taking taylor expansion of r in w
1.695 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
1.695 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.695 * [taylor]: Taking taylor expansion of w in r
1.695 * [taylor]: Taking taylor expansion of r in r
1.695 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
1.695 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.695 * [taylor]: Taking taylor expansion of w in r
1.695 * [taylor]: Taking taylor expansion of r in r
1.696 * [taylor]: Taking taylor expansion of 0 in w
1.697 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.697 * [taylor]: Taking taylor expansion of w in w
1.697 * [taylor]: Taking taylor expansion of 0 in w
1.698 * [taylor]: Taking taylor expansion of 0 in w
1.698 * [approximate]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in (r w) around 0
1.698 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in w
1.698 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
1.698 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.698 * [taylor]: Taking taylor expansion of w in w
1.698 * [taylor]: Taking taylor expansion of r in w
1.698 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in r
1.698 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
1.698 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.698 * [taylor]: Taking taylor expansion of w in r
1.698 * [taylor]: Taking taylor expansion of r in r
1.698 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in r
1.698 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
1.698 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.698 * [taylor]: Taking taylor expansion of w in r
1.698 * [taylor]: Taking taylor expansion of r in r
1.699 * [taylor]: Taking taylor expansion of (/ 1 (pow w 2)) in w
1.699 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.699 * [taylor]: Taking taylor expansion of w in w
1.699 * [taylor]: Taking taylor expansion of 0 in w
1.699 * [taylor]: Taking taylor expansion of 0 in w
1.700 * [taylor]: Taking taylor expansion of 0 in w
1.701 * [taylor]: Taking taylor expansion of 0 in w
1.701 * [approximate]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in (r w) around 0
1.701 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in w
1.701 * [taylor]: Taking taylor expansion of -1 in w
1.701 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
1.701 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.701 * [taylor]: Taking taylor expansion of w in w
1.701 * [taylor]: Taking taylor expansion of r in w
1.701 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in r
1.701 * [taylor]: Taking taylor expansion of -1 in r
1.701 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
1.701 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.701 * [taylor]: Taking taylor expansion of w in r
1.701 * [taylor]: Taking taylor expansion of r in r
1.702 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in r
1.702 * [taylor]: Taking taylor expansion of -1 in r
1.702 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
1.702 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.702 * [taylor]: Taking taylor expansion of w in r
1.702 * [taylor]: Taking taylor expansion of r in r
1.702 * [taylor]: Taking taylor expansion of (/ -1 (pow w 2)) in w
1.702 * [taylor]: Taking taylor expansion of -1 in w
1.702 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.702 * [taylor]: Taking taylor expansion of w in w
1.702 * [taylor]: Taking taylor expansion of 0 in w
1.703 * [taylor]: Taking taylor expansion of 0 in w
1.703 * [taylor]: Taking taylor expansion of 0 in w
1.704 * [taylor]: Taking taylor expansion of 0 in w
1.704 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.704 * [approximate]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in (r w v) around 0
1.704 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in v
1.704 * [taylor]: Taking taylor expansion of 0.125 in v
1.704 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in v
1.704 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in v
1.704 * [taylor]: Taking taylor expansion of (pow w 2) in v
1.704 * [taylor]: Taking taylor expansion of w in v
1.705 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in v
1.705 * [taylor]: Taking taylor expansion of (pow r 2) in v
1.705 * [taylor]: Taking taylor expansion of r in v
1.705 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
1.705 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
1.705 * [taylor]: Taking taylor expansion of 2.0 in v
1.705 * [taylor]: Taking taylor expansion of v in v
1.705 * [taylor]: Taking taylor expansion of 3.0 in v
1.705 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
1.705 * [taylor]: Taking taylor expansion of 1.0 in v
1.705 * [taylor]: Taking taylor expansion of v in v
1.705 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in w
1.705 * [taylor]: Taking taylor expansion of 0.125 in w
1.705 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in w
1.705 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in w
1.705 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.705 * [taylor]: Taking taylor expansion of w in w
1.705 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in w
1.705 * [taylor]: Taking taylor expansion of (pow r 2) in w
1.705 * [taylor]: Taking taylor expansion of r in w
1.705 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in w
1.706 * [taylor]: Taking taylor expansion of (* 2.0 v) in w
1.706 * [taylor]: Taking taylor expansion of 2.0 in w
1.706 * [taylor]: Taking taylor expansion of v in w
1.706 * [taylor]: Taking taylor expansion of 3.0 in w
1.706 * [taylor]: Taking taylor expansion of (- 1.0 v) in w
1.706 * [taylor]: Taking taylor expansion of 1.0 in w
1.706 * [taylor]: Taking taylor expansion of v in w
1.706 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in r
1.706 * [taylor]: Taking taylor expansion of 0.125 in r
1.706 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in r
1.706 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in r
1.706 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.706 * [taylor]: Taking taylor expansion of w in r
1.706 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in r
1.706 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.706 * [taylor]: Taking taylor expansion of r in r
1.706 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in r
1.706 * [taylor]: Taking taylor expansion of (* 2.0 v) in r
1.706 * [taylor]: Taking taylor expansion of 2.0 in r
1.706 * [taylor]: Taking taylor expansion of v in r
1.706 * [taylor]: Taking taylor expansion of 3.0 in r
1.706 * [taylor]: Taking taylor expansion of (- 1.0 v) in r
1.706 * [taylor]: Taking taylor expansion of 1.0 in r
1.706 * [taylor]: Taking taylor expansion of v in r
1.707 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in r
1.707 * [taylor]: Taking taylor expansion of 0.125 in r
1.707 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in r
1.707 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in r
1.707 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.707 * [taylor]: Taking taylor expansion of w in r
1.707 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in r
1.707 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.707 * [taylor]: Taking taylor expansion of r in r
1.707 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in r
1.707 * [taylor]: Taking taylor expansion of (* 2.0 v) in r
1.707 * [taylor]: Taking taylor expansion of 2.0 in r
1.707 * [taylor]: Taking taylor expansion of v in r
1.707 * [taylor]: Taking taylor expansion of 3.0 in r
1.707 * [taylor]: Taking taylor expansion of (- 1.0 v) in r
1.707 * [taylor]: Taking taylor expansion of 1.0 in r
1.707 * [taylor]: Taking taylor expansion of v in r
1.707 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (- (* 2.0 v) 3.0)) (- 1.0 v))) in w
1.707 * [taylor]: Taking taylor expansion of 0.125 in w
1.707 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (- (* 2.0 v) 3.0)) (- 1.0 v)) in w
1.707 * [taylor]: Taking taylor expansion of (* (pow w 2) (- (* 2.0 v) 3.0)) in w
1.707 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.707 * [taylor]: Taking taylor expansion of w in w
1.707 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in w
1.707 * [taylor]: Taking taylor expansion of (* 2.0 v) in w
1.707 * [taylor]: Taking taylor expansion of 2.0 in w
1.707 * [taylor]: Taking taylor expansion of v in w
1.707 * [taylor]: Taking taylor expansion of 3.0 in w
1.707 * [taylor]: Taking taylor expansion of (- 1.0 v) in w
1.707 * [taylor]: Taking taylor expansion of 1.0 in w
1.707 * [taylor]: Taking taylor expansion of v in w
1.708 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in v
1.708 * [taylor]: Taking taylor expansion of 0.125 in v
1.708 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 v) 3.0) (- 1.0 v)) in v
1.708 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
1.708 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
1.708 * [taylor]: Taking taylor expansion of 2.0 in v
1.708 * [taylor]: Taking taylor expansion of v in v
1.708 * [taylor]: Taking taylor expansion of 3.0 in v
1.708 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
1.708 * [taylor]: Taking taylor expansion of 1.0 in v
1.708 * [taylor]: Taking taylor expansion of v in v
1.708 * [taylor]: Taking taylor expansion of 0 in w
1.708 * [taylor]: Taking taylor expansion of 0 in v
1.709 * [taylor]: Taking taylor expansion of 0 in v
1.709 * [taylor]: Taking taylor expansion of 0 in w
1.709 * [taylor]: Taking taylor expansion of 0 in v
1.709 * [taylor]: Taking taylor expansion of 0 in v
1.710 * [taylor]: Taking taylor expansion of 0 in v
1.711 * [approximate]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in (r w v) around 0
1.711 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in v
1.711 * [taylor]: Taking taylor expansion of 0.125 in v
1.711 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in v
1.711 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
1.711 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.711 * [taylor]: Taking taylor expansion of 2.0 in v
1.711 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.711 * [taylor]: Taking taylor expansion of v in v
1.711 * [taylor]: Taking taylor expansion of 3.0 in v
1.712 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in v
1.712 * [taylor]: Taking taylor expansion of (pow r 2) in v
1.712 * [taylor]: Taking taylor expansion of r in v
1.712 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in v
1.712 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
1.712 * [taylor]: Taking taylor expansion of 1.0 in v
1.712 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.712 * [taylor]: Taking taylor expansion of v in v
1.712 * [taylor]: Taking taylor expansion of (pow w 2) in v
1.712 * [taylor]: Taking taylor expansion of w in v
1.712 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in w
1.712 * [taylor]: Taking taylor expansion of 0.125 in w
1.712 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in w
1.712 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in w
1.712 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
1.712 * [taylor]: Taking taylor expansion of 2.0 in w
1.712 * [taylor]: Taking taylor expansion of (/ 1 v) in w
1.712 * [taylor]: Taking taylor expansion of v in w
1.712 * [taylor]: Taking taylor expansion of 3.0 in w
1.712 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in w
1.712 * [taylor]: Taking taylor expansion of (pow r 2) in w
1.712 * [taylor]: Taking taylor expansion of r in w
1.712 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in w
1.712 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in w
1.712 * [taylor]: Taking taylor expansion of 1.0 in w
1.712 * [taylor]: Taking taylor expansion of (/ 1 v) in w
1.712 * [taylor]: Taking taylor expansion of v in w
1.712 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.712 * [taylor]: Taking taylor expansion of w in w
1.713 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in r
1.713 * [taylor]: Taking taylor expansion of 0.125 in r
1.713 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in r
1.713 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in r
1.713 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
1.713 * [taylor]: Taking taylor expansion of 2.0 in r
1.713 * [taylor]: Taking taylor expansion of (/ 1 v) in r
1.713 * [taylor]: Taking taylor expansion of v in r
1.713 * [taylor]: Taking taylor expansion of 3.0 in r
1.713 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in r
1.713 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.713 * [taylor]: Taking taylor expansion of r in r
1.713 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in r
1.713 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in r
1.713 * [taylor]: Taking taylor expansion of 1.0 in r
1.713 * [taylor]: Taking taylor expansion of (/ 1 v) in r
1.713 * [taylor]: Taking taylor expansion of v in r
1.713 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.713 * [taylor]: Taking taylor expansion of w in r
1.713 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in r
1.714 * [taylor]: Taking taylor expansion of 0.125 in r
1.714 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in r
1.714 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in r
1.714 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
1.714 * [taylor]: Taking taylor expansion of 2.0 in r
1.714 * [taylor]: Taking taylor expansion of (/ 1 v) in r
1.714 * [taylor]: Taking taylor expansion of v in r
1.714 * [taylor]: Taking taylor expansion of 3.0 in r
1.714 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in r
1.714 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.714 * [taylor]: Taking taylor expansion of r in r
1.714 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in r
1.714 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in r
1.714 * [taylor]: Taking taylor expansion of 1.0 in r
1.714 * [taylor]: Taking taylor expansion of (/ 1 v) in r
1.714 * [taylor]: Taking taylor expansion of v in r
1.714 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.714 * [taylor]: Taking taylor expansion of w in r
1.714 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (- 1.0 (/ 1 v))))) in w
1.714 * [taylor]: Taking taylor expansion of 0.125 in w
1.714 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (- 1.0 (/ 1 v)))) in w
1.715 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in w
1.715 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
1.715 * [taylor]: Taking taylor expansion of 2.0 in w
1.715 * [taylor]: Taking taylor expansion of (/ 1 v) in w
1.715 * [taylor]: Taking taylor expansion of v in w
1.715 * [taylor]: Taking taylor expansion of 3.0 in w
1.715 * [taylor]: Taking taylor expansion of (* (pow w 2) (- 1.0 (/ 1 v))) in w
1.715 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.715 * [taylor]: Taking taylor expansion of w in w
1.715 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in w
1.715 * [taylor]: Taking taylor expansion of 1.0 in w
1.715 * [taylor]: Taking taylor expansion of (/ 1 v) in w
1.715 * [taylor]: Taking taylor expansion of v in w
1.715 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in v
1.715 * [taylor]: Taking taylor expansion of 0.125 in v
1.715 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v))) in v
1.715 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
1.715 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.715 * [taylor]: Taking taylor expansion of 2.0 in v
1.715 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.715 * [taylor]: Taking taylor expansion of v in v
1.715 * [taylor]: Taking taylor expansion of 3.0 in v
1.715 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
1.715 * [taylor]: Taking taylor expansion of 1.0 in v
1.715 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.715 * [taylor]: Taking taylor expansion of v in v
1.716 * [taylor]: Taking taylor expansion of 0 in w
1.716 * [taylor]: Taking taylor expansion of 0 in v
1.718 * [taylor]: Taking taylor expansion of 0 in w
1.718 * [taylor]: Taking taylor expansion of 0 in v
1.719 * [approximate]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in (r w v) around 0
1.719 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in v
1.719 * [taylor]: Taking taylor expansion of -0.125 in v
1.719 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in v
1.719 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
1.719 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.719 * [taylor]: Taking taylor expansion of 2.0 in v
1.719 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.719 * [taylor]: Taking taylor expansion of v in v
1.719 * [taylor]: Taking taylor expansion of 3.0 in v
1.720 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in v
1.720 * [taylor]: Taking taylor expansion of (pow w 2) in v
1.720 * [taylor]: Taking taylor expansion of w in v
1.720 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in v
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
1.720 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.720 * [taylor]: Taking taylor expansion of v in v
1.720 * [taylor]: Taking taylor expansion of 1.0 in v
1.720 * [taylor]: Taking taylor expansion of (pow r 2) in v
1.720 * [taylor]: Taking taylor expansion of r in v
1.720 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in w
1.720 * [taylor]: Taking taylor expansion of -0.125 in w
1.720 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in w
1.720 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in w
1.720 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
1.720 * [taylor]: Taking taylor expansion of 2.0 in w
1.720 * [taylor]: Taking taylor expansion of (/ 1 v) in w
1.720 * [taylor]: Taking taylor expansion of v in w
1.720 * [taylor]: Taking taylor expansion of 3.0 in w
1.720 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in w
1.720 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.720 * [taylor]: Taking taylor expansion of w in w
1.720 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in w
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in w
1.720 * [taylor]: Taking taylor expansion of (/ 1 v) in w
1.720 * [taylor]: Taking taylor expansion of v in w
1.720 * [taylor]: Taking taylor expansion of 1.0 in w
1.720 * [taylor]: Taking taylor expansion of (pow r 2) in w
1.720 * [taylor]: Taking taylor expansion of r in w
1.721 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in r
1.721 * [taylor]: Taking taylor expansion of -0.125 in r
1.721 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in r
1.721 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in r
1.721 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
1.721 * [taylor]: Taking taylor expansion of 2.0 in r
1.721 * [taylor]: Taking taylor expansion of (/ 1 v) in r
1.721 * [taylor]: Taking taylor expansion of v in r
1.721 * [taylor]: Taking taylor expansion of 3.0 in r
1.721 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in r
1.721 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.721 * [taylor]: Taking taylor expansion of w in r
1.721 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in r
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in r
1.721 * [taylor]: Taking taylor expansion of (/ 1 v) in r
1.721 * [taylor]: Taking taylor expansion of v in r
1.721 * [taylor]: Taking taylor expansion of 1.0 in r
1.721 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.721 * [taylor]: Taking taylor expansion of r in r
1.721 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in r
1.721 * [taylor]: Taking taylor expansion of -0.125 in r
1.721 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in r
1.721 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in r
1.721 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
1.721 * [taylor]: Taking taylor expansion of 2.0 in r
1.721 * [taylor]: Taking taylor expansion of (/ 1 v) in r
1.721 * [taylor]: Taking taylor expansion of v in r
1.721 * [taylor]: Taking taylor expansion of 3.0 in r
1.722 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in r
1.722 * [taylor]: Taking taylor expansion of (pow w 2) in r
1.722 * [taylor]: Taking taylor expansion of w in r
1.722 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in r
1.722 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in r
1.722 * [taylor]: Taking taylor expansion of (/ 1 v) in r
1.722 * [taylor]: Taking taylor expansion of v in r
1.722 * [taylor]: Taking taylor expansion of 1.0 in r
1.722 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.722 * [taylor]: Taking taylor expansion of r in r
1.722 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (+ (/ 1 v) 1.0)))) in w
1.722 * [taylor]: Taking taylor expansion of -0.125 in w
1.722 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (+ (/ 1 v) 1.0))) in w
1.722 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in w
1.722 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
1.722 * [taylor]: Taking taylor expansion of 2.0 in w
1.722 * [taylor]: Taking taylor expansion of (/ 1 v) in w
1.722 * [taylor]: Taking taylor expansion of v in w
1.722 * [taylor]: Taking taylor expansion of 3.0 in w
1.722 * [taylor]: Taking taylor expansion of (* (pow w 2) (+ (/ 1 v) 1.0)) in w
1.722 * [taylor]: Taking taylor expansion of (pow w 2) in w
1.722 * [taylor]: Taking taylor expansion of w in w
1.722 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in w
1.722 * [taylor]: Taking taylor expansion of (/ 1 v) in w
1.722 * [taylor]: Taking taylor expansion of v in w
1.722 * [taylor]: Taking taylor expansion of 1.0 in w
1.723 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in v
1.723 * [taylor]: Taking taylor expansion of -0.125 in v
1.723 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0)) in v
1.723 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
1.723 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.723 * [taylor]: Taking taylor expansion of 2.0 in v
1.723 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.723 * [taylor]: Taking taylor expansion of v in v
1.723 * [taylor]: Taking taylor expansion of 3.0 in v
1.723 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
1.723 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.723 * [taylor]: Taking taylor expansion of v in v
1.723 * [taylor]: Taking taylor expansion of 1.0 in v
1.724 * [taylor]: Taking taylor expansion of 0 in w
1.724 * [taylor]: Taking taylor expansion of 0 in v
1.725 * [taylor]: Taking taylor expansion of 0 in w
1.726 * [taylor]: Taking taylor expansion of 0 in v
1.726 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.727 * [approximate]: Taking taylor expansion of (/ 2.0 (pow r 2)) in (r) around 0
1.727 * [taylor]: Taking taylor expansion of (/ 2.0 (pow r 2)) in r
1.727 * [taylor]: Taking taylor expansion of 2.0 in r
1.727 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.727 * [taylor]: Taking taylor expansion of r in r
1.727 * [taylor]: Taking taylor expansion of (/ 2.0 (pow r 2)) in r
1.727 * [taylor]: Taking taylor expansion of 2.0 in r
1.727 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.727 * [taylor]: Taking taylor expansion of r in r
1.728 * [approximate]: Taking taylor expansion of (* 2.0 (pow r 2)) in (r) around 0
1.728 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
1.728 * [taylor]: Taking taylor expansion of 2.0 in r
1.728 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.728 * [taylor]: Taking taylor expansion of r in r
1.728 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
1.728 * [taylor]: Taking taylor expansion of 2.0 in r
1.728 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.728 * [taylor]: Taking taylor expansion of r in r
1.728 * [approximate]: Taking taylor expansion of (* 2.0 (pow r 2)) in (r) around 0
1.728 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
1.728 * [taylor]: Taking taylor expansion of 2.0 in r
1.728 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.728 * [taylor]: Taking taylor expansion of r in r
1.728 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
1.728 * [taylor]: Taking taylor expansion of 2.0 in r
1.728 * [taylor]: Taking taylor expansion of (pow r 2) in r
1.729 * [taylor]: Taking taylor expansion of r in r
1.729 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 2)
1.729 * [approximate]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in (v) around 0
1.729 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in v
1.729 * [taylor]: Taking taylor expansion of 0.125 in v
1.729 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 v) 3.0) (- 1.0 v)) in v
1.729 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
1.729 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
1.729 * [taylor]: Taking taylor expansion of 2.0 in v
1.729 * [taylor]: Taking taylor expansion of v in v
1.729 * [taylor]: Taking taylor expansion of 3.0 in v
1.729 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
1.729 * [taylor]: Taking taylor expansion of 1.0 in v
1.729 * [taylor]: Taking taylor expansion of v in v
1.730 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in v
1.730 * [taylor]: Taking taylor expansion of 0.125 in v
1.730 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 v) 3.0) (- 1.0 v)) in v
1.730 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
1.730 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
1.730 * [taylor]: Taking taylor expansion of 2.0 in v
1.730 * [taylor]: Taking taylor expansion of v in v
1.730 * [taylor]: Taking taylor expansion of 3.0 in v
1.730 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
1.730 * [taylor]: Taking taylor expansion of 1.0 in v
1.730 * [taylor]: Taking taylor expansion of v in v
1.730 * [approximate]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in (v) around 0
1.730 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in v
1.730 * [taylor]: Taking taylor expansion of 0.125 in v
1.730 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v))) in v
1.730 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
1.730 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.730 * [taylor]: Taking taylor expansion of 2.0 in v
1.730 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.730 * [taylor]: Taking taylor expansion of v in v
1.730 * [taylor]: Taking taylor expansion of 3.0 in v
1.730 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
1.730 * [taylor]: Taking taylor expansion of 1.0 in v
1.730 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.730 * [taylor]: Taking taylor expansion of v in v
1.731 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in v
1.731 * [taylor]: Taking taylor expansion of 0.125 in v
1.731 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v))) in v
1.731 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
1.731 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.731 * [taylor]: Taking taylor expansion of 2.0 in v
1.731 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.731 * [taylor]: Taking taylor expansion of v in v
1.731 * [taylor]: Taking taylor expansion of 3.0 in v
1.731 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
1.731 * [taylor]: Taking taylor expansion of 1.0 in v
1.731 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.731 * [taylor]: Taking taylor expansion of v in v
1.731 * [approximate]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in (v) around 0
1.731 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in v
1.731 * [taylor]: Taking taylor expansion of -0.125 in v
1.731 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0)) in v
1.732 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
1.732 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.732 * [taylor]: Taking taylor expansion of 2.0 in v
1.732 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.732 * [taylor]: Taking taylor expansion of v in v
1.732 * [taylor]: Taking taylor expansion of 3.0 in v
1.732 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
1.732 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.732 * [taylor]: Taking taylor expansion of v in v
1.732 * [taylor]: Taking taylor expansion of 1.0 in v
1.732 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in v
1.732 * [taylor]: Taking taylor expansion of -0.125 in v
1.732 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0)) in v
1.732 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
1.732 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
1.732 * [taylor]: Taking taylor expansion of 2.0 in v
1.732 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.732 * [taylor]: Taking taylor expansion of v in v
1.732 * [taylor]: Taking taylor expansion of 3.0 in v
1.732 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
1.732 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.732 * [taylor]: Taking taylor expansion of v in v
1.732 * [taylor]: Taking taylor expansion of 1.0 in v
1.733 * * * [progress]: simplifying candidates
1.735 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* r (* w w))
  (* r (* w w))
  (+ (log r) (+ (log w) (log w)))
  (+ (log r) (log (* w w)))
  (log (* r (* w w)))
  (exp (* r (* w w)))
  (* (* (* r r) r) (* (* (* w w) w) (* (* w w) w)))
  (* (* (* r r) r) (* (* (* w w) (* w w)) (* w w)))
  (* (cbrt (* r (* w w))) (cbrt (* r (* w w))))
  (cbrt (* r (* w w)))
  (* (* (* r (* w w)) (* r (* w w))) (* r (* w w)))
  (sqrt (* r (* w w)))
  (sqrt (* r (* w w)))
  (* (sqrt r) w)
  (* (sqrt r) w)
  (* r w)
  (* (cbrt r) (* w w))
  (* (sqrt r) (* w w))
  (* r (* w w))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (+ (log r) (+ (+ (log r) (+ (log w) (log w))) (+ (- (log 0.125) (log (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (log r) (+ (log w) (log w))) (+ (log (/ 0.125 (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (log r) (+ (log w) (log w))) (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (log r) (log (* w w))) (+ (- (log 0.125) (log (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (log r) (log (* w w))) (+ (log (/ 0.125 (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (log r) (log (* w w))) (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (log (* r (* w w))) (+ (- (log 0.125) (log (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (log (* r (* w w))) (+ (log (/ 0.125 (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (log (* r (* w w))) (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (+ (log r) (log (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (log (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (exp (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r r) r) (* (* (* w w) w) (* (* w w) w))) (* (/ (* (* 0.125 0.125) 0.125) (* (* (- 1.0 v) (- 1.0 v)) (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r r) r) (* (* (* w w) w) (* (* w w) w))) (* (* (* (/ 0.125 (- 1.0 v)) (/ 0.125 (- 1.0 v))) (/ 0.125 (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r r) r) (* (* (* w w) w) (* (* w w) w))) (* (* (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r r) r) (* (* (* w w) (* w w)) (* w w))) (* (/ (* (* 0.125 0.125) 0.125) (* (* (- 1.0 v) (- 1.0 v)) (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r r) r) (* (* (* w w) (* w w)) (* w w))) (* (* (* (/ 0.125 (- 1.0 v)) (/ 0.125 (- 1.0 v))) (/ 0.125 (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r r) r) (* (* (* w w) (* w w)) (* w w))) (* (* (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r (* w w)) (* r (* w w))) (* r (* w w))) (* (/ (* (* 0.125 0.125) 0.125) (* (* (- 1.0 v) (- 1.0 v)) (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r (* w w)) (* r (* w w))) (* r (* w w))) (* (* (* (/ 0.125 (- 1.0 v)) (/ 0.125 (- 1.0 v))) (/ 0.125 (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r (* w w)) (* r (* w w))) (* r (* w w))) (* (* (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (cbrt (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))) (cbrt (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))))
  (cbrt (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))) (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (sqrt (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (sqrt (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (* 2.0 v))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (neg 3.0))))
  (* r (* (* r (* w w)) (* (* 2.0 v) (/ 0.125 (- 1.0 v)))))
  (* r (* (* r (* w w)) (* (neg 3.0) (/ 0.125 (- 1.0 v)))))
  (* r (* (* (/ 0.125 (- 1.0 v)) (* 2.0 v)) (* r (* w w))))
  (* r (* (* (/ 0.125 (- 1.0 v)) (neg 3.0)) (* r (* w w))))
  (* r (* (* (* 2.0 v) (/ 0.125 (- 1.0 v))) (* r (* w w))))
  (* r (* (* (neg 3.0) (/ 0.125 (- 1.0 v))) (* r (* w w))))
  (* (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (* 2.0 v))) r)
  (* (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (neg 3.0))) r)
  (* (* (* r (* w w)) (* (* 2.0 v) (/ 0.125 (- 1.0 v)))) r)
  (* (* (* r (* w w)) (* (neg 3.0) (/ 0.125 (- 1.0 v)))) r)
  (* (* (* (/ 0.125 (- 1.0 v)) (* 2.0 v)) (* r (* w w))) r)
  (* (* (* (/ 0.125 (- 1.0 v)) (neg 3.0)) (* r (* w w))) r)
  (* (* (* (* 2.0 v) (/ 0.125 (- 1.0 v))) (* r (* w w))) r)
  (* (* (* (neg 3.0) (/ 0.125 (- 1.0 v))) (* r (* w w))) r)
  (* r (* r (* w w)))
  (* (cbrt r) (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* (sqrt r) (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* r (* w w)) (* 0.125 (- (pow (* 2.0 v) 3) (pow 3.0 3)))))
  (* r (* (* r (* w w)) (* 0.125 (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (pow (* 2.0 v) 3) (pow 3.0 3)))))
  (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))))
  (* r (* (* r (* w w)) (* 0.125 (- (* 2.0 v) 3.0))))
  (- (log 2.0) (+ (log r) (log r)))
  (- (log 2.0) (log (* r r)))
  (log (/ 2.0 (* r r)))
  (exp (/ 2.0 (* r r)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* r r) r) (* (* r r) r)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* r r) (* r r)) (* r r)))
  (* (cbrt (/ 2.0 (* r r))) (cbrt (/ 2.0 (* r r))))
  (cbrt (/ 2.0 (* r r)))
  (* (* (/ 2.0 (* r r)) (/ 2.0 (* r r))) (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (neg 2.0)
  (neg (* r r))
  (/ (* (cbrt 2.0) (cbrt 2.0)) r)
  (/ (cbrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ 1 r)
  (/ 2.0 r)
  (/ 1 (* r r))
  (/ (* r r) 2.0)
  (/ 2.0 r)
  (/ (* r r) (cbrt 2.0))
  (/ (* r r) (sqrt 2.0))
  (/ (* r r) 2.0)
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (+ (- (log 0.125) (log (- 1.0 v))) (log (- (* 2.0 v) 3.0)))
  (+ (log (/ 0.125 (- 1.0 v))) (log (- (* 2.0 v) 3.0)))
  (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (exp (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* (/ (* (* 0.125 0.125) 0.125) (* (* (- 1.0 v) (- 1.0 v)) (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))
  (* (* (* (/ 0.125 (- 1.0 v)) (/ 0.125 (- 1.0 v))) (/ 0.125 (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))
  (* (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* (* (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* 0.125 (- (pow (* 2.0 v) 3) (pow 3.0 3)))
  (* (- 1.0 v) (+ (* (* 2.0 v) (* 2.0 v)) (+ (* 3.0 3.0) (* (* 2.0 v) 3.0))))
  (* 0.125 (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))
  (* (- 1.0 v) (+ (* 2.0 v) 3.0))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ (sqrt 0.125) (sqrt (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ (sqrt 0.125) (sqrt (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ 0.125 (- 1.0 v)) (* 2.0 v))
  (* (/ 0.125 (- 1.0 v)) (neg 3.0))
  (* (* 2.0 v) (/ 0.125 (- 1.0 v)))
  (* (neg 3.0) (/ 0.125 (- 1.0 v)))
  (* (/ 0.125 (- 1.0 v)) (* (cbrt (- (* 2.0 v) 3.0)) (cbrt (- (* 2.0 v) 3.0))))
  (* (/ 0.125 (- 1.0 v)) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ 0.125 (- 1.0 v)) 1)
  (* (cbrt (/ 0.125 (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (sqrt (/ 0.125 (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (sqrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (- (sqrt 1.0) (sqrt v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (cbrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (sqrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (- (sqrt 1.0) (sqrt v))) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (cbrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (sqrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- (sqrt 1.0) (sqrt v))) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 1 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (+ (* 1.0 1.0) (+ (* v v) (* 1.0 v))) (- (* 2.0 v) 3.0))
  (* (+ 1.0 v) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (pow (* 2.0 v) 3) (pow 3.0 3)))
  (* (/ 0.125 (- 1.0 v)) (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))
  (* 0.125 (- (* 2.0 v) 3.0))
  (* (pow w 2) r)
  (* (pow w 2) r)
  (* (pow w 2) r)
  (neg (+ (* 0.375 (* (pow w 2) (pow r 2))) (+ (* 0.125 (* (pow w 2) (* v (pow r 2)))) (* 0.125 (* (pow w 2) (* (pow r 2) (pow v 2)))))))
  (- (+ (* 0.125 (/ (* (pow w 2) (pow r 2)) (pow v 2))) (* 0.125 (/ (* (pow w 2) (pow r 2)) v))) (* 0.25 (* (pow w 2) (pow r 2))))
  (- (+ (* 0.125 (/ (* (pow w 2) (pow r 2)) (pow v 2))) (* 0.125 (/ (* (pow w 2) (pow r 2)) v))) (* 0.25 (* (pow w 2) (pow r 2))))
  (/ 2.0 (pow r 2))
  (/ 2.0 (pow r 2))
  (/ 2.0 (pow r 2))
  (neg (+ (* 0.125 (pow v 2)) (+ (* 0.125 v) 0.375)))
  (- (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))) 0.25)
  (- (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))) 0.25)
1.764 * * [simplify]: iteration  0 :  5704  enodes  (cost  2174 )
1.771 * [simplify]: Simplified to:
   (* r (* w w))
  (* r (* w w))
  (log (* r (* w w)))
  (log (* r (* w w)))
  (log (* r (* w w)))
  (pow (exp r) (* w w))
  (* (pow r 3) (pow w 6))
  (* (pow r 3) (pow w 6))
  (* (cbrt (* r (* w w))) (cbrt (* r (* w w))))
  (cbrt (* r (* w w)))
  (* (pow r 3) (pow w 6))
  (sqrt (* r (* w w)))
  (sqrt (* r (* w w)))
  (* w (sqrt r))
  (* w (sqrt r))
  (* r w)
  (* w (* w (cbrt r)))
  (* w (* w (sqrt r)))
  (* r (* w w))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (pow (pow (exp r) (* w w)) (* (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) r))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (* (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))))
  (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (* (pow w 6) (pow (* (* r r) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) 3))
  (sqrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (sqrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w w)))
  (* r (* (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))) (cbrt r)))
  (* r (* (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))) (sqrt r)))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* 0.125 (- (pow (* v 2.0) 3) (pow 3.0 3)))))))
  (* r (* r (* w (* w (* 0.125 (- (* v (* v (* 2.0 2.0))) (* 3.0 3.0)))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (pow (* v 2.0) 3) (pow 3.0 3)))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v (* v (* 2.0 2.0))) (* 3.0 3.0)))))))
  (* r (* r (* w (* w (* 0.125 (- (* v 2.0) 3.0))))))
  (log (/ 2.0 (* r r)))
  (log (/ 2.0 (* r r)))
  (log (/ 2.0 (* r r)))
  (exp (/ 2.0 (* r r)))
  (/ (pow 2.0 3) (pow r 6))
  (/ (pow 2.0 3) (pow r 6))
  (* (cbrt (/ 2.0 (* r r))) (cbrt (/ 2.0 (* r r))))
  (cbrt (/ 2.0 (* r r)))
  (/ (pow 2.0 3) (pow r 6))
  (sqrt (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (neg 2.0)
  (* r (neg r))
  (* (/ (cbrt 2.0) r) (cbrt 2.0))
  (/ (cbrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ 1 r)
  (/ 2.0 r)
  (/ 1 (* r r))
  (* (/ r 2.0) r)
  (/ 2.0 r)
  (* (/ r (cbrt 2.0)) r)
  (* (/ r (sqrt 2.0)) r)
  (* (/ r 2.0) r)
  (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))
  (log (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (log (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (log (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (pow (exp (/ 0.125 (- 1.0 v))) (- (* v 2.0) 3.0))
  (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)
  (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)
  (* (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (* 0.125 (- (pow (* v 2.0) 3) (pow 3.0 3)))
  (* (- 1.0 v) (+ (* 3.0 3.0) (* (* v 2.0) (+ (* v 2.0) 3.0))))
  (* 0.125 (- (* v (* v (* 2.0 2.0))) (* 3.0 3.0)))
  (* (- 1.0 v) (+ (* v 2.0) 3.0))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* v 2.0) 3.0)))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* v 2.0) 3.0)))
  (* (sqrt (- (* v 2.0) 3.0)) (/ (sqrt 0.125) (sqrt (- 1.0 v))))
  (* (sqrt (- (* v 2.0) 3.0)) (/ (sqrt 0.125) (sqrt (- 1.0 v))))
  (* v (* (/ 0.125 (- 1.0 v)) 2.0))
  (* (/ 0.125 (- 1.0 v)) (neg 3.0))
  (* v (* (/ 0.125 (- 1.0 v)) 2.0))
  (* (/ 0.125 (- 1.0 v)) (neg 3.0))
  (* (/ 0.125 (- 1.0 v)) (* (cbrt (- (* v 2.0) 3.0)) (cbrt (- (* v 2.0) 3.0))))
  (* (/ 0.125 (- 1.0 v)) (sqrt (- (* v 2.0) 3.0)))
  (/ 0.125 (- 1.0 v))
  (* (- (* v 2.0) 3.0) (cbrt (/ 0.125 (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (sqrt (/ 0.125 (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (cbrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (sqrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (- 1.0 v)))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (- (sqrt 1.0) (sqrt v))))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (- 1.0 v)))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (cbrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (sqrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- (sqrt 1.0) (sqrt v))))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))
  (* (- (* v 2.0) 3.0) (/ 0.125 (cbrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ 0.125 (sqrt (- 1.0 v))))
  (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))
  (* (- (* v 2.0) 3.0) (/ 0.125 (- (sqrt 1.0) (sqrt v))))
  (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))
  (/ (- (* v 2.0) 3.0) (- 1.0 v))
  (* (- (* v 2.0) 3.0) (+ (* 1.0 1.0) (* v (+ 1.0 v))))
  (* (- (* v 2.0) 3.0) (+ 1.0 v))
  (* (/ 0.125 (- 1.0 v)) (- (pow (* v 2.0) 3) (pow 3.0 3)))
  (* (/ 0.125 (- 1.0 v)) (- (* v (* v (* 2.0 2.0))) (* 3.0 3.0)))
  (* 0.125 (- (* v 2.0) 3.0))
  (* r (* w w))
  (* r (* w w))
  (* r (* w w))
  (- (* r (neg (* (* r (* w w)) 0.375))) (* 0.125 (* (* w w) (+ (* r (* r v)) (* r (* r (* v v)))))))
  (- (* 0.125 (+ (* (/ r v) (/ (* r (* w w)) v)) (* (/ (* w w) v) (* r r)))) (* r (* (* r (* w w)) 0.25)))
  (- (* 0.125 (+ (* (/ r v) (/ (* r (* w w)) v)) (* (/ (* w w) v) (* r r)))) (* r (* (* r (* w w)) 0.25)))
  (/ 2.0 (* r r))
  (/ 2.0 (* r r))
  (/ 2.0 (* r r))
  (- (* 0.125 (neg (+ (* v v) v))) 0.375)
  (+ (/ 0.125 v) (- (/ 0.125 (* v v)) 0.25))
  (+ (/ 0.125 v) (- (/ 0.125 (* v v)) 0.25))
1.771 * * * [progress]: adding candidates to table
1.961 * * [progress]: iteration 2 / 4
1.961 * * * [progress]: picking best candidate
2.011 * * * * [pick]: Picked  #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))>
2.011 * * * [progress]: localizing error
2.029 * * * [progress]: generating rewritten candidates
2.029 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.049 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
2.053 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1)
2.058 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2)
2.079 * * * [progress]: generating series expansions
2.079 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.080 * [approximate]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in (r w v) around 0
2.080 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in v
2.080 * [taylor]: Taking taylor expansion of 0.125 in v
2.080 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in v
2.080 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in v
2.080 * [taylor]: Taking taylor expansion of (pow w 2) in v
2.080 * [taylor]: Taking taylor expansion of w in v
2.080 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in v
2.080 * [taylor]: Taking taylor expansion of (pow r 2) in v
2.080 * [taylor]: Taking taylor expansion of r in v
2.080 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.080 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.080 * [taylor]: Taking taylor expansion of 2.0 in v
2.080 * [taylor]: Taking taylor expansion of v in v
2.080 * [taylor]: Taking taylor expansion of 3.0 in v
2.080 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.080 * [taylor]: Taking taylor expansion of 1.0 in v
2.080 * [taylor]: Taking taylor expansion of v in v
2.080 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in w
2.080 * [taylor]: Taking taylor expansion of 0.125 in w
2.080 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in w
2.080 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in w
2.080 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.080 * [taylor]: Taking taylor expansion of w in w
2.080 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in w
2.081 * [taylor]: Taking taylor expansion of (pow r 2) in w
2.081 * [taylor]: Taking taylor expansion of r in w
2.081 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in w
2.081 * [taylor]: Taking taylor expansion of (* 2.0 v) in w
2.081 * [taylor]: Taking taylor expansion of 2.0 in w
2.081 * [taylor]: Taking taylor expansion of v in w
2.081 * [taylor]: Taking taylor expansion of 3.0 in w
2.081 * [taylor]: Taking taylor expansion of (- 1.0 v) in w
2.081 * [taylor]: Taking taylor expansion of 1.0 in w
2.081 * [taylor]: Taking taylor expansion of v in w
2.081 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in r
2.081 * [taylor]: Taking taylor expansion of 0.125 in r
2.081 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in r
2.081 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in r
2.081 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.081 * [taylor]: Taking taylor expansion of w in r
2.081 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in r
2.081 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.081 * [taylor]: Taking taylor expansion of r in r
2.081 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in r
2.081 * [taylor]: Taking taylor expansion of (* 2.0 v) in r
2.081 * [taylor]: Taking taylor expansion of 2.0 in r
2.081 * [taylor]: Taking taylor expansion of v in r
2.081 * [taylor]: Taking taylor expansion of 3.0 in r
2.081 * [taylor]: Taking taylor expansion of (- 1.0 v) in r
2.081 * [taylor]: Taking taylor expansion of 1.0 in r
2.081 * [taylor]: Taking taylor expansion of v in r
2.082 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in r
2.082 * [taylor]: Taking taylor expansion of 0.125 in r
2.082 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in r
2.082 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in r
2.082 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.082 * [taylor]: Taking taylor expansion of w in r
2.082 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in r
2.082 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.082 * [taylor]: Taking taylor expansion of r in r
2.082 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in r
2.082 * [taylor]: Taking taylor expansion of (* 2.0 v) in r
2.082 * [taylor]: Taking taylor expansion of 2.0 in r
2.082 * [taylor]: Taking taylor expansion of v in r
2.082 * [taylor]: Taking taylor expansion of 3.0 in r
2.082 * [taylor]: Taking taylor expansion of (- 1.0 v) in r
2.082 * [taylor]: Taking taylor expansion of 1.0 in r
2.082 * [taylor]: Taking taylor expansion of v in r
2.082 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (- (* 2.0 v) 3.0)) (- 1.0 v))) in w
2.082 * [taylor]: Taking taylor expansion of 0.125 in w
2.082 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (- (* 2.0 v) 3.0)) (- 1.0 v)) in w
2.082 * [taylor]: Taking taylor expansion of (* (pow w 2) (- (* 2.0 v) 3.0)) in w
2.082 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.082 * [taylor]: Taking taylor expansion of w in w
2.082 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in w
2.082 * [taylor]: Taking taylor expansion of (* 2.0 v) in w
2.082 * [taylor]: Taking taylor expansion of 2.0 in w
2.082 * [taylor]: Taking taylor expansion of v in w
2.082 * [taylor]: Taking taylor expansion of 3.0 in w
2.082 * [taylor]: Taking taylor expansion of (- 1.0 v) in w
2.082 * [taylor]: Taking taylor expansion of 1.0 in w
2.083 * [taylor]: Taking taylor expansion of v in w
2.083 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in v
2.083 * [taylor]: Taking taylor expansion of 0.125 in v
2.083 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 v) 3.0) (- 1.0 v)) in v
2.083 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.083 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.083 * [taylor]: Taking taylor expansion of 2.0 in v
2.083 * [taylor]: Taking taylor expansion of v in v
2.083 * [taylor]: Taking taylor expansion of 3.0 in v
2.083 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.083 * [taylor]: Taking taylor expansion of 1.0 in v
2.083 * [taylor]: Taking taylor expansion of v in v
2.083 * [taylor]: Taking taylor expansion of 0 in w
2.083 * [taylor]: Taking taylor expansion of 0 in v
2.084 * [taylor]: Taking taylor expansion of 0 in v
2.084 * [taylor]: Taking taylor expansion of 0 in w
2.084 * [taylor]: Taking taylor expansion of 0 in v
2.084 * [taylor]: Taking taylor expansion of 0 in v
2.085 * [taylor]: Taking taylor expansion of 0 in v
2.086 * [approximate]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in (r w v) around 0
2.086 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in v
2.086 * [taylor]: Taking taylor expansion of 0.125 in v
2.086 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in v
2.086 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.086 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.086 * [taylor]: Taking taylor expansion of 2.0 in v
2.086 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.086 * [taylor]: Taking taylor expansion of v in v
2.086 * [taylor]: Taking taylor expansion of 3.0 in v
2.086 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in v
2.086 * [taylor]: Taking taylor expansion of (pow r 2) in v
2.086 * [taylor]: Taking taylor expansion of r in v
2.086 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in v
2.086 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.086 * [taylor]: Taking taylor expansion of 1.0 in v
2.086 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.086 * [taylor]: Taking taylor expansion of v in v
2.086 * [taylor]: Taking taylor expansion of (pow w 2) in v
2.086 * [taylor]: Taking taylor expansion of w in v
2.086 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in w
2.086 * [taylor]: Taking taylor expansion of 0.125 in w
2.086 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in w
2.086 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in w
2.086 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
2.086 * [taylor]: Taking taylor expansion of 2.0 in w
2.086 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.086 * [taylor]: Taking taylor expansion of v in w
2.086 * [taylor]: Taking taylor expansion of 3.0 in w
2.087 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in w
2.087 * [taylor]: Taking taylor expansion of (pow r 2) in w
2.087 * [taylor]: Taking taylor expansion of r in w
2.087 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in w
2.087 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in w
2.087 * [taylor]: Taking taylor expansion of 1.0 in w
2.087 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.087 * [taylor]: Taking taylor expansion of v in w
2.087 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.087 * [taylor]: Taking taylor expansion of w in w
2.087 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in r
2.087 * [taylor]: Taking taylor expansion of 0.125 in r
2.087 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in r
2.087 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in r
2.087 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
2.087 * [taylor]: Taking taylor expansion of 2.0 in r
2.087 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.087 * [taylor]: Taking taylor expansion of v in r
2.087 * [taylor]: Taking taylor expansion of 3.0 in r
2.087 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in r
2.087 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.087 * [taylor]: Taking taylor expansion of r in r
2.087 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in r
2.087 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in r
2.087 * [taylor]: Taking taylor expansion of 1.0 in r
2.087 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.087 * [taylor]: Taking taylor expansion of v in r
2.087 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.087 * [taylor]: Taking taylor expansion of w in r
2.088 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in r
2.088 * [taylor]: Taking taylor expansion of 0.125 in r
2.088 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in r
2.088 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in r
2.088 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
2.088 * [taylor]: Taking taylor expansion of 2.0 in r
2.088 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.088 * [taylor]: Taking taylor expansion of v in r
2.088 * [taylor]: Taking taylor expansion of 3.0 in r
2.088 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in r
2.088 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.088 * [taylor]: Taking taylor expansion of r in r
2.088 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in r
2.088 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in r
2.088 * [taylor]: Taking taylor expansion of 1.0 in r
2.088 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.088 * [taylor]: Taking taylor expansion of v in r
2.088 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.088 * [taylor]: Taking taylor expansion of w in r
2.089 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (- 1.0 (/ 1 v))))) in w
2.089 * [taylor]: Taking taylor expansion of 0.125 in w
2.089 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (- 1.0 (/ 1 v)))) in w
2.089 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in w
2.089 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
2.089 * [taylor]: Taking taylor expansion of 2.0 in w
2.089 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.089 * [taylor]: Taking taylor expansion of v in w
2.089 * [taylor]: Taking taylor expansion of 3.0 in w
2.089 * [taylor]: Taking taylor expansion of (* (pow w 2) (- 1.0 (/ 1 v))) in w
2.089 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.089 * [taylor]: Taking taylor expansion of w in w
2.089 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in w
2.089 * [taylor]: Taking taylor expansion of 1.0 in w
2.089 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.089 * [taylor]: Taking taylor expansion of v in w
2.089 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in v
2.089 * [taylor]: Taking taylor expansion of 0.125 in v
2.089 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v))) in v
2.089 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.089 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.089 * [taylor]: Taking taylor expansion of 2.0 in v
2.089 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.089 * [taylor]: Taking taylor expansion of v in v
2.089 * [taylor]: Taking taylor expansion of 3.0 in v
2.089 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.089 * [taylor]: Taking taylor expansion of 1.0 in v
2.089 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.089 * [taylor]: Taking taylor expansion of v in v
2.090 * [taylor]: Taking taylor expansion of 0 in w
2.091 * [taylor]: Taking taylor expansion of 0 in v
2.092 * [taylor]: Taking taylor expansion of 0 in w
2.092 * [taylor]: Taking taylor expansion of 0 in v
2.093 * [approximate]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in (r w v) around 0
2.093 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in v
2.093 * [taylor]: Taking taylor expansion of -0.125 in v
2.093 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in v
2.093 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.093 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.093 * [taylor]: Taking taylor expansion of 2.0 in v
2.093 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.093 * [taylor]: Taking taylor expansion of v in v
2.093 * [taylor]: Taking taylor expansion of 3.0 in v
2.093 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in v
2.093 * [taylor]: Taking taylor expansion of (pow w 2) in v
2.093 * [taylor]: Taking taylor expansion of w in v
2.094 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in v
2.094 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.094 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.094 * [taylor]: Taking taylor expansion of v in v
2.094 * [taylor]: Taking taylor expansion of 1.0 in v
2.094 * [taylor]: Taking taylor expansion of (pow r 2) in v
2.094 * [taylor]: Taking taylor expansion of r in v
2.094 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in w
2.094 * [taylor]: Taking taylor expansion of -0.125 in w
2.094 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in w
2.094 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in w
2.094 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
2.094 * [taylor]: Taking taylor expansion of 2.0 in w
2.094 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.094 * [taylor]: Taking taylor expansion of v in w
2.094 * [taylor]: Taking taylor expansion of 3.0 in w
2.094 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in w
2.094 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.094 * [taylor]: Taking taylor expansion of w in w
2.094 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in w
2.094 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in w
2.094 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.094 * [taylor]: Taking taylor expansion of v in w
2.094 * [taylor]: Taking taylor expansion of 1.0 in w
2.094 * [taylor]: Taking taylor expansion of (pow r 2) in w
2.094 * [taylor]: Taking taylor expansion of r in w
2.095 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in r
2.095 * [taylor]: Taking taylor expansion of -0.125 in r
2.095 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in r
2.095 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in r
2.095 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
2.095 * [taylor]: Taking taylor expansion of 2.0 in r
2.095 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.095 * [taylor]: Taking taylor expansion of v in r
2.095 * [taylor]: Taking taylor expansion of 3.0 in r
2.095 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in r
2.095 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.095 * [taylor]: Taking taylor expansion of w in r
2.095 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in r
2.095 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in r
2.095 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.095 * [taylor]: Taking taylor expansion of v in r
2.095 * [taylor]: Taking taylor expansion of 1.0 in r
2.095 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.095 * [taylor]: Taking taylor expansion of r in r
2.095 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in r
2.095 * [taylor]: Taking taylor expansion of -0.125 in r
2.095 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in r
2.095 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in r
2.095 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
2.095 * [taylor]: Taking taylor expansion of 2.0 in r
2.095 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.095 * [taylor]: Taking taylor expansion of v in r
2.095 * [taylor]: Taking taylor expansion of 3.0 in r
2.096 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in r
2.096 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.096 * [taylor]: Taking taylor expansion of w in r
2.096 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in r
2.096 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in r
2.096 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.096 * [taylor]: Taking taylor expansion of v in r
2.096 * [taylor]: Taking taylor expansion of 1.0 in r
2.096 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.096 * [taylor]: Taking taylor expansion of r in r
2.096 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (+ (/ 1 v) 1.0)))) in w
2.096 * [taylor]: Taking taylor expansion of -0.125 in w
2.096 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (+ (/ 1 v) 1.0))) in w
2.096 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in w
2.096 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
2.096 * [taylor]: Taking taylor expansion of 2.0 in w
2.096 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.096 * [taylor]: Taking taylor expansion of v in w
2.096 * [taylor]: Taking taylor expansion of 3.0 in w
2.096 * [taylor]: Taking taylor expansion of (* (pow w 2) (+ (/ 1 v) 1.0)) in w
2.096 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.096 * [taylor]: Taking taylor expansion of w in w
2.096 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in w
2.096 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.096 * [taylor]: Taking taylor expansion of v in w
2.096 * [taylor]: Taking taylor expansion of 1.0 in w
2.097 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in v
2.097 * [taylor]: Taking taylor expansion of -0.125 in v
2.097 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0)) in v
2.097 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.097 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.097 * [taylor]: Taking taylor expansion of 2.0 in v
2.097 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.097 * [taylor]: Taking taylor expansion of v in v
2.097 * [taylor]: Taking taylor expansion of 3.0 in v
2.097 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.097 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.097 * [taylor]: Taking taylor expansion of v in v
2.097 * [taylor]: Taking taylor expansion of 1.0 in v
2.098 * [taylor]: Taking taylor expansion of 0 in w
2.098 * [taylor]: Taking taylor expansion of 0 in v
2.099 * [taylor]: Taking taylor expansion of 0 in w
2.100 * [taylor]: Taking taylor expansion of 0 in v
2.100 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
2.101 * [approximate]: Taking taylor expansion of (/ 2.0 (pow r 2)) in (r) around 0
2.101 * [taylor]: Taking taylor expansion of (/ 2.0 (pow r 2)) in r
2.101 * [taylor]: Taking taylor expansion of 2.0 in r
2.101 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.101 * [taylor]: Taking taylor expansion of r in r
2.101 * [taylor]: Taking taylor expansion of (/ 2.0 (pow r 2)) in r
2.101 * [taylor]: Taking taylor expansion of 2.0 in r
2.101 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.101 * [taylor]: Taking taylor expansion of r in r
2.101 * [approximate]: Taking taylor expansion of (* 2.0 (pow r 2)) in (r) around 0
2.102 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.102 * [taylor]: Taking taylor expansion of 2.0 in r
2.102 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.102 * [taylor]: Taking taylor expansion of r in r
2.102 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.102 * [taylor]: Taking taylor expansion of 2.0 in r
2.102 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.102 * [taylor]: Taking taylor expansion of r in r
2.102 * [approximate]: Taking taylor expansion of (* 2.0 (pow r 2)) in (r) around 0
2.102 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.102 * [taylor]: Taking taylor expansion of 2.0 in r
2.102 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.102 * [taylor]: Taking taylor expansion of r in r
2.102 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.102 * [taylor]: Taking taylor expansion of 2.0 in r
2.102 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.102 * [taylor]: Taking taylor expansion of r in r
2.103 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1)
2.103 * [approximate]: Taking taylor expansion of (* (pow w 2) r) in (r w) around 0
2.103 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
2.103 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.103 * [taylor]: Taking taylor expansion of w in w
2.103 * [taylor]: Taking taylor expansion of r in w
2.103 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.103 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.103 * [taylor]: Taking taylor expansion of w in r
2.103 * [taylor]: Taking taylor expansion of r in r
2.103 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.103 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.103 * [taylor]: Taking taylor expansion of w in r
2.103 * [taylor]: Taking taylor expansion of r in r
2.104 * [taylor]: Taking taylor expansion of 0 in w
2.104 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.104 * [taylor]: Taking taylor expansion of w in w
2.104 * [taylor]: Taking taylor expansion of 0 in w
2.104 * [taylor]: Taking taylor expansion of 0 in w
2.104 * [approximate]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in (r w) around 0
2.104 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in w
2.104 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
2.104 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.104 * [taylor]: Taking taylor expansion of w in w
2.104 * [taylor]: Taking taylor expansion of r in w
2.104 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in r
2.104 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.104 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.104 * [taylor]: Taking taylor expansion of w in r
2.104 * [taylor]: Taking taylor expansion of r in r
2.105 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in r
2.105 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.105 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.105 * [taylor]: Taking taylor expansion of w in r
2.105 * [taylor]: Taking taylor expansion of r in r
2.105 * [taylor]: Taking taylor expansion of (/ 1 (pow w 2)) in w
2.105 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.105 * [taylor]: Taking taylor expansion of w in w
2.105 * [taylor]: Taking taylor expansion of 0 in w
2.106 * [taylor]: Taking taylor expansion of 0 in w
2.106 * [taylor]: Taking taylor expansion of 0 in w
2.106 * [taylor]: Taking taylor expansion of 0 in w
2.107 * [approximate]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in (r w) around 0
2.107 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in w
2.107 * [taylor]: Taking taylor expansion of -1 in w
2.107 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
2.107 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.107 * [taylor]: Taking taylor expansion of w in w
2.107 * [taylor]: Taking taylor expansion of r in w
2.107 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in r
2.107 * [taylor]: Taking taylor expansion of -1 in r
2.107 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.107 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.107 * [taylor]: Taking taylor expansion of w in r
2.107 * [taylor]: Taking taylor expansion of r in r
2.107 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in r
2.107 * [taylor]: Taking taylor expansion of -1 in r
2.107 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.107 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.107 * [taylor]: Taking taylor expansion of w in r
2.107 * [taylor]: Taking taylor expansion of r in r
2.107 * [taylor]: Taking taylor expansion of (/ -1 (pow w 2)) in w
2.108 * [taylor]: Taking taylor expansion of -1 in w
2.108 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.108 * [taylor]: Taking taylor expansion of w in w
2.108 * [taylor]: Taking taylor expansion of 0 in w
2.108 * [taylor]: Taking taylor expansion of 0 in w
2.109 * [taylor]: Taking taylor expansion of 0 in w
2.109 * [taylor]: Taking taylor expansion of 0 in w
2.109 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 2)
2.110 * [approximate]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in (v) around 0
2.110 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in v
2.110 * [taylor]: Taking taylor expansion of 0.125 in v
2.110 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 v) 3.0) (- 1.0 v)) in v
2.110 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.110 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.110 * [taylor]: Taking taylor expansion of 2.0 in v
2.110 * [taylor]: Taking taylor expansion of v in v
2.110 * [taylor]: Taking taylor expansion of 3.0 in v
2.110 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.110 * [taylor]: Taking taylor expansion of 1.0 in v
2.110 * [taylor]: Taking taylor expansion of v in v
2.110 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in v
2.110 * [taylor]: Taking taylor expansion of 0.125 in v
2.110 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 v) 3.0) (- 1.0 v)) in v
2.110 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.110 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.110 * [taylor]: Taking taylor expansion of 2.0 in v
2.110 * [taylor]: Taking taylor expansion of v in v
2.110 * [taylor]: Taking taylor expansion of 3.0 in v
2.110 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.110 * [taylor]: Taking taylor expansion of 1.0 in v
2.110 * [taylor]: Taking taylor expansion of v in v
2.111 * [approximate]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in (v) around 0
2.111 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in v
2.111 * [taylor]: Taking taylor expansion of 0.125 in v
2.111 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v))) in v
2.111 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.111 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.111 * [taylor]: Taking taylor expansion of 2.0 in v
2.111 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.111 * [taylor]: Taking taylor expansion of v in v
2.111 * [taylor]: Taking taylor expansion of 3.0 in v
2.111 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.111 * [taylor]: Taking taylor expansion of 1.0 in v
2.111 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.111 * [taylor]: Taking taylor expansion of v in v
2.111 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in v
2.111 * [taylor]: Taking taylor expansion of 0.125 in v
2.111 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v))) in v
2.111 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.111 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.111 * [taylor]: Taking taylor expansion of 2.0 in v
2.111 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.111 * [taylor]: Taking taylor expansion of v in v
2.111 * [taylor]: Taking taylor expansion of 3.0 in v
2.111 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.111 * [taylor]: Taking taylor expansion of 1.0 in v
2.111 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.111 * [taylor]: Taking taylor expansion of v in v
2.112 * [approximate]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in (v) around 0
2.112 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in v
2.112 * [taylor]: Taking taylor expansion of -0.125 in v
2.112 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0)) in v
2.112 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.112 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.112 * [taylor]: Taking taylor expansion of 2.0 in v
2.112 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.112 * [taylor]: Taking taylor expansion of v in v
2.112 * [taylor]: Taking taylor expansion of 3.0 in v
2.112 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.112 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.112 * [taylor]: Taking taylor expansion of v in v
2.112 * [taylor]: Taking taylor expansion of 1.0 in v
2.112 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in v
2.112 * [taylor]: Taking taylor expansion of -0.125 in v
2.112 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0)) in v
2.112 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.112 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.112 * [taylor]: Taking taylor expansion of 2.0 in v
2.112 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.112 * [taylor]: Taking taylor expansion of v in v
2.112 * [taylor]: Taking taylor expansion of 3.0 in v
2.112 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.112 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.112 * [taylor]: Taking taylor expansion of v in v
2.112 * [taylor]: Taking taylor expansion of 1.0 in v
2.113 * * * [progress]: simplifying candidates
2.115 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (+ (log r) (+ (+ (+ (log r) (log w)) (log w)) (+ (- (log 0.125) (log (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (+ (log r) (log w)) (log w)) (+ (log (/ 0.125 (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (+ (log r) (log w)) (log w)) (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (log (* r w)) (log w)) (+ (- (log 0.125) (log (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (log (* r w)) (log w)) (+ (log (/ 0.125 (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (+ (log (* r w)) (log w)) (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (log (* (* r w) w)) (+ (- (log 0.125) (log (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (log (* (* r w) w)) (+ (log (/ 0.125 (- 1.0 v))) (log (- (* 2.0 v) 3.0)))))
  (+ (log r) (+ (log (* (* r w) w)) (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (+ (log r) (log (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (log (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (exp (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r r) r) (* (* w w) w)) (* (* w w) w)) (* (/ (* (* 0.125 0.125) 0.125) (* (* (- 1.0 v) (- 1.0 v)) (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r r) r) (* (* w w) w)) (* (* w w) w)) (* (* (* (/ 0.125 (- 1.0 v)) (/ 0.125 (- 1.0 v))) (/ 0.125 (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r r) r) (* (* w w) w)) (* (* w w) w)) (* (* (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r w) (* r w)) (* r w)) (* (* w w) w)) (* (/ (* (* 0.125 0.125) 0.125) (* (* (- 1.0 v) (- 1.0 v)) (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r w) (* r w)) (* r w)) (* (* w w) w)) (* (* (* (/ 0.125 (- 1.0 v)) (/ 0.125 (- 1.0 v))) (/ 0.125 (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r w) (* r w)) (* r w)) (* (* w w) w)) (* (* (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r w) w) (* (* r w) w)) (* (* r w) w)) (* (/ (* (* 0.125 0.125) 0.125) (* (* (- 1.0 v) (- 1.0 v)) (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r w) w) (* (* r w) w)) (* (* r w) w)) (* (* (* (/ 0.125 (- 1.0 v)) (/ 0.125 (- 1.0 v))) (/ 0.125 (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r w) w) (* (* r w) w)) (* (* r w) w)) (* (* (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r r) r) (* (* (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (cbrt (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))) (cbrt (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))))
  (cbrt (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* (* (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))) (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (sqrt (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (sqrt (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (* 2.0 v))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (neg 3.0))))
  (* r (* (* (* r w) w) (* (* 2.0 v) (/ 0.125 (- 1.0 v)))))
  (* r (* (* (* r w) w) (* (neg 3.0) (/ 0.125 (- 1.0 v)))))
  (* r (* (* (/ 0.125 (- 1.0 v)) (* 2.0 v)) (* (* r w) w)))
  (* r (* (* (/ 0.125 (- 1.0 v)) (neg 3.0)) (* (* r w) w)))
  (* r (* (* (* 2.0 v) (/ 0.125 (- 1.0 v))) (* (* r w) w)))
  (* r (* (* (neg 3.0) (/ 0.125 (- 1.0 v))) (* (* r w) w)))
  (* (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (* 2.0 v))) r)
  (* (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (neg 3.0))) r)
  (* (* (* (* r w) w) (* (* 2.0 v) (/ 0.125 (- 1.0 v)))) r)
  (* (* (* (* r w) w) (* (neg 3.0) (/ 0.125 (- 1.0 v)))) r)
  (* (* (* (/ 0.125 (- 1.0 v)) (* 2.0 v)) (* (* r w) w)) r)
  (* (* (* (/ 0.125 (- 1.0 v)) (neg 3.0)) (* (* r w) w)) r)
  (* (* (* (* 2.0 v) (/ 0.125 (- 1.0 v))) (* (* r w) w)) r)
  (* (* (* (neg 3.0) (/ 0.125 (- 1.0 v))) (* (* r w) w)) r)
  (* r (* (* r w) w))
  (* (cbrt r) (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* (sqrt r) (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (* r (* (* (* r w) w) (* 0.125 (- (pow (* 2.0 v) 3) (pow 3.0 3)))))
  (* r (* (* (* r w) w) (* 0.125 (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (pow (* 2.0 v) 3) (pow 3.0 3)))))
  (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))))
  (* r (* (* (* r w) w) (* 0.125 (- (* 2.0 v) 3.0))))
  (- (log 2.0) (+ (log r) (log r)))
  (- (log 2.0) (log (* r r)))
  (log (/ 2.0 (* r r)))
  (exp (/ 2.0 (* r r)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* r r) r) (* (* r r) r)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* r r) (* r r)) (* r r)))
  (* (cbrt (/ 2.0 (* r r))) (cbrt (/ 2.0 (* r r))))
  (cbrt (/ 2.0 (* r r)))
  (* (* (/ 2.0 (* r r)) (/ 2.0 (* r r))) (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (neg 2.0)
  (neg (* r r))
  (/ (* (cbrt 2.0) (cbrt 2.0)) r)
  (/ (cbrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ 1 r)
  (/ 2.0 r)
  (/ 1 (* r r))
  (/ (* r r) 2.0)
  (/ 2.0 r)
  (/ (* r r) (cbrt 2.0))
  (/ (* r r) (sqrt 2.0))
  (/ (* r r) 2.0)
  (* (* r w) w)
  (* (* r w) w)
  (+ (+ (log r) (log w)) (log w))
  (+ (log (* r w)) (log w))
  (log (* (* r w) w))
  (exp (* (* r w) w))
  (* (* (* (* r r) r) (* (* w w) w)) (* (* w w) w))
  (* (* (* (* r w) (* r w)) (* r w)) (* (* w w) w))
  (* (cbrt (* (* r w) w)) (cbrt (* (* r w) w)))
  (cbrt (* (* r w) w))
  (* (* (* (* r w) w) (* (* r w) w)) (* (* r w) w))
  (sqrt (* (* r w) w))
  (sqrt (* (* r w) w))
  (* (* r w) (* (cbrt w) (cbrt w)))
  (* (* r w) (sqrt w))
  (* (* r w) 1)
  (* w w)
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (+ (- (log 0.125) (log (- 1.0 v))) (log (- (* 2.0 v) 3.0)))
  (+ (log (/ 0.125 (- 1.0 v))) (log (- (* 2.0 v) 3.0)))
  (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (exp (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* (/ (* (* 0.125 0.125) 0.125) (* (* (- 1.0 v) (- 1.0 v)) (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))
  (* (* (* (/ 0.125 (- 1.0 v)) (/ 0.125 (- 1.0 v))) (/ 0.125 (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))
  (* (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* (* (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* 0.125 (- (pow (* 2.0 v) 3) (pow 3.0 3)))
  (* (- 1.0 v) (+ (* (* 2.0 v) (* 2.0 v)) (+ (* 3.0 3.0) (* (* 2.0 v) 3.0))))
  (* 0.125 (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))
  (* (- 1.0 v) (+ (* 2.0 v) 3.0))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ (sqrt 0.125) (sqrt (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ (sqrt 0.125) (sqrt (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ 0.125 (- 1.0 v)) (* 2.0 v))
  (* (/ 0.125 (- 1.0 v)) (neg 3.0))
  (* (* 2.0 v) (/ 0.125 (- 1.0 v)))
  (* (neg 3.0) (/ 0.125 (- 1.0 v)))
  (* (/ 0.125 (- 1.0 v)) (* (cbrt (- (* 2.0 v) 3.0)) (cbrt (- (* 2.0 v) 3.0))))
  (* (/ 0.125 (- 1.0 v)) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ 0.125 (- 1.0 v)) 1)
  (* (cbrt (/ 0.125 (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (sqrt (/ 0.125 (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (sqrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (- (sqrt 1.0) (sqrt v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (cbrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (sqrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (- (sqrt 1.0) (sqrt v))) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (cbrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (sqrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- (sqrt 1.0) (sqrt v))) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 1 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (+ (* 1.0 1.0) (+ (* v v) (* 1.0 v))) (- (* 2.0 v) 3.0))
  (* (+ 1.0 v) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (pow (* 2.0 v) 3) (pow 3.0 3)))
  (* (/ 0.125 (- 1.0 v)) (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))
  (* 0.125 (- (* 2.0 v) 3.0))
  (neg (+ (* 0.375 (* (pow w 2) (pow r 2))) (+ (* 0.125 (* (pow w 2) (* v (pow r 2)))) (* 0.125 (* (pow w 2) (* (pow r 2) (pow v 2)))))))
  (- (+ (* 0.125 (/ (* (pow w 2) (pow r 2)) (pow v 2))) (* 0.125 (/ (* (pow w 2) (pow r 2)) v))) (* 0.25 (* (pow w 2) (pow r 2))))
  (- (+ (* 0.125 (/ (* (pow w 2) (pow r 2)) (pow v 2))) (* 0.125 (/ (* (pow w 2) (pow r 2)) v))) (* 0.25 (* (pow w 2) (pow r 2))))
  (/ 2.0 (pow r 2))
  (/ 2.0 (pow r 2))
  (/ 2.0 (pow r 2))
  (* (pow w 2) r)
  (* (pow w 2) r)
  (* (pow w 2) r)
  (neg (+ (* 0.125 (pow v 2)) (+ (* 0.125 v) 0.375)))
  (- (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))) 0.25)
  (- (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))) 0.25)
2.147 * * [simplify]: iteration  0 :  6279  enodes  (cost  2145 )
2.154 * [simplify]: Simplified to:
   (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (pow (pow (exp r) (* w w)) (* (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) r))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))))
  (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (sqrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (sqrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w (* w (* v (* (/ 0.125 (- 1.0 v)) 2.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (neg 3.0))))))
  (* r (* r (* w w)))
  (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt r)))
  (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (sqrt r)))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* 0.125 (- (pow (* v 2.0) 3) (pow 3.0 3)))))))
  (* r (* r (* w (* w (* 0.125 (- (* v (* v (* 2.0 2.0))) (* 3.0 3.0)))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (pow (* v 2.0) 3) (pow 3.0 3)))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v (* v (* 2.0 2.0))) (* 3.0 3.0)))))))
  (* r (* r (* w (* w (* 0.125 (- (* v 2.0) 3.0))))))
  (log (/ 2.0 (* r r)))
  (log (/ 2.0 (* r r)))
  (log (/ 2.0 (* r r)))
  (exp (/ 2.0 (* r r)))
  (/ (pow 2.0 3) (pow r 6))
  (/ (pow 2.0 3) (pow r 6))
  (* (cbrt (/ 2.0 (* r r))) (cbrt (/ 2.0 (* r r))))
  (cbrt (/ 2.0 (* r r)))
  (/ (pow 2.0 3) (pow r 6))
  (sqrt (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (neg 2.0)
  (* r (neg r))
  (* (/ (cbrt 2.0) r) (cbrt 2.0))
  (/ (cbrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ 1 r)
  (/ 2.0 r)
  (/ 1 (* r r))
  (* (/ r 2.0) r)
  (/ 2.0 r)
  (* (/ r (cbrt 2.0)) r)
  (* (/ r (sqrt 2.0)) r)
  (* (/ r 2.0) r)
  (* r (* w w))
  (* r (* w w))
  (log (* r (* w w)))
  (log (* r (* w w)))
  (log (* r (* w w)))
  (pow (exp r) (* w w))
  (* (pow r 3) (pow w 6))
  (* (pow r 3) (pow w 6))
  (* (cbrt (* r (* w w))) (cbrt (* r (* w w))))
  (cbrt (* r (* w w)))
  (* (pow r 3) (pow w 6))
  (sqrt (* r (* w w)))
  (sqrt (* r (* w w)))
  (* r (* w (* (cbrt w) (cbrt w))))
  (* r (* w (sqrt w)))
  (* r w)
  (* w w)
  (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))
  (log (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (log (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (log (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (pow (exp (/ 0.125 (- 1.0 v))) (- (* v 2.0) 3.0))
  (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)
  (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)
  (* (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (* 0.125 (- (pow (* v 2.0) 3) (pow 3.0 3)))
  (* (- 1.0 v) (+ (* 3.0 3.0) (* (* v 2.0) (+ (* v 2.0) 3.0))))
  (* 0.125 (- (* v (* v (* 2.0 2.0))) (* 3.0 3.0)))
  (* (- 1.0 v) (+ (* v 2.0) 3.0))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* v 2.0) 3.0)))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* v 2.0) 3.0)))
  (* (sqrt (- (* v 2.0) 3.0)) (/ (sqrt 0.125) (sqrt (- 1.0 v))))
  (* (sqrt (- (* v 2.0) 3.0)) (/ (sqrt 0.125) (sqrt (- 1.0 v))))
  (* v (* (/ 0.125 (- 1.0 v)) 2.0))
  (* (/ 0.125 (- 1.0 v)) (neg 3.0))
  (* v (* (/ 0.125 (- 1.0 v)) 2.0))
  (* (/ 0.125 (- 1.0 v)) (neg 3.0))
  (* (/ 0.125 (- 1.0 v)) (* (cbrt (- (* v 2.0) 3.0)) (cbrt (- (* v 2.0) 3.0))))
  (* (/ 0.125 (- 1.0 v)) (sqrt (- (* v 2.0) 3.0)))
  (/ 0.125 (- 1.0 v))
  (* (- (* v 2.0) 3.0) (cbrt (/ 0.125 (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (sqrt (/ 0.125 (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (cbrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (sqrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (- 1.0 v)))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (- (sqrt 1.0) (sqrt v))))
  (* (- (* v 2.0) 3.0) (/ (cbrt 0.125) (- 1.0 v)))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (cbrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (sqrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- (sqrt 1.0) (sqrt v))))
  (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))
  (* (- (* v 2.0) 3.0) (/ 0.125 (cbrt (- 1.0 v))))
  (* (- (* v 2.0) 3.0) (/ 0.125 (sqrt (- 1.0 v))))
  (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))
  (* (- (* v 2.0) 3.0) (/ 0.125 (- (sqrt 1.0) (sqrt v))))
  (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))
  (/ (- (* v 2.0) 3.0) (- 1.0 v))
  (* (- (* v 2.0) 3.0) (+ (* 1.0 1.0) (* v (+ 1.0 v))))
  (* (- (* v 2.0) 3.0) (+ 1.0 v))
  (* (/ 0.125 (- 1.0 v)) (- (pow (* v 2.0) 3) (pow 3.0 3)))
  (* (/ 0.125 (- 1.0 v)) (- (* v (* v (* 2.0 2.0))) (* 3.0 3.0)))
  (* 0.125 (- (* v 2.0) 3.0))
  (- (* r (neg (* (* r (* w w)) 0.375))) (* 0.125 (* (* w w) (+ (* r (* r v)) (* r (* r (* v v)))))))
  (- (* 0.125 (+ (* (/ r v) (/ (* r (* w w)) v)) (* (/ (* w w) v) (* r r)))) (* r (* (* r (* w w)) 0.25)))
  (- (* 0.125 (+ (* (/ r v) (/ (* r (* w w)) v)) (* (/ (* w w) v) (* r r)))) (* r (* (* r (* w w)) 0.25)))
  (/ 2.0 (* r r))
  (/ 2.0 (* r r))
  (/ 2.0 (* r r))
  (* r (* w w))
  (* r (* w w))
  (* r (* w w))
  (- (* 0.125 (neg (+ (* v v) v))) 0.375)
  (+ (/ 0.125 v) (- (/ 0.125 (* v v)) 0.25))
  (+ (/ 0.125 v) (- (/ 0.125 (* v v)) 0.25))
2.155 * * * [progress]: adding candidates to table
2.315 * * [progress]: iteration 3 / 4
2.315 * * * [progress]: picking best candidate
2.357 * * * * [pick]: Picked  #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))) 4.5))))>
2.357 * * * [progress]: localizing error
2.378 * * * [progress]: generating rewritten candidates
2.378 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.390 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2)
2.396 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
2.400 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1)
2.409 * * * [progress]: generating series expansions
2.409 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.409 * [approximate]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in (r w v) around 0
2.409 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in v
2.409 * [taylor]: Taking taylor expansion of 0.125 in v
2.409 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in v
2.409 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in v
2.409 * [taylor]: Taking taylor expansion of (pow w 2) in v
2.409 * [taylor]: Taking taylor expansion of w in v
2.409 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in v
2.409 * [taylor]: Taking taylor expansion of (pow r 2) in v
2.409 * [taylor]: Taking taylor expansion of r in v
2.409 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.409 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.409 * [taylor]: Taking taylor expansion of 2.0 in v
2.409 * [taylor]: Taking taylor expansion of v in v
2.409 * [taylor]: Taking taylor expansion of 3.0 in v
2.409 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.409 * [taylor]: Taking taylor expansion of 1.0 in v
2.409 * [taylor]: Taking taylor expansion of v in v
2.410 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in w
2.410 * [taylor]: Taking taylor expansion of 0.125 in w
2.410 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in w
2.410 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in w
2.410 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.410 * [taylor]: Taking taylor expansion of w in w
2.410 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in w
2.410 * [taylor]: Taking taylor expansion of (pow r 2) in w
2.410 * [taylor]: Taking taylor expansion of r in w
2.410 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in w
2.410 * [taylor]: Taking taylor expansion of (* 2.0 v) in w
2.410 * [taylor]: Taking taylor expansion of 2.0 in w
2.410 * [taylor]: Taking taylor expansion of v in w
2.410 * [taylor]: Taking taylor expansion of 3.0 in w
2.410 * [taylor]: Taking taylor expansion of (- 1.0 v) in w
2.410 * [taylor]: Taking taylor expansion of 1.0 in w
2.410 * [taylor]: Taking taylor expansion of v in w
2.410 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in r
2.410 * [taylor]: Taking taylor expansion of 0.125 in r
2.410 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in r
2.410 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in r
2.410 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.410 * [taylor]: Taking taylor expansion of w in r
2.410 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in r
2.410 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.410 * [taylor]: Taking taylor expansion of r in r
2.410 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in r
2.410 * [taylor]: Taking taylor expansion of (* 2.0 v) in r
2.410 * [taylor]: Taking taylor expansion of 2.0 in r
2.410 * [taylor]: Taking taylor expansion of v in r
2.410 * [taylor]: Taking taylor expansion of 3.0 in r
2.410 * [taylor]: Taking taylor expansion of (- 1.0 v) in r
2.410 * [taylor]: Taking taylor expansion of 1.0 in r
2.411 * [taylor]: Taking taylor expansion of v in r
2.411 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v))) in r
2.411 * [taylor]: Taking taylor expansion of 0.125 in r
2.411 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) (- 1.0 v)) in r
2.411 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (pow r 2) (- (* 2.0 v) 3.0))) in r
2.411 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.411 * [taylor]: Taking taylor expansion of w in r
2.411 * [taylor]: Taking taylor expansion of (* (pow r 2) (- (* 2.0 v) 3.0)) in r
2.411 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.411 * [taylor]: Taking taylor expansion of r in r
2.411 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in r
2.411 * [taylor]: Taking taylor expansion of (* 2.0 v) in r
2.411 * [taylor]: Taking taylor expansion of 2.0 in r
2.411 * [taylor]: Taking taylor expansion of v in r
2.411 * [taylor]: Taking taylor expansion of 3.0 in r
2.411 * [taylor]: Taking taylor expansion of (- 1.0 v) in r
2.411 * [taylor]: Taking taylor expansion of 1.0 in r
2.411 * [taylor]: Taking taylor expansion of v in r
2.412 * [taylor]: Taking taylor expansion of (* 0.125 (/ (* (pow w 2) (- (* 2.0 v) 3.0)) (- 1.0 v))) in w
2.412 * [taylor]: Taking taylor expansion of 0.125 in w
2.412 * [taylor]: Taking taylor expansion of (/ (* (pow w 2) (- (* 2.0 v) 3.0)) (- 1.0 v)) in w
2.412 * [taylor]: Taking taylor expansion of (* (pow w 2) (- (* 2.0 v) 3.0)) in w
2.412 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.412 * [taylor]: Taking taylor expansion of w in w
2.412 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in w
2.412 * [taylor]: Taking taylor expansion of (* 2.0 v) in w
2.412 * [taylor]: Taking taylor expansion of 2.0 in w
2.412 * [taylor]: Taking taylor expansion of v in w
2.412 * [taylor]: Taking taylor expansion of 3.0 in w
2.412 * [taylor]: Taking taylor expansion of (- 1.0 v) in w
2.412 * [taylor]: Taking taylor expansion of 1.0 in w
2.412 * [taylor]: Taking taylor expansion of v in w
2.412 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in v
2.412 * [taylor]: Taking taylor expansion of 0.125 in v
2.412 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 v) 3.0) (- 1.0 v)) in v
2.412 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.412 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.412 * [taylor]: Taking taylor expansion of 2.0 in v
2.412 * [taylor]: Taking taylor expansion of v in v
2.412 * [taylor]: Taking taylor expansion of 3.0 in v
2.412 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.412 * [taylor]: Taking taylor expansion of 1.0 in v
2.412 * [taylor]: Taking taylor expansion of v in v
2.413 * [taylor]: Taking taylor expansion of 0 in w
2.413 * [taylor]: Taking taylor expansion of 0 in v
2.413 * [taylor]: Taking taylor expansion of 0 in v
2.414 * [taylor]: Taking taylor expansion of 0 in w
2.414 * [taylor]: Taking taylor expansion of 0 in v
2.414 * [taylor]: Taking taylor expansion of 0 in v
2.414 * [taylor]: Taking taylor expansion of 0 in v
2.415 * [approximate]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in (r w v) around 0
2.415 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in v
2.415 * [taylor]: Taking taylor expansion of 0.125 in v
2.415 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in v
2.415 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.416 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.416 * [taylor]: Taking taylor expansion of 2.0 in v
2.416 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.416 * [taylor]: Taking taylor expansion of v in v
2.416 * [taylor]: Taking taylor expansion of 3.0 in v
2.416 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in v
2.416 * [taylor]: Taking taylor expansion of (pow r 2) in v
2.416 * [taylor]: Taking taylor expansion of r in v
2.416 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in v
2.416 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.416 * [taylor]: Taking taylor expansion of 1.0 in v
2.416 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.416 * [taylor]: Taking taylor expansion of v in v
2.416 * [taylor]: Taking taylor expansion of (pow w 2) in v
2.416 * [taylor]: Taking taylor expansion of w in v
2.416 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in w
2.416 * [taylor]: Taking taylor expansion of 0.125 in w
2.416 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in w
2.416 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in w
2.416 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
2.416 * [taylor]: Taking taylor expansion of 2.0 in w
2.416 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.416 * [taylor]: Taking taylor expansion of v in w
2.416 * [taylor]: Taking taylor expansion of 3.0 in w
2.416 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in w
2.416 * [taylor]: Taking taylor expansion of (pow r 2) in w
2.416 * [taylor]: Taking taylor expansion of r in w
2.416 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in w
2.416 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in w
2.416 * [taylor]: Taking taylor expansion of 1.0 in w
2.416 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.416 * [taylor]: Taking taylor expansion of v in w
2.416 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.416 * [taylor]: Taking taylor expansion of w in w
2.417 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in r
2.417 * [taylor]: Taking taylor expansion of 0.125 in r
2.417 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in r
2.417 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in r
2.417 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
2.417 * [taylor]: Taking taylor expansion of 2.0 in r
2.417 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.417 * [taylor]: Taking taylor expansion of v in r
2.417 * [taylor]: Taking taylor expansion of 3.0 in r
2.417 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in r
2.417 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.417 * [taylor]: Taking taylor expansion of r in r
2.417 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in r
2.417 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in r
2.417 * [taylor]: Taking taylor expansion of 1.0 in r
2.417 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.417 * [taylor]: Taking taylor expansion of v in r
2.417 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.417 * [taylor]: Taking taylor expansion of w in r
2.418 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))))) in r
2.418 * [taylor]: Taking taylor expansion of 0.125 in r
2.418 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2)))) in r
2.418 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in r
2.418 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
2.418 * [taylor]: Taking taylor expansion of 2.0 in r
2.418 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.418 * [taylor]: Taking taylor expansion of v in r
2.418 * [taylor]: Taking taylor expansion of 3.0 in r
2.418 * [taylor]: Taking taylor expansion of (* (pow r 2) (* (- 1.0 (/ 1 v)) (pow w 2))) in r
2.418 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.418 * [taylor]: Taking taylor expansion of r in r
2.418 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 v)) (pow w 2)) in r
2.418 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in r
2.418 * [taylor]: Taking taylor expansion of 1.0 in r
2.418 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.418 * [taylor]: Taking taylor expansion of v in r
2.418 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.418 * [taylor]: Taking taylor expansion of w in r
2.418 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (- 1.0 (/ 1 v))))) in w
2.419 * [taylor]: Taking taylor expansion of 0.125 in w
2.419 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (- 1.0 (/ 1 v)))) in w
2.419 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in w
2.419 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
2.419 * [taylor]: Taking taylor expansion of 2.0 in w
2.419 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.419 * [taylor]: Taking taylor expansion of v in w
2.419 * [taylor]: Taking taylor expansion of 3.0 in w
2.419 * [taylor]: Taking taylor expansion of (* (pow w 2) (- 1.0 (/ 1 v))) in w
2.419 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.419 * [taylor]: Taking taylor expansion of w in w
2.419 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in w
2.419 * [taylor]: Taking taylor expansion of 1.0 in w
2.419 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.419 * [taylor]: Taking taylor expansion of v in w
2.419 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in v
2.419 * [taylor]: Taking taylor expansion of 0.125 in v
2.419 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v))) in v
2.419 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.419 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.419 * [taylor]: Taking taylor expansion of 2.0 in v
2.419 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.419 * [taylor]: Taking taylor expansion of v in v
2.419 * [taylor]: Taking taylor expansion of 3.0 in v
2.419 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.419 * [taylor]: Taking taylor expansion of 1.0 in v
2.419 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.419 * [taylor]: Taking taylor expansion of v in v
2.420 * [taylor]: Taking taylor expansion of 0 in w
2.421 * [taylor]: Taking taylor expansion of 0 in v
2.422 * [taylor]: Taking taylor expansion of 0 in w
2.422 * [taylor]: Taking taylor expansion of 0 in v
2.423 * [approximate]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in (r w v) around 0
2.423 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in v
2.423 * [taylor]: Taking taylor expansion of -0.125 in v
2.423 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in v
2.423 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.423 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.423 * [taylor]: Taking taylor expansion of 2.0 in v
2.424 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.424 * [taylor]: Taking taylor expansion of v in v
2.424 * [taylor]: Taking taylor expansion of 3.0 in v
2.424 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in v
2.424 * [taylor]: Taking taylor expansion of (pow w 2) in v
2.424 * [taylor]: Taking taylor expansion of w in v
2.424 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in v
2.424 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.424 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.424 * [taylor]: Taking taylor expansion of v in v
2.424 * [taylor]: Taking taylor expansion of 1.0 in v
2.424 * [taylor]: Taking taylor expansion of (pow r 2) in v
2.424 * [taylor]: Taking taylor expansion of r in v
2.424 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in w
2.424 * [taylor]: Taking taylor expansion of -0.125 in w
2.424 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in w
2.424 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in w
2.424 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
2.424 * [taylor]: Taking taylor expansion of 2.0 in w
2.424 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.424 * [taylor]: Taking taylor expansion of v in w
2.424 * [taylor]: Taking taylor expansion of 3.0 in w
2.424 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in w
2.424 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.424 * [taylor]: Taking taylor expansion of w in w
2.424 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in w
2.424 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in w
2.424 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.424 * [taylor]: Taking taylor expansion of v in w
2.424 * [taylor]: Taking taylor expansion of 1.0 in w
2.424 * [taylor]: Taking taylor expansion of (pow r 2) in w
2.424 * [taylor]: Taking taylor expansion of r in w
2.425 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in r
2.425 * [taylor]: Taking taylor expansion of -0.125 in r
2.425 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in r
2.425 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in r
2.425 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
2.425 * [taylor]: Taking taylor expansion of 2.0 in r
2.425 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.425 * [taylor]: Taking taylor expansion of v in r
2.425 * [taylor]: Taking taylor expansion of 3.0 in r
2.425 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in r
2.425 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.425 * [taylor]: Taking taylor expansion of w in r
2.425 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in r
2.425 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in r
2.425 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.425 * [taylor]: Taking taylor expansion of v in r
2.425 * [taylor]: Taking taylor expansion of 1.0 in r
2.425 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.425 * [taylor]: Taking taylor expansion of r in r
2.426 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))))) in r
2.426 * [taylor]: Taking taylor expansion of -0.125 in r
2.426 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2)))) in r
2.426 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in r
2.426 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in r
2.426 * [taylor]: Taking taylor expansion of 2.0 in r
2.426 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.426 * [taylor]: Taking taylor expansion of v in r
2.426 * [taylor]: Taking taylor expansion of 3.0 in r
2.426 * [taylor]: Taking taylor expansion of (* (pow w 2) (* (+ (/ 1 v) 1.0) (pow r 2))) in r
2.426 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.426 * [taylor]: Taking taylor expansion of w in r
2.426 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1.0) (pow r 2)) in r
2.426 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in r
2.426 * [taylor]: Taking taylor expansion of (/ 1 v) in r
2.426 * [taylor]: Taking taylor expansion of v in r
2.426 * [taylor]: Taking taylor expansion of 1.0 in r
2.426 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.426 * [taylor]: Taking taylor expansion of r in r
2.426 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (+ (/ 1 v) 1.0)))) in w
2.426 * [taylor]: Taking taylor expansion of -0.125 in w
2.426 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (* (pow w 2) (+ (/ 1 v) 1.0))) in w
2.426 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in w
2.426 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in w
2.426 * [taylor]: Taking taylor expansion of 2.0 in w
2.426 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.427 * [taylor]: Taking taylor expansion of v in w
2.427 * [taylor]: Taking taylor expansion of 3.0 in w
2.427 * [taylor]: Taking taylor expansion of (* (pow w 2) (+ (/ 1 v) 1.0)) in w
2.427 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.427 * [taylor]: Taking taylor expansion of w in w
2.427 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in w
2.427 * [taylor]: Taking taylor expansion of (/ 1 v) in w
2.427 * [taylor]: Taking taylor expansion of v in w
2.427 * [taylor]: Taking taylor expansion of 1.0 in w
2.427 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in v
2.427 * [taylor]: Taking taylor expansion of -0.125 in v
2.427 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0)) in v
2.427 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.427 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.427 * [taylor]: Taking taylor expansion of 2.0 in v
2.427 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.427 * [taylor]: Taking taylor expansion of v in v
2.427 * [taylor]: Taking taylor expansion of 3.0 in v
2.427 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.427 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.427 * [taylor]: Taking taylor expansion of v in v
2.427 * [taylor]: Taking taylor expansion of 1.0 in v
2.428 * [taylor]: Taking taylor expansion of 0 in w
2.428 * [taylor]: Taking taylor expansion of 0 in v
2.429 * [taylor]: Taking taylor expansion of 0 in w
2.430 * [taylor]: Taking taylor expansion of 0 in v
2.431 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2)
2.431 * [approximate]: Taking taylor expansion of (/ (* 0.125 (- (* 2.0 v) 3.0)) (- 1.0 v)) in (v) around 0
2.431 * [taylor]: Taking taylor expansion of (/ (* 0.125 (- (* 2.0 v) 3.0)) (- 1.0 v)) in v
2.431 * [taylor]: Taking taylor expansion of (* 0.125 (- (* 2.0 v) 3.0)) in v
2.431 * [taylor]: Taking taylor expansion of 0.125 in v
2.431 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.431 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.431 * [taylor]: Taking taylor expansion of 2.0 in v
2.431 * [taylor]: Taking taylor expansion of v in v
2.431 * [taylor]: Taking taylor expansion of 3.0 in v
2.431 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.431 * [taylor]: Taking taylor expansion of 1.0 in v
2.431 * [taylor]: Taking taylor expansion of v in v
2.431 * [taylor]: Taking taylor expansion of (/ (* 0.125 (- (* 2.0 v) 3.0)) (- 1.0 v)) in v
2.431 * [taylor]: Taking taylor expansion of (* 0.125 (- (* 2.0 v) 3.0)) in v
2.431 * [taylor]: Taking taylor expansion of 0.125 in v
2.431 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.431 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.431 * [taylor]: Taking taylor expansion of 2.0 in v
2.431 * [taylor]: Taking taylor expansion of v in v
2.431 * [taylor]: Taking taylor expansion of 3.0 in v
2.431 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.431 * [taylor]: Taking taylor expansion of 1.0 in v
2.431 * [taylor]: Taking taylor expansion of v in v
2.432 * [approximate]: Taking taylor expansion of (/ (* 0.125 (- (* 2.0 (/ 1 v)) 3.0)) (- 1.0 (/ 1 v))) in (v) around 0
2.432 * [taylor]: Taking taylor expansion of (/ (* 0.125 (- (* 2.0 (/ 1 v)) 3.0)) (- 1.0 (/ 1 v))) in v
2.432 * [taylor]: Taking taylor expansion of (* 0.125 (- (* 2.0 (/ 1 v)) 3.0)) in v
2.432 * [taylor]: Taking taylor expansion of 0.125 in v
2.432 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.432 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.432 * [taylor]: Taking taylor expansion of 2.0 in v
2.432 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.432 * [taylor]: Taking taylor expansion of v in v
2.432 * [taylor]: Taking taylor expansion of 3.0 in v
2.432 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.432 * [taylor]: Taking taylor expansion of 1.0 in v
2.432 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.432 * [taylor]: Taking taylor expansion of v in v
2.432 * [taylor]: Taking taylor expansion of (/ (* 0.125 (- (* 2.0 (/ 1 v)) 3.0)) (- 1.0 (/ 1 v))) in v
2.432 * [taylor]: Taking taylor expansion of (* 0.125 (- (* 2.0 (/ 1 v)) 3.0)) in v
2.432 * [taylor]: Taking taylor expansion of 0.125 in v
2.432 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.432 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.433 * [taylor]: Taking taylor expansion of 2.0 in v
2.433 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.433 * [taylor]: Taking taylor expansion of v in v
2.433 * [taylor]: Taking taylor expansion of 3.0 in v
2.433 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.433 * [taylor]: Taking taylor expansion of 1.0 in v
2.433 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.433 * [taylor]: Taking taylor expansion of v in v
2.433 * [approximate]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 v)) 3.0) -0.125) (+ (/ 1 v) 1.0)) in (v) around 0
2.433 * [taylor]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 v)) 3.0) -0.125) (+ (/ 1 v) 1.0)) in v
2.433 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 v)) 3.0) -0.125) in v
2.433 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.433 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.434 * [taylor]: Taking taylor expansion of 2.0 in v
2.434 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.434 * [taylor]: Taking taylor expansion of v in v
2.434 * [taylor]: Taking taylor expansion of 3.0 in v
2.434 * [taylor]: Taking taylor expansion of -0.125 in v
2.434 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.434 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.434 * [taylor]: Taking taylor expansion of v in v
2.434 * [taylor]: Taking taylor expansion of 1.0 in v
2.434 * [taylor]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 v)) 3.0) -0.125) (+ (/ 1 v) 1.0)) in v
2.434 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 v)) 3.0) -0.125) in v
2.434 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.434 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.434 * [taylor]: Taking taylor expansion of 2.0 in v
2.434 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.434 * [taylor]: Taking taylor expansion of v in v
2.434 * [taylor]: Taking taylor expansion of 3.0 in v
2.434 * [taylor]: Taking taylor expansion of -0.125 in v
2.434 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.434 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.434 * [taylor]: Taking taylor expansion of v in v
2.434 * [taylor]: Taking taylor expansion of 1.0 in v
2.435 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
2.435 * [approximate]: Taking taylor expansion of (/ 2.0 (pow r 2)) in (r) around 0
2.435 * [taylor]: Taking taylor expansion of (/ 2.0 (pow r 2)) in r
2.435 * [taylor]: Taking taylor expansion of 2.0 in r
2.435 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.435 * [taylor]: Taking taylor expansion of r in r
2.435 * [taylor]: Taking taylor expansion of (/ 2.0 (pow r 2)) in r
2.435 * [taylor]: Taking taylor expansion of 2.0 in r
2.435 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.435 * [taylor]: Taking taylor expansion of r in r
2.436 * [approximate]: Taking taylor expansion of (* 2.0 (pow r 2)) in (r) around 0
2.436 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.436 * [taylor]: Taking taylor expansion of 2.0 in r
2.436 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.436 * [taylor]: Taking taylor expansion of r in r
2.436 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.436 * [taylor]: Taking taylor expansion of 2.0 in r
2.436 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.436 * [taylor]: Taking taylor expansion of r in r
2.437 * [approximate]: Taking taylor expansion of (* 2.0 (pow r 2)) in (r) around 0
2.437 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.437 * [taylor]: Taking taylor expansion of 2.0 in r
2.437 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.437 * [taylor]: Taking taylor expansion of r in r
2.437 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.437 * [taylor]: Taking taylor expansion of 2.0 in r
2.437 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.437 * [taylor]: Taking taylor expansion of r in r
2.437 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1)
2.437 * [approximate]: Taking taylor expansion of (* (pow w 2) r) in (r w) around 0
2.437 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
2.437 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.438 * [taylor]: Taking taylor expansion of w in w
2.438 * [taylor]: Taking taylor expansion of r in w
2.438 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.438 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.438 * [taylor]: Taking taylor expansion of w in r
2.438 * [taylor]: Taking taylor expansion of r in r
2.438 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.438 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.438 * [taylor]: Taking taylor expansion of w in r
2.438 * [taylor]: Taking taylor expansion of r in r
2.438 * [taylor]: Taking taylor expansion of 0 in w
2.438 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.438 * [taylor]: Taking taylor expansion of w in w
2.438 * [taylor]: Taking taylor expansion of 0 in w
2.438 * [taylor]: Taking taylor expansion of 0 in w
2.438 * [approximate]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in (r w) around 0
2.438 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in w
2.438 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
2.438 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.439 * [taylor]: Taking taylor expansion of w in w
2.439 * [taylor]: Taking taylor expansion of r in w
2.439 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in r
2.439 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.439 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.439 * [taylor]: Taking taylor expansion of w in r
2.439 * [taylor]: Taking taylor expansion of r in r
2.439 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in r
2.439 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.439 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.439 * [taylor]: Taking taylor expansion of w in r
2.439 * [taylor]: Taking taylor expansion of r in r
2.439 * [taylor]: Taking taylor expansion of (/ 1 (pow w 2)) in w
2.439 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.439 * [taylor]: Taking taylor expansion of w in w
2.440 * [taylor]: Taking taylor expansion of 0 in w
2.440 * [taylor]: Taking taylor expansion of 0 in w
2.440 * [taylor]: Taking taylor expansion of 0 in w
2.441 * [taylor]: Taking taylor expansion of 0 in w
2.441 * [approximate]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in (r w) around 0
2.441 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in w
2.441 * [taylor]: Taking taylor expansion of -1 in w
2.441 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
2.441 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.441 * [taylor]: Taking taylor expansion of w in w
2.441 * [taylor]: Taking taylor expansion of r in w
2.441 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in r
2.441 * [taylor]: Taking taylor expansion of -1 in r
2.441 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.441 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.441 * [taylor]: Taking taylor expansion of w in r
2.441 * [taylor]: Taking taylor expansion of r in r
2.442 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in r
2.442 * [taylor]: Taking taylor expansion of -1 in r
2.442 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.442 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.442 * [taylor]: Taking taylor expansion of w in r
2.442 * [taylor]: Taking taylor expansion of r in r
2.442 * [taylor]: Taking taylor expansion of (/ -1 (pow w 2)) in w
2.442 * [taylor]: Taking taylor expansion of -1 in w
2.442 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.442 * [taylor]: Taking taylor expansion of w in w
2.442 * [taylor]: Taking taylor expansion of 0 in w
2.443 * [taylor]: Taking taylor expansion of 0 in w
2.443 * [taylor]: Taking taylor expansion of 0 in w
2.444 * [taylor]: Taking taylor expansion of 0 in w
2.444 * * * [progress]: simplifying candidates
2.445 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))
  (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))
  (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))
  (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))
  (+ (log r) (+ (+ (+ (log r) (log w)) (log w)) (log (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (+ (log r) (+ (+ (log (* r w)) (log w)) (log (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (+ (log r) (+ (log (* (* r w) w)) (log (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (+ (log r) (log (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (log (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (exp (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (* (* (* r r) r) (* (* (* (* (* r r) r) (* (* w w) w)) (* (* w w) w)) (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (* (* (* r r) r) (* (* (* (* (* r w) (* r w)) (* r w)) (* (* w w) w)) (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (* (* (* r r) r) (* (* (* (* (* r w) w) (* (* r w) w)) (* (* r w) w)) (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (* (* (* r r) r) (* (* (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))) (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))) (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (* (cbrt (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))) (cbrt (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))))
  (cbrt (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (* (* (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))) (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))) (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (sqrt (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (sqrt (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))))
  (* r (* (* r w) w))
  (* (cbrt r) (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))
  (* (sqrt r) (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))
  (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))
  (* r (* (* (* r w) w) (cbrt (pow (* 0.125 (- (pow (* v 2.0) 3) (pow 3.0 3))) 3))))
  (* r (* (* (* r w) w) (cbrt (pow (* 0.125 (- (* (* v 2.0) (* v 2.0)) (* 3.0 3.0))) 3))))
  (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (pow (* v 2.0) 3) (pow 3.0 3))) 3))))
  (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* (* v 2.0) (* v 2.0)) (* 3.0 3.0))) 3))))
  (* r (* (* (* r w) w) (cbrt (pow (* 0.125 (- (* v 2.0) 3.0)) 3))))
  (log (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (exp (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (cbrt (pow (/ 0.125 (- 1.0 v)) 3))
  (cbrt (pow (- (* v 2.0) 3.0) 3))
  (cbrt (* (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (cbrt (* (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))
  (cbrt (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (cbrt (pow (/ 0.125 (- 1.0 v)) 3))
  (cbrt (pow (- (* v 2.0) 3.0) 3))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (cbrt (* (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))
  (cbrt (sqrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (cbrt (sqrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (cbrt 1)
  (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))
  (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) (/ 3 2)))
  (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) (/ 3 2)))
  (cbrt (pow (* 0.125 (- (pow (* v 2.0) 3) (pow 3.0 3))) 3))
  (cbrt (pow (* (- 1.0 v) (+ (* (* v 2.0) (* v 2.0)) (+ (* 3.0 3.0) (* (* v 2.0) 3.0)))) 3))
  (cbrt (pow (* 0.125 (- (* (* v 2.0) (* v 2.0)) (* 3.0 3.0))) 3))
  (cbrt (pow (* (- 1.0 v) (+ (* v 2.0) 3.0)) 3))
  (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (pow (* v 2.0) 3) (pow 3.0 3))) 3))
  (cbrt (pow (+ (* (* v 2.0) (* v 2.0)) (+ (* 3.0 3.0) (* (* v 2.0) 3.0))) 3))
  (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* (* v 2.0) (* v 2.0)) (* 3.0 3.0))) 3))
  (cbrt (pow (+ (* v 2.0) 3.0) 3))
  (cbrt (pow (* 0.125 (- (* v 2.0) 3.0)) 3))
  (cbrt (pow (- 1.0 v) 3))
  (* (cbrt (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))) (cbrt (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))))
  (cbrt (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (* (* (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3))) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (sqrt (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (sqrt (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (- (log 2.0) (+ (log r) (log r)))
  (- (log 2.0) (log (* r r)))
  (log (/ 2.0 (* r r)))
  (exp (/ 2.0 (* r r)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* r r) r) (* (* r r) r)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* r r) (* r r)) (* r r)))
  (* (cbrt (/ 2.0 (* r r))) (cbrt (/ 2.0 (* r r))))
  (cbrt (/ 2.0 (* r r)))
  (* (* (/ 2.0 (* r r)) (/ 2.0 (* r r))) (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (neg 2.0)
  (neg (* r r))
  (/ (* (cbrt 2.0) (cbrt 2.0)) r)
  (/ (cbrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ 1 r)
  (/ 2.0 r)
  (/ 1 (* r r))
  (/ (* r r) 2.0)
  (/ 2.0 r)
  (/ (* r r) (cbrt 2.0))
  (/ (* r r) (sqrt 2.0))
  (/ (* r r) 2.0)
  (* (* r w) w)
  (* (* r w) w)
  (+ (+ (log r) (log w)) (log w))
  (+ (log (* r w)) (log w))
  (log (* (* r w) w))
  (exp (* (* r w) w))
  (* (* (* (* r r) r) (* (* w w) w)) (* (* w w) w))
  (* (* (* (* r w) (* r w)) (* r w)) (* (* w w) w))
  (* (cbrt (* (* r w) w)) (cbrt (* (* r w) w)))
  (cbrt (* (* r w) w))
  (* (* (* (* r w) w) (* (* r w) w)) (* (* r w) w))
  (sqrt (* (* r w) w))
  (sqrt (* (* r w) w))
  (* (* r w) (* (cbrt w) (cbrt w)))
  (* (* r w) (sqrt w))
  (* (* r w) 1)
  (* w w)
  (neg (+ (* 0.375 (* (pow w 2) (pow r 2))) (+ (* 0.125 (* (pow w 2) (* v (pow r 2)))) (* 0.125 (* (pow w 2) (* (pow r 2) (pow v 2)))))))
  (- (+ (* 0.125 (/ (* (pow w 2) (pow r 2)) (pow v 2))) (* 0.125 (/ (* (pow w 2) (pow r 2)) v))) (* 0.25 (* (pow w 2) (pow r 2))))
  (- (+ (* 0.125 (/ (* (pow w 2) (pow r 2)) (pow v 2))) (* 0.125 (/ (* (pow w 2) (pow r 2)) v))) (* 0.25 (* (pow w 2) (pow r 2))))
  (neg (+ (* 0.125 (pow v 2)) (+ (* 0.125 v) 0.375)))
  (- (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))) 0.25)
  (- (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))) 0.25)
  (/ 2.0 (pow r 2))
  (/ 2.0 (pow r 2))
  (/ 2.0 (pow r 2))
  (* (pow w 2) r)
  (* (pow w 2) r)
  (* (pow w 2) r)
2.471 * * [simplify]: iteration  0 :  6130  enodes  (cost  1370 )
2.476 * [simplify]: Simplified to:
   (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (log (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (pow (pow (exp (/ 0.125 (- 1.0 v))) (- (* v 2.0) 3.0)) (* r (* r (* w w))))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (* (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))))
  (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))
  (sqrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (sqrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))
  (* r (* r (* w w)))
  (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt r)))
  (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (sqrt r)))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))
  (* r (* r (* w (* w (* 0.125 (- (pow (* v 2.0) 3) (pow 3.0 3)))))))
  (* r (* r (* w (* w (* 0.125 (- (* v (* 2.0 (* v 2.0))) (* 3.0 3.0)))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (pow (* v 2.0) 3) (pow 3.0 3)))))))
  (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v (* 2.0 (* v 2.0))) (* 3.0 3.0)))))))
  (* r (* r (* w (* w (* 0.125 (- (* v 2.0) 3.0))))))
  (log (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (pow (exp (/ 0.125 (- 1.0 v))) (- (* v 2.0) 3.0))
  (/ 0.125 (- 1.0 v))
  (- (* v 2.0) 3.0)
  (cbrt (* (/ 0.125 (- 1.0 v)) (* (- (* v 2.0) 3.0) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (cbrt (* (/ 0.125 (- 1.0 v)) (* (- (* v 2.0) 3.0) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (/ 0.125 (- 1.0 v))
  (- (* v 2.0) 3.0)
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (cbrt (* (/ 0.125 (- 1.0 v)) (* (- (* v 2.0) 3.0) (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))
  (cbrt (sqrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (cbrt (sqrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))
  (cbrt 1)
  (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))
  (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3/2))
  (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3/2))
  (* 0.125 (- (pow (* v 2.0) 3) (pow 3.0 3)))
  (* (- 1.0 v) (+ (* 3.0 3.0) (* (* v 2.0) (+ (* v 2.0) 3.0))))
  (* 0.125 (- (* v (* 2.0 (* v 2.0))) (* 3.0 3.0)))
  (* (- 1.0 v) (+ (* v 2.0) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (pow (* v 2.0) 3) (pow 3.0 3)))
  (+ (* 3.0 3.0) (* (* v 2.0) (+ (* v 2.0) 3.0)))
  (* (/ 0.125 (- 1.0 v)) (- (* v (* 2.0 (* v 2.0))) (* 3.0 3.0)))
  (+ (* v 2.0) 3.0)
  (* 0.125 (- (* v 2.0) 3.0))
  (- 1.0 v)
  (* (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))) (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))
  (log (/ 2.0 (* r r)))
  (log (/ 2.0 (* r r)))
  (log (/ 2.0 (* r r)))
  (exp (/ 2.0 (* r r)))
  (/ (pow 2.0 3) (pow r 6))
  (/ (pow 2.0 3) (pow r 6))
  (* (cbrt (/ 2.0 (* r r))) (cbrt (/ 2.0 (* r r))))
  (cbrt (/ 2.0 (* r r)))
  (/ (pow 2.0 3) (pow r 6))
  (sqrt (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (neg 2.0)
  (* r (neg r))
  (* (/ (cbrt 2.0) r) (cbrt 2.0))
  (/ (cbrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ 1 r)
  (/ 2.0 r)
  (/ 1 (* r r))
  (* (/ r 2.0) r)
  (/ 2.0 r)
  (* (/ r (cbrt 2.0)) r)
  (* (/ r (sqrt 2.0)) r)
  (* (/ r 2.0) r)
  (* r (* w w))
  (* r (* w w))
  (log (* r (* w w)))
  (log (* r (* w w)))
  (log (* r (* w w)))
  (pow (exp r) (* w w))
  (* (pow r 3) (pow w 6))
  (* (pow r 3) (pow w 6))
  (* (cbrt (* r (* w w))) (cbrt (* r (* w w))))
  (cbrt (* r (* w w)))
  (* (pow r 3) (pow w 6))
  (sqrt (* r (* w w)))
  (sqrt (* r (* w w)))
  (* r (* w (* (cbrt w) (cbrt w))))
  (* r (* w (sqrt w)))
  (* r w)
  (* w w)
  (- (* r (neg (* (* r (* w w)) 0.375))) (* 0.125 (* (* w w) (+ (* r (* r v)) (* r (* r (* v v)))))))
  (- (* 0.125 (+ (* (/ r v) (/ (* r (* w w)) v)) (* (/ (* w w) v) (* r r)))) (* r (* (* r (* w w)) 0.25)))
  (- (* 0.125 (+ (* (/ r v) (/ (* r (* w w)) v)) (* (/ (* w w) v) (* r r)))) (* r (* (* r (* w w)) 0.25)))
  (- (* 0.125 (neg (+ (* v v) v))) 0.375)
  (+ (/ 0.125 v) (- (/ 0.125 (* v v)) 0.25))
  (+ (/ 0.125 v) (- (/ 0.125 (* v v)) 0.25))
  (/ 2.0 (* r r))
  (/ 2.0 (* r r))
  (/ 2.0 (* r r))
  (* r (* w w))
  (* r (* w w))
  (* r (* w w))
2.476 * * * [progress]: adding candidates to table
2.613 * * [progress]: iteration 4 / 4
2.613 * * * [progress]: picking best candidate
2.652 * * * * [pick]: Picked  #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* r (* w w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))>
2.653 * * * [progress]: localizing error
2.671 * * * [progress]: generating rewritten candidates
2.671 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 2)
2.677 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
2.685 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
2.689 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
2.705 * * * [progress]: generating series expansions
2.705 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 2)
2.705 * [approximate]: Taking taylor expansion of (* (pow w 2) r) in (r w) around 0
2.706 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
2.706 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.706 * [taylor]: Taking taylor expansion of w in w
2.706 * [taylor]: Taking taylor expansion of r in w
2.706 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.706 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.706 * [taylor]: Taking taylor expansion of w in r
2.706 * [taylor]: Taking taylor expansion of r in r
2.706 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.706 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.706 * [taylor]: Taking taylor expansion of w in r
2.706 * [taylor]: Taking taylor expansion of r in r
2.706 * [taylor]: Taking taylor expansion of 0 in w
2.706 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.706 * [taylor]: Taking taylor expansion of w in w
2.706 * [taylor]: Taking taylor expansion of 0 in w
2.706 * [taylor]: Taking taylor expansion of 0 in w
2.707 * [approximate]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in (r w) around 0
2.707 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in w
2.707 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
2.707 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.707 * [taylor]: Taking taylor expansion of w in w
2.707 * [taylor]: Taking taylor expansion of r in w
2.707 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in r
2.707 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.707 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.707 * [taylor]: Taking taylor expansion of w in r
2.707 * [taylor]: Taking taylor expansion of r in r
2.707 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) r)) in r
2.707 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.707 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.707 * [taylor]: Taking taylor expansion of w in r
2.707 * [taylor]: Taking taylor expansion of r in r
2.707 * [taylor]: Taking taylor expansion of (/ 1 (pow w 2)) in w
2.707 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.707 * [taylor]: Taking taylor expansion of w in w
2.708 * [taylor]: Taking taylor expansion of 0 in w
2.708 * [taylor]: Taking taylor expansion of 0 in w
2.708 * [taylor]: Taking taylor expansion of 0 in w
2.709 * [taylor]: Taking taylor expansion of 0 in w
2.709 * [approximate]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in (r w) around 0
2.709 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in w
2.709 * [taylor]: Taking taylor expansion of -1 in w
2.709 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in w
2.709 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.709 * [taylor]: Taking taylor expansion of w in w
2.709 * [taylor]: Taking taylor expansion of r in w
2.709 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in r
2.709 * [taylor]: Taking taylor expansion of -1 in r
2.709 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.709 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.709 * [taylor]: Taking taylor expansion of w in r
2.709 * [taylor]: Taking taylor expansion of r in r
2.709 * [taylor]: Taking taylor expansion of (/ -1 (* (pow w 2) r)) in r
2.710 * [taylor]: Taking taylor expansion of -1 in r
2.710 * [taylor]: Taking taylor expansion of (* (pow w 2) r) in r
2.710 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.710 * [taylor]: Taking taylor expansion of w in r
2.710 * [taylor]: Taking taylor expansion of r in r
2.710 * [taylor]: Taking taylor expansion of (/ -1 (pow w 2)) in w
2.710 * [taylor]: Taking taylor expansion of -1 in w
2.710 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.710 * [taylor]: Taking taylor expansion of w in w
2.710 * [taylor]: Taking taylor expansion of 0 in w
2.711 * [taylor]: Taking taylor expansion of 0 in w
2.711 * [taylor]: Taking taylor expansion of 0 in w
2.712 * [taylor]: Taking taylor expansion of 0 in w
2.712 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
2.712 * [approximate]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in (r w) around 0
2.712 * [taylor]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in w
2.712 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.712 * [taylor]: Taking taylor expansion of w in w
2.712 * [taylor]: Taking taylor expansion of (pow r 2) in w
2.712 * [taylor]: Taking taylor expansion of r in w
2.712 * [taylor]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in r
2.712 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.712 * [taylor]: Taking taylor expansion of w in r
2.712 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.712 * [taylor]: Taking taylor expansion of r in r
2.712 * [taylor]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in r
2.712 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.712 * [taylor]: Taking taylor expansion of w in r
2.712 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.712 * [taylor]: Taking taylor expansion of r in r
2.712 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.712 * [taylor]: Taking taylor expansion of w in w
2.712 * [taylor]: Taking taylor expansion of 0 in w
2.713 * [taylor]: Taking taylor expansion of 0 in w
2.713 * [taylor]: Taking taylor expansion of 0 in w
2.713 * [approximate]: Taking taylor expansion of (/ 1 (* (pow w 2) (pow r 2))) in (r w) around 0
2.713 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) (pow r 2))) in w
2.713 * [taylor]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in w
2.713 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.713 * [taylor]: Taking taylor expansion of w in w
2.713 * [taylor]: Taking taylor expansion of (pow r 2) in w
2.713 * [taylor]: Taking taylor expansion of r in w
2.713 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) (pow r 2))) in r
2.713 * [taylor]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in r
2.713 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.713 * [taylor]: Taking taylor expansion of w in r
2.713 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.713 * [taylor]: Taking taylor expansion of r in r
2.713 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) (pow r 2))) in r
2.713 * [taylor]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in r
2.713 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.713 * [taylor]: Taking taylor expansion of w in r
2.714 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.714 * [taylor]: Taking taylor expansion of r in r
2.714 * [taylor]: Taking taylor expansion of (/ 1 (pow w 2)) in w
2.714 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.714 * [taylor]: Taking taylor expansion of w in w
2.714 * [taylor]: Taking taylor expansion of 0 in w
2.714 * [taylor]: Taking taylor expansion of 0 in w
2.715 * [taylor]: Taking taylor expansion of 0 in w
2.715 * [taylor]: Taking taylor expansion of 0 in w
2.716 * [approximate]: Taking taylor expansion of (/ 1 (* (pow w 2) (pow r 2))) in (r w) around 0
2.716 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) (pow r 2))) in w
2.716 * [taylor]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in w
2.716 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.716 * [taylor]: Taking taylor expansion of w in w
2.716 * [taylor]: Taking taylor expansion of (pow r 2) in w
2.716 * [taylor]: Taking taylor expansion of r in w
2.716 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) (pow r 2))) in r
2.716 * [taylor]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in r
2.716 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.716 * [taylor]: Taking taylor expansion of w in r
2.716 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.716 * [taylor]: Taking taylor expansion of r in r
2.716 * [taylor]: Taking taylor expansion of (/ 1 (* (pow w 2) (pow r 2))) in r
2.716 * [taylor]: Taking taylor expansion of (* (pow w 2) (pow r 2)) in r
2.716 * [taylor]: Taking taylor expansion of (pow w 2) in r
2.716 * [taylor]: Taking taylor expansion of w in r
2.716 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.716 * [taylor]: Taking taylor expansion of r in r
2.716 * [taylor]: Taking taylor expansion of (/ 1 (pow w 2)) in w
2.716 * [taylor]: Taking taylor expansion of (pow w 2) in w
2.716 * [taylor]: Taking taylor expansion of w in w
2.717 * [taylor]: Taking taylor expansion of 0 in w
2.717 * [taylor]: Taking taylor expansion of 0 in w
2.717 * [taylor]: Taking taylor expansion of 0 in w
2.718 * [taylor]: Taking taylor expansion of 0 in w
2.718 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
2.718 * [approximate]: Taking taylor expansion of (/ 2.0 (pow r 2)) in (r) around 0
2.718 * [taylor]: Taking taylor expansion of (/ 2.0 (pow r 2)) in r
2.718 * [taylor]: Taking taylor expansion of 2.0 in r
2.718 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.718 * [taylor]: Taking taylor expansion of r in r
2.718 * [taylor]: Taking taylor expansion of (/ 2.0 (pow r 2)) in r
2.718 * [taylor]: Taking taylor expansion of 2.0 in r
2.718 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.718 * [taylor]: Taking taylor expansion of r in r
2.719 * [approximate]: Taking taylor expansion of (* 2.0 (pow r 2)) in (r) around 0
2.719 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.719 * [taylor]: Taking taylor expansion of 2.0 in r
2.719 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.719 * [taylor]: Taking taylor expansion of r in r
2.719 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.719 * [taylor]: Taking taylor expansion of 2.0 in r
2.719 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.719 * [taylor]: Taking taylor expansion of r in r
2.720 * [approximate]: Taking taylor expansion of (* 2.0 (pow r 2)) in (r) around 0
2.720 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.720 * [taylor]: Taking taylor expansion of 2.0 in r
2.720 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.720 * [taylor]: Taking taylor expansion of r in r
2.720 * [taylor]: Taking taylor expansion of (* 2.0 (pow r 2)) in r
2.720 * [taylor]: Taking taylor expansion of 2.0 in r
2.720 * [taylor]: Taking taylor expansion of (pow r 2) in r
2.720 * [taylor]: Taking taylor expansion of r in r
2.721 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
2.721 * [approximate]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in (v) around 0
2.721 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in v
2.721 * [taylor]: Taking taylor expansion of 0.125 in v
2.721 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 v) 3.0) (- 1.0 v)) in v
2.721 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.721 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.721 * [taylor]: Taking taylor expansion of 2.0 in v
2.721 * [taylor]: Taking taylor expansion of v in v
2.721 * [taylor]: Taking taylor expansion of 3.0 in v
2.721 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.721 * [taylor]: Taking taylor expansion of 1.0 in v
2.721 * [taylor]: Taking taylor expansion of v in v
2.721 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 v) 3.0) (- 1.0 v))) in v
2.721 * [taylor]: Taking taylor expansion of 0.125 in v
2.721 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 v) 3.0) (- 1.0 v)) in v
2.721 * [taylor]: Taking taylor expansion of (- (* 2.0 v) 3.0) in v
2.721 * [taylor]: Taking taylor expansion of (* 2.0 v) in v
2.721 * [taylor]: Taking taylor expansion of 2.0 in v
2.721 * [taylor]: Taking taylor expansion of v in v
2.721 * [taylor]: Taking taylor expansion of 3.0 in v
2.721 * [taylor]: Taking taylor expansion of (- 1.0 v) in v
2.721 * [taylor]: Taking taylor expansion of 1.0 in v
2.721 * [taylor]: Taking taylor expansion of v in v
2.722 * [approximate]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in (v) around 0
2.722 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in v
2.722 * [taylor]: Taking taylor expansion of 0.125 in v
2.722 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v))) in v
2.722 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.722 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.722 * [taylor]: Taking taylor expansion of 2.0 in v
2.722 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.722 * [taylor]: Taking taylor expansion of v in v
2.722 * [taylor]: Taking taylor expansion of 3.0 in v
2.722 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.722 * [taylor]: Taking taylor expansion of 1.0 in v
2.722 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.722 * [taylor]: Taking taylor expansion of v in v
2.722 * [taylor]: Taking taylor expansion of (* 0.125 (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v)))) in v
2.722 * [taylor]: Taking taylor expansion of 0.125 in v
2.722 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (/ 1 v)) 3.0) (- 1.0 (/ 1 v))) in v
2.722 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 v)) 3.0) in v
2.722 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.722 * [taylor]: Taking taylor expansion of 2.0 in v
2.722 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.722 * [taylor]: Taking taylor expansion of v in v
2.722 * [taylor]: Taking taylor expansion of 3.0 in v
2.722 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 v)) in v
2.722 * [taylor]: Taking taylor expansion of 1.0 in v
2.722 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.722 * [taylor]: Taking taylor expansion of v in v
2.723 * [approximate]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in (v) around 0
2.723 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in v
2.723 * [taylor]: Taking taylor expansion of -0.125 in v
2.723 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0)) in v
2.723 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.723 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.723 * [taylor]: Taking taylor expansion of 2.0 in v
2.723 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.723 * [taylor]: Taking taylor expansion of v in v
2.723 * [taylor]: Taking taylor expansion of 3.0 in v
2.723 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.723 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.723 * [taylor]: Taking taylor expansion of v in v
2.723 * [taylor]: Taking taylor expansion of 1.0 in v
2.723 * [taylor]: Taking taylor expansion of (* -0.125 (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0))) in v
2.723 * [taylor]: Taking taylor expansion of -0.125 in v
2.723 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 v)) 3.0) (+ (/ 1 v) 1.0)) in v
2.723 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 v)) 3.0) in v
2.723 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 v)) in v
2.723 * [taylor]: Taking taylor expansion of 2.0 in v
2.723 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.723 * [taylor]: Taking taylor expansion of v in v
2.724 * [taylor]: Taking taylor expansion of 3.0 in v
2.724 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1.0) in v
2.724 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.724 * [taylor]: Taking taylor expansion of v in v
2.724 * [taylor]: Taking taylor expansion of 1.0 in v
2.724 * * * [progress]: simplifying candidates
2.726 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* r (* w w))
  (* r (* w w))
  (+ (log r) (+ (log w) (log w)))
  (+ (log r) (log (* w w)))
  (log (* r (* w w)))
  (exp (* r (* w w)))
  (* (* (* r r) r) (* (* (* w w) w) (* (* w w) w)))
  (* (* (* r r) r) (* (* (* w w) (* w w)) (* w w)))
  (* (cbrt (* r (* w w))) (cbrt (* r (* w w))))
  (cbrt (* r (* w w)))
  (* (* (* r (* w w)) (* r (* w w))) (* r (* w w)))
  (sqrt (* r (* w w)))
  (sqrt (* r (* w w)))
  (* (sqrt r) w)
  (* (sqrt r) w)
  (* r w)
  (* (cbrt r) (* w w))
  (* (sqrt r) (* w w))
  (* r (* w w))
  (* r (* r (* w w)))
  (* r (* r (* w w)))
  (* r (* r (* w w)))
  (+ (log r) (+ (log r) (+ (log w) (log w))))
  (+ (log r) (+ (log r) (log (* w w))))
  (+ (log r) (log (* r (* w w))))
  (log (* r (* r (* w w))))
  (exp (* r (* r (* w w))))
  (* (* (* r r) r) (* (* (* r r) r) (* (* (* w w) w) (* (* w w) w))))
  (* (* (* r r) r) (* (* (* r r) r) (* (* (* w w) (* w w)) (* w w))))
  (* (* (* r r) r) (* (* (* r (* w w)) (* r (* w w))) (* r (* w w))))
  (* (cbrt (* r (* r (* w w)))) (cbrt (* r (* r (* w w)))))
  (cbrt (* r (* r (* w w))))
  (* (* (* r (* r (* w w))) (* r (* r (* w w)))) (* r (* r (* w w))))
  (sqrt (* r (* r (* w w))))
  (sqrt (* r (* r (* w w))))
  (* r r)
  (* (cbrt r) (* r (* w w)))
  (* (sqrt r) (* r (* w w)))
  (* r (* r (* w w)))
  (- (log 2.0) (+ (log r) (log r)))
  (- (log 2.0) (log (* r r)))
  (log (/ 2.0 (* r r)))
  (exp (/ 2.0 (* r r)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* r r) r) (* (* r r) r)))
  (/ (* (* 2.0 2.0) 2.0) (* (* (* r r) (* r r)) (* r r)))
  (* (cbrt (/ 2.0 (* r r))) (cbrt (/ 2.0 (* r r))))
  (cbrt (/ 2.0 (* r r)))
  (* (* (/ 2.0 (* r r)) (/ 2.0 (* r r))) (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (neg 2.0)
  (neg (* r r))
  (/ (* (cbrt 2.0) (cbrt 2.0)) r)
  (/ (cbrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ 1 r)
  (/ 2.0 r)
  (/ 1 (* r r))
  (/ (* r r) 2.0)
  (/ 2.0 r)
  (/ (* r r) (cbrt 2.0))
  (/ (* r r) (sqrt 2.0))
  (/ (* r r) 2.0)
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (+ (- (log 0.125) (log (- 1.0 v))) (log (- (* 2.0 v) 3.0)))
  (+ (log (/ 0.125 (- 1.0 v))) (log (- (* 2.0 v) 3.0)))
  (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (exp (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* (/ (* (* 0.125 0.125) 0.125) (* (* (- 1.0 v) (- 1.0 v)) (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))
  (* (* (* (/ 0.125 (- 1.0 v)) (/ 0.125 (- 1.0 v))) (/ 0.125 (- 1.0 v))) (* (* (- (* 2.0 v) 3.0) (- (* 2.0 v) 3.0)) (- (* 2.0 v) 3.0)))
  (* (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* (* (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* 0.125 (- (pow (* 2.0 v) 3) (pow 3.0 3)))
  (* (- 1.0 v) (+ (* (* 2.0 v) (* 2.0 v)) (+ (* 3.0 3.0) (* (* 2.0 v) 3.0))))
  (* 0.125 (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))
  (* (- 1.0 v) (+ (* 2.0 v) 3.0))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ (sqrt 0.125) (sqrt (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ (sqrt 0.125) (sqrt (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ 0.125 (- 1.0 v)) (* 2.0 v))
  (* (/ 0.125 (- 1.0 v)) (neg 3.0))
  (* (* 2.0 v) (/ 0.125 (- 1.0 v)))
  (* (neg 3.0) (/ 0.125 (- 1.0 v)))
  (* (/ 0.125 (- 1.0 v)) (* (cbrt (- (* 2.0 v) 3.0)) (cbrt (- (* 2.0 v) 3.0))))
  (* (/ 0.125 (- 1.0 v)) (sqrt (- (* 2.0 v) 3.0)))
  (* (/ 0.125 (- 1.0 v)) 1)
  (* (cbrt (/ 0.125 (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (sqrt (/ 0.125 (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (sqrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (- (sqrt 1.0) (sqrt v))) (- (* 2.0 v) 3.0))
  (* (/ (cbrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (cbrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (sqrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (- (sqrt 1.0) (sqrt v))) (- (* 2.0 v) 3.0))
  (* (/ (sqrt 0.125) (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (cbrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (sqrt (- 1.0 v))) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- (sqrt 1.0) (sqrt v))) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 1 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (+ (* 1.0 1.0) (+ (* v v) (* 1.0 v))) (- (* 2.0 v) 3.0))
  (* (+ 1.0 v) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (pow (* 2.0 v) 3) (pow 3.0 3)))
  (* (/ 0.125 (- 1.0 v)) (- (* (* 2.0 v) (* 2.0 v)) (* 3.0 3.0)))
  (* 0.125 (- (* 2.0 v) 3.0))
  (* (pow w 2) r)
  (* (pow w 2) r)
  (* (pow w 2) r)
  (* (pow w 2) (pow r 2))
  (* (pow w 2) (pow r 2))
  (* (pow w 2) (pow r 2))
  (/ 2.0 (pow r 2))
  (/ 2.0 (pow r 2))
  (/ 2.0 (pow r 2))
  (neg (+ (* 0.125 (pow v 2)) (+ (* 0.125 v) 0.375)))
  (- (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))) 0.25)
  (- (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))) 0.25)
2.757 * * [simplify]: iteration  0 :  4982  enodes  (cost  1098 )
2.758 * * [simplify]: iteration  1 :  4982  enodes  (cost  1098 )
2.762 * [simplify]: Simplified to:
   (* r (* w w))
  (* r (* w w))
  (log (* r (* w w)))
  (log (* r (* w w)))
  (log (* r (* w w)))
  (pow (exp r) (* w w))
  (* (pow r 3) (pow w 6))
  (* (pow r 3) (pow w 6))
  (* (cbrt (* r (* w w))) (cbrt (* r (* w w))))
  (cbrt (* r (* w w)))
  (* (pow r 3) (pow w 6))
  (fabs (* w (sqrt r)))
  (fabs (* w (sqrt r)))
  (* w (sqrt r))
  (* w (sqrt r))
  (* r w)
  (* w (* w (cbrt r)))
  (* w (* w (sqrt r)))
  (* r (* w w))
  (* r (* r (* w w)))
  (* r (* r (* w w)))
  (* r (* r (* w w)))
  (* 2 (log (* r w)))
  (* 2 (log (* r w)))
  (* 2 (log (* r w)))
  (* 2 (log (* r w)))
  (pow (pow (exp r) (* w w)) r)
  (* (pow w 6) (pow r 6))
  (* (pow w 6) (pow r 6))
  (* (pow w 6) (pow r 6))
  (* (cbrt (* r (* r (* w w)))) (cbrt (* r (* r (* w w)))))
  (cbrt (* r (* r (* w w))))
  (* (pow w 6) (pow r 6))
  (fabs (* r w))
  (fabs (* r w))
  (* r r)
  (* r (* w (* w (cbrt r))))
  (* w (* w (pow r 3/2)))
  (* r (* r (* w w)))
  (log (/ 2.0 (* r r)))
  (log (/ 2.0 (* r r)))
  (log (/ 2.0 (* r r)))
  (exp (/ 2.0 (* r r)))
  (/ (pow 2.0 3) (pow r 6))
  (/ (pow 2.0 3) (pow r 6))
  (* (cbrt (/ 2.0 (* r r))) (cbrt (/ 2.0 (* r r))))
  (cbrt (/ 2.0 (* r r)))
  (/ (pow 2.0 3) (pow r 6))
  (sqrt (/ 2.0 (* r r)))
  (sqrt (/ 2.0 (* r r)))
  (neg 2.0)
  (* r (neg r))
  (* (cbrt 2.0) (/ (cbrt 2.0) r))
  (/ (cbrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ (sqrt 2.0) r)
  (/ 1 r)
  (/ 2.0 r)
  (/ 1 (* r r))
  (* r (/ r 2.0))
  (/ 2.0 r)
  (* r (/ r (cbrt 2.0)))
  (* r (/ r (sqrt 2.0)))
  (* r (/ r 2.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (log (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (pow (exp (/ 0.125 (- 1.0 v))) (- (* 2.0 v) 3.0))
  (pow (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) 3)
  (pow (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) 3)
  (* (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))))
  (cbrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (pow (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)) 3)
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (sqrt (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))
  (* 0.125 (- (pow (* 2.0 v) 3) (pow 3.0 3)))
  (* (- 1.0 v) (+ (* 3.0 3.0) (* (* 2.0 v) (+ (* 2.0 v) 3.0))))
  (* 0.125 (- (* 2.0 (* 2.0 (* v v))) (* 3.0 3.0)))
  (* (- 1.0 v) (+ (* 2.0 v) 3.0))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (sqrt (/ 0.125 (- 1.0 v))) (sqrt (- (* 2.0 v) 3.0)))
  (* (sqrt (- (* 2.0 v) 3.0)) (/ (sqrt 0.125) (sqrt (- 1.0 v))))
  (* (sqrt (- (* 2.0 v) 3.0)) (/ (sqrt 0.125) (sqrt (- 1.0 v))))
  (* 2.0 (* v (/ 0.125 (- 1.0 v))))
  (* (/ 0.125 (- 1.0 v)) (neg 3.0))
  (* 2.0 (* v (/ 0.125 (- 1.0 v))))
  (* (/ 0.125 (- 1.0 v)) (neg 3.0))
  (* (/ 0.125 (- 1.0 v)) (* (cbrt (- (* 2.0 v) 3.0)) (cbrt (- (* 2.0 v) 3.0))))
  (* (/ 0.125 (- 1.0 v)) (sqrt (- (* 2.0 v) 3.0)))
  (/ 0.125 (- 1.0 v))
  (* (- (* 2.0 v) 3.0) (cbrt (/ 0.125 (- 1.0 v))))
  (* (- (* 2.0 v) 3.0) (sqrt (/ 0.125 (- 1.0 v))))
  (* (- (* 2.0 v) 3.0) (/ (cbrt 0.125) (cbrt (- 1.0 v))))
  (* (- (* 2.0 v) 3.0) (/ (cbrt 0.125) (sqrt (- 1.0 v))))
  (* (- (* 2.0 v) 3.0) (/ (cbrt 0.125) (- 1.0 v)))
  (* (- (* 2.0 v) 3.0) (/ (cbrt 0.125) (- (sqrt 1.0) (sqrt v))))
  (* (- (* 2.0 v) 3.0) (/ (cbrt 0.125) (- 1.0 v)))
  (* (- (* 2.0 v) 3.0) (/ (sqrt 0.125) (cbrt (- 1.0 v))))
  (* (- (* 2.0 v) 3.0) (/ (sqrt 0.125) (sqrt (- 1.0 v))))
  (* (- (* 2.0 v) 3.0) (/ (sqrt 0.125) (- 1.0 v)))
  (* (- (* 2.0 v) 3.0) (/ (sqrt 0.125) (- (sqrt 1.0) (sqrt v))))
  (* (- (* 2.0 v) 3.0) (/ (sqrt 0.125) (- 1.0 v)))
  (* (- (* 2.0 v) 3.0) (/ 0.125 (cbrt (- 1.0 v))))
  (* (- (* 2.0 v) 3.0) (/ 0.125 (sqrt (- 1.0 v))))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (- (* 2.0 v) 3.0) (/ 0.125 (- (sqrt 1.0) (sqrt v))))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))
  (/ (- (* 2.0 v) 3.0) (- 1.0 v))
  (* (- (* 2.0 v) 3.0) (+ (* 1.0 1.0) (* v (+ 1.0 v))))
  (* (- (* 2.0 v) 3.0) (+ 1.0 v))
  (* (/ 0.125 (- 1.0 v)) (- (pow (* 2.0 v) 3) (pow 3.0 3)))
  (* (/ 0.125 (- 1.0 v)) (- (* 2.0 (* 2.0 (* v v))) (* 3.0 3.0)))
  (* 0.125 (- (* 2.0 v) 3.0))
  (* r (* w w))
  (* r (* w w))
  (* r (* w w))
  (* r (* r (* w w)))
  (* r (* r (* w w)))
  (* r (* r (* w w)))
  (/ 2.0 (* r r))
  (/ 2.0 (* r r))
  (/ 2.0 (* r r))
  (- (* 0.125 (neg (+ v (* v v)))) 0.375)
  (+ (/ 0.125 v) (- (/ 0.125 (* v v)) 0.25))
  (+ (/ 0.125 v) (- (/ 0.125 (* v v)) 0.25))
2.763 * * * [progress]: adding candidates to table
2.912 * [progress]: [Phase 3 of 3] Extracting.
2.912 * * [regime]: Finding splitpoints for: (#<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* r (* w w)) (* (/ (sqrt 0.125) 1) (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (cbrt (/ (pow 2.0 3) (pow r 6))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (fabs (* r w)) (fabs (* r w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* r (* w w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (log (pow (exp (/ 0.125 (- 1.0 v))) (- (* v 2.0) 3.0))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (sqrt (/ 2.0 (* r r))) (sqrt (/ 2.0 (* r r)))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* (* (cbrt (* r (* w w))) (cbrt (* r (* w w)))) (cbrt (* r (* w w))))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (/ (sqrt 2.0) r) (/ (sqrt 2.0) r)) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ (/ 2.0 r) r) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (cbrt (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))) 4.5))))>)
2.920 * * * [regime-changes]: Trying 4 branch expressions: ((* w w) r w v)
2.920 * * * * [regimes]: Trying to branch on (* w w) from (#<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* r (* w w)) (* (/ (sqrt 0.125) 1) (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (cbrt (/ (pow 2.0 3) (pow r 6))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (fabs (* r w)) (fabs (* r w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* r (* w w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (log (pow (exp (/ 0.125 (- 1.0 v))) (- (* v 2.0) 3.0))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (sqrt (/ 2.0 (* r r))) (sqrt (/ 2.0 (* r r)))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* (* (cbrt (* r (* w w))) (cbrt (* r (* w w)))) (cbrt (* r (* w w))))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (/ (sqrt 2.0) r) (/ (sqrt 2.0) r)) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ (/ 2.0 r) r) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (cbrt (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))) 4.5))))>)
3.006 * * * * [regimes]: Trying to branch on (* w w) from (#<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* r (* w w)) (* (/ (sqrt 0.125) 1) (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (cbrt (/ (pow 2.0 3) (pow r 6))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* r (* w w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (sqrt (/ 2.0 (* r r))) (sqrt (/ 2.0 (* r r)))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* (* (cbrt (* r (* w w))) (cbrt (* r (* w w)))) (cbrt (* r (* w w))))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (/ (sqrt 2.0) r) (/ (sqrt 2.0) r)) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ (/ 2.0 r) r) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))>)
3.063 * * * * [regimes]: Trying to branch on r from (#<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* r (* w w)) (* (/ (sqrt 0.125) 1) (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (cbrt (/ (pow 2.0 3) (pow r 6))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (fabs (* r w)) (fabs (* r w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* r (* w w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (log (pow (exp (/ 0.125 (- 1.0 v))) (- (* v 2.0) 3.0))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (sqrt (/ 2.0 (* r r))) (sqrt (/ 2.0 (* r r)))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* (* (cbrt (* r (* w w))) (cbrt (* r (* w w)))) (cbrt (* r (* w w))))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (/ (sqrt 2.0) r) (/ (sqrt 2.0) r)) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ (/ 2.0 r) r) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (cbrt (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))) 4.5))))>)
3.148 * * * * [regimes]: Trying to branch on w from (#<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* r (* w w)) (* (/ (sqrt 0.125) 1) (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (cbrt (/ (pow 2.0 3) (pow r 6))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (fabs (* r w)) (fabs (* r w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* r (* w w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (log (pow (exp (/ 0.125 (- 1.0 v))) (- (* v 2.0) 3.0))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (sqrt (/ 2.0 (* r r))) (sqrt (/ 2.0 (* r r)))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* (* (cbrt (* r (* w w))) (cbrt (* r (* w w)))) (cbrt (* r (* w w))))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (/ (sqrt 2.0) r) (/ (sqrt 2.0) r)) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ (/ 2.0 r) r) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (cbrt (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))) 4.5))))>)
3.231 * * * * [regimes]: Trying to branch on v from (#<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* r (* w w)) (* (/ (sqrt 0.125) 1) (* (- (* v 2.0) 3.0) (/ (sqrt 0.125) (- 1.0 v)))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) (cbrt (* r (* r (* w (* w (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)))))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (cbrt (/ (pow 2.0 3) (pow r 6))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (fabs (* r w)) (fabs (* r w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* r (* w w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (log (pow (exp (/ 0.125 (- 1.0 v))) (- (* v 2.0) 3.0))))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (sqrt (/ 2.0 (* r r))) (sqrt (/ 2.0 (* r r)))) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* r (* (* (cbrt (* r (* w w))) (cbrt (* r (* w w)))) (cbrt (* r (* w w))))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (* r (* (* (* r w) w) (cbrt (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (* (/ (sqrt 2.0) r) (/ (sqrt 2.0) r)) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ (/ 2.0 r) r) (- (* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0)))) 4.5))))> #<alt (λ (v w r) (+ 3.0 (+ (/ 2.0 (* r r)) (- (cbrt (* (pow (* (/ 0.125 (- 1.0 v)) (- (* v 2.0) 3.0)) 3) (pow (* r w) 6))) 4.5))))>)
3.319 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
3.319 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (fabs (* r w)) (fabs (* r w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5)))
3.320 * * [simplify]: iteration  0 :  54  enodes  (cost  31 )
3.321 * * [simplify]: iteration  1 :  54  enodes  (cost  31 )
3.321 * [simplify]: Simplified to:
   (+ 3.0 (+ (/ 2.0 (* r r)) (- (* (* (fabs (* r w)) (fabs (* r w))) (* (/ 0.125 (- 1.0 v)) (- (* 2.0 v) 3.0))) 4.5)))
5.982 * [regime-testing]: End program error score: 0.4184476090943469