56.955 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.823 * * * [progress]: [2/2] Setting up program.
0.826 * [progress]: [Phase 2 of 3] Improving.
0.826 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
0.829 * * [simplify]: iteration  0 :  38  enodes  (cost  17 )
0.829 * * [simplify]: iteration  1 :  38  enodes  (cost  17 )
0.829 * [simplify]: Simplified to:
   (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
0.832 * * [progress]: iteration 1 / 4
0.832 * * * [progress]: picking best candidate
0.835 * * * * [pick]: Picked  #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))))>
0.835 * * * [progress]: localizing error
0.849 * * * [progress]: generating rewritten candidates
0.849 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2)
0.853 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.865 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.872 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1)
0.878 * * * [progress]: generating series expansions
0.878 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2)
0.879 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
0.879 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.879 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.879 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.879 * [taylor]: Taking taylor expansion of x in x
0.879 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
0.879 * [taylor]: Taking taylor expansion of 4.0 in x
0.879 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.879 * [taylor]: Taking taylor expansion of p in x
0.879 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
0.879 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.879 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.879 * [taylor]: Taking taylor expansion of x in p
0.879 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.879 * [taylor]: Taking taylor expansion of 4.0 in p
0.879 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.879 * [taylor]: Taking taylor expansion of p in p
0.879 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
0.879 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.879 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.880 * [taylor]: Taking taylor expansion of x in p
0.880 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.880 * [taylor]: Taking taylor expansion of 4.0 in p
0.880 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.880 * [taylor]: Taking taylor expansion of p in p
0.880 * [taylor]: Taking taylor expansion of x in x
0.880 * [taylor]: Taking taylor expansion of 0 in x
0.880 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.880 * [taylor]: Taking taylor expansion of 2.0 in x
0.880 * [taylor]: Taking taylor expansion of x in x
0.880 * [taylor]: Taking taylor expansion of 0 in x
0.881 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
0.881 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.881 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.881 * [taylor]: Taking taylor expansion of x in x
0.881 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.881 * [taylor]: Taking taylor expansion of 4.0 in x
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.881 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.881 * [taylor]: Taking taylor expansion of p in x
0.881 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.881 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.881 * [taylor]: Taking taylor expansion of x in p
0.881 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.881 * [taylor]: Taking taylor expansion of 4.0 in p
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.881 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.881 * [taylor]: Taking taylor expansion of p in p
0.881 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.881 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.881 * [taylor]: Taking taylor expansion of x in p
0.881 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.881 * [taylor]: Taking taylor expansion of 4.0 in p
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.882 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.882 * [taylor]: Taking taylor expansion of p in p
0.882 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
0.882 * [taylor]: Taking taylor expansion of 4.0 in x
0.882 * [taylor]: Taking taylor expansion of 0 in x
0.882 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
0.882 * [taylor]: Taking taylor expansion of 1/2 in x
0.882 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
0.882 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.882 * [taylor]: Taking taylor expansion of x in x
0.882 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
0.882 * [taylor]: Taking taylor expansion of 4.0 in x
0.883 * [taylor]: Taking taylor expansion of 0 in x
0.883 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
0.883 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.883 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.883 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.883 * [taylor]: Taking taylor expansion of x in x
0.883 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.883 * [taylor]: Taking taylor expansion of 4.0 in x
0.883 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.883 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.883 * [taylor]: Taking taylor expansion of p in x
0.884 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.884 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.884 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.884 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.884 * [taylor]: Taking taylor expansion of x in p
0.884 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.884 * [taylor]: Taking taylor expansion of 4.0 in p
0.884 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.884 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.884 * [taylor]: Taking taylor expansion of p in p
0.884 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.884 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.884 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.884 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.884 * [taylor]: Taking taylor expansion of x in p
0.884 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.884 * [taylor]: Taking taylor expansion of 4.0 in p
0.884 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.884 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.884 * [taylor]: Taking taylor expansion of p in p
0.884 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
0.884 * [taylor]: Taking taylor expansion of 4.0 in x
0.885 * [taylor]: Taking taylor expansion of 0 in x
0.885 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
0.885 * [taylor]: Taking taylor expansion of 1/2 in x
0.885 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
0.885 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.885 * [taylor]: Taking taylor expansion of x in x
0.885 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
0.885 * [taylor]: Taking taylor expansion of 4.0 in x
0.886 * [taylor]: Taking taylor expansion of 0 in x
0.886 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.886 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
0.886 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
0.886 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
0.886 * [taylor]: Taking taylor expansion of x in p
0.886 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
0.886 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
0.886 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.886 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.886 * [taylor]: Taking taylor expansion of x in p
0.886 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.886 * [taylor]: Taking taylor expansion of 4.0 in p
0.886 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.886 * [taylor]: Taking taylor expansion of p in p
0.887 * [taylor]: Taking taylor expansion of 1.0 in p
0.887 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
0.887 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
0.887 * [taylor]: Taking taylor expansion of x in x
0.887 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
0.887 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.887 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.887 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.887 * [taylor]: Taking taylor expansion of x in x
0.887 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
0.887 * [taylor]: Taking taylor expansion of 4.0 in x
0.887 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.887 * [taylor]: Taking taylor expansion of p in x
0.887 * [taylor]: Taking taylor expansion of 1.0 in x
0.887 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
0.887 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
0.887 * [taylor]: Taking taylor expansion of x in x
0.888 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
0.888 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.888 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.888 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.888 * [taylor]: Taking taylor expansion of x in x
0.888 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
0.888 * [taylor]: Taking taylor expansion of 4.0 in x
0.888 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.888 * [taylor]: Taking taylor expansion of p in x
0.888 * [taylor]: Taking taylor expansion of 1.0 in x
0.888 * [taylor]: Taking taylor expansion of 1.0 in p
0.888 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
0.888 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
0.888 * [taylor]: Taking taylor expansion of 0.25 in p
0.888 * [taylor]: Taking taylor expansion of p in p
0.889 * [taylor]: Taking taylor expansion of 0 in p
0.890 * [taylor]: Taking taylor expansion of (neg (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25))))) in p
0.890 * [taylor]: Taking taylor expansion of (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25)))) in p
0.890 * [taylor]: Taking taylor expansion of 0.03125 in p
0.890 * [taylor]: Taking taylor expansion of (/ 1 (* (pow p 3) (sqrt 0.25))) in p
0.890 * [taylor]: Taking taylor expansion of (* (pow p 3) (sqrt 0.25)) in p
0.890 * [taylor]: Taking taylor expansion of (pow p 3) in p
0.890 * [taylor]: Taking taylor expansion of p in p
0.890 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
0.890 * [taylor]: Taking taylor expansion of 0.25 in p
0.891 * [approximate]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in (x p) around 0
0.891 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
0.891 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.891 * [taylor]: Taking taylor expansion of (/ 1 x) in p
0.891 * [taylor]: Taking taylor expansion of x in p
0.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
0.891 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.891 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.891 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.891 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.891 * [taylor]: Taking taylor expansion of x in p
0.891 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.891 * [taylor]: Taking taylor expansion of 4.0 in p
0.891 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.891 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.891 * [taylor]: Taking taylor expansion of p in p
0.892 * [taylor]: Taking taylor expansion of 1.0 in p
0.892 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
0.892 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.892 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.892 * [taylor]: Taking taylor expansion of 4.0 in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.892 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.892 * [taylor]: Taking taylor expansion of p in x
0.892 * [taylor]: Taking taylor expansion of 1.0 in x
0.892 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
0.892 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.892 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.892 * [taylor]: Taking taylor expansion of 4.0 in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.892 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.892 * [taylor]: Taking taylor expansion of p in x
0.893 * [taylor]: Taking taylor expansion of 1.0 in x
0.893 * [taylor]: Taking taylor expansion of 2.0 in p
0.893 * [taylor]: Taking taylor expansion of 0 in p
0.893 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
0.894 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
0.894 * [taylor]: Taking taylor expansion of 2.0 in p
0.894 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.894 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.894 * [taylor]: Taking taylor expansion of p in p
0.894 * [taylor]: Taking taylor expansion of 0 in p
0.895 * [approximate]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
0.895 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.895 * [taylor]: Taking taylor expansion of 1.0 in p
0.895 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.895 * [taylor]: Taking taylor expansion of (/ 1 x) in p
0.895 * [taylor]: Taking taylor expansion of x in p
0.895 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
0.895 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.895 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.895 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.895 * [taylor]: Taking taylor expansion of x in p
0.895 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.895 * [taylor]: Taking taylor expansion of 4.0 in p
0.895 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.895 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.895 * [taylor]: Taking taylor expansion of p in p
0.895 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
0.895 * [taylor]: Taking taylor expansion of 1.0 in x
0.895 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.895 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.895 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.895 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.895 * [taylor]: Taking taylor expansion of 4.0 in x
0.895 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.896 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.896 * [taylor]: Taking taylor expansion of p in x
0.896 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
0.896 * [taylor]: Taking taylor expansion of 1.0 in x
0.896 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.896 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.896 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.896 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.896 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.896 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.896 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.896 * [taylor]: Taking taylor expansion of 4.0 in x
0.896 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.896 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.896 * [taylor]: Taking taylor expansion of p in x
0.896 * [taylor]: Taking taylor expansion of 0 in p
0.896 * [taylor]: Taking taylor expansion of 0 in p
0.897 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
0.897 * [taylor]: Taking taylor expansion of 2.0 in p
0.897 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.897 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.897 * [taylor]: Taking taylor expansion of p in p
0.897 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
0.898 * [approximate]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
0.898 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
0.898 * [taylor]: Taking taylor expansion of x in p
0.898 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
0.898 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
0.898 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.898 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.898 * [taylor]: Taking taylor expansion of x in p
0.898 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.898 * [taylor]: Taking taylor expansion of 4.0 in p
0.898 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.898 * [taylor]: Taking taylor expansion of p in p
0.898 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
0.898 * [taylor]: Taking taylor expansion of x in x
0.898 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
0.898 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.898 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.898 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.898 * [taylor]: Taking taylor expansion of x in x
0.898 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
0.898 * [taylor]: Taking taylor expansion of 4.0 in x
0.898 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.898 * [taylor]: Taking taylor expansion of p in x
0.899 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
0.899 * [taylor]: Taking taylor expansion of x in x
0.899 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
0.899 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.899 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.899 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.899 * [taylor]: Taking taylor expansion of x in x
0.899 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
0.899 * [taylor]: Taking taylor expansion of 4.0 in x
0.899 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.899 * [taylor]: Taking taylor expansion of p in x
0.900 * [taylor]: Taking taylor expansion of 0 in p
0.900 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
0.900 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
0.900 * [taylor]: Taking taylor expansion of 0.25 in p
0.900 * [taylor]: Taking taylor expansion of p in p
0.900 * [taylor]: Taking taylor expansion of 0 in p
0.901 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in (x p) around 0
0.901 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.901 * [taylor]: Taking taylor expansion of (/ 1 x) in p
0.901 * [taylor]: Taking taylor expansion of x in p
0.901 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
0.901 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.901 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.901 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.901 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.901 * [taylor]: Taking taylor expansion of x in p
0.901 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.901 * [taylor]: Taking taylor expansion of 4.0 in p
0.901 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.901 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.901 * [taylor]: Taking taylor expansion of p in p
0.901 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.901 * [taylor]: Taking taylor expansion of x in x
0.901 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.901 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.901 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.901 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.901 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.901 * [taylor]: Taking taylor expansion of x in x
0.901 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.901 * [taylor]: Taking taylor expansion of 4.0 in x
0.901 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.901 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.901 * [taylor]: Taking taylor expansion of p in x
0.902 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.902 * [taylor]: Taking taylor expansion of x in x
0.902 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.902 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.902 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.902 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.902 * [taylor]: Taking taylor expansion of x in x
0.902 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.902 * [taylor]: Taking taylor expansion of 4.0 in x
0.902 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.902 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.902 * [taylor]: Taking taylor expansion of p in x
0.902 * [taylor]: Taking taylor expansion of 1 in p
0.902 * [taylor]: Taking taylor expansion of 0 in p
0.903 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
0.903 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
0.903 * [taylor]: Taking taylor expansion of 2.0 in p
0.903 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.903 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.903 * [taylor]: Taking taylor expansion of p in p
0.903 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
0.903 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.903 * [taylor]: Taking taylor expansion of -1 in p
0.903 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.903 * [taylor]: Taking taylor expansion of (/ 1 x) in p
0.903 * [taylor]: Taking taylor expansion of x in p
0.903 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
0.904 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.904 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.904 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.904 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.904 * [taylor]: Taking taylor expansion of x in p
0.904 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.904 * [taylor]: Taking taylor expansion of 4.0 in p
0.904 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.904 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.904 * [taylor]: Taking taylor expansion of p in p
0.904 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
0.904 * [taylor]: Taking taylor expansion of -1 in x
0.904 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.904 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.904 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.904 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.904 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.904 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.904 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.904 * [taylor]: Taking taylor expansion of 4.0 in x
0.904 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.904 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.904 * [taylor]: Taking taylor expansion of p in x
0.904 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
0.904 * [taylor]: Taking taylor expansion of -1 in x
0.904 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.905 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.905 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.905 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.905 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.905 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.905 * [taylor]: Taking taylor expansion of x in x
0.905 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.905 * [taylor]: Taking taylor expansion of 4.0 in x
0.905 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.905 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.905 * [taylor]: Taking taylor expansion of p in x
0.905 * [taylor]: Taking taylor expansion of -1 in p
0.905 * [taylor]: Taking taylor expansion of 0 in p
0.906 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
0.906 * [taylor]: Taking taylor expansion of 2.0 in p
0.906 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.906 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.906 * [taylor]: Taking taylor expansion of p in p
0.906 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1)
0.906 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in (p x) around 0
0.906 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.906 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
0.906 * [taylor]: Taking taylor expansion of 4.0 in x
0.906 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.906 * [taylor]: Taking taylor expansion of p in x
0.906 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.906 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.906 * [taylor]: Taking taylor expansion of x in p
0.906 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.906 * [taylor]: Taking taylor expansion of 4.0 in p
0.906 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.906 * [taylor]: Taking taylor expansion of p in p
0.906 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.906 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.906 * [taylor]: Taking taylor expansion of x in p
0.907 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.907 * [taylor]: Taking taylor expansion of 4.0 in p
0.907 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.907 * [taylor]: Taking taylor expansion of p in p
0.907 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.907 * [taylor]: Taking taylor expansion of x in x
0.907 * [taylor]: Taking taylor expansion of 0 in x
0.907 * [taylor]: Taking taylor expansion of 4.0 in x
0.907 * [taylor]: Taking taylor expansion of 0 in x
0.907 * [taylor]: Taking taylor expansion of 0 in x
0.907 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in (p x) around 0
0.907 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.907 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.907 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.908 * [taylor]: Taking taylor expansion of x in x
0.908 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.908 * [taylor]: Taking taylor expansion of 4.0 in x
0.908 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.908 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.908 * [taylor]: Taking taylor expansion of p in x
0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.908 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.908 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.908 * [taylor]: Taking taylor expansion of x in p
0.908 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.908 * [taylor]: Taking taylor expansion of 4.0 in p
0.908 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.908 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.908 * [taylor]: Taking taylor expansion of p in p
0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.908 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.908 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.908 * [taylor]: Taking taylor expansion of x in p
0.908 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.908 * [taylor]: Taking taylor expansion of 4.0 in p
0.908 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.908 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.908 * [taylor]: Taking taylor expansion of p in p
0.908 * [taylor]: Taking taylor expansion of 4.0 in x
0.908 * [taylor]: Taking taylor expansion of 0 in x
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.909 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.909 * [taylor]: Taking taylor expansion of x in x
0.909 * [taylor]: Taking taylor expansion of 0 in x
0.909 * [taylor]: Taking taylor expansion of 0 in x
0.910 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in (p x) around 0
0.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.910 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.910 * [taylor]: Taking taylor expansion of x in x
0.910 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.910 * [taylor]: Taking taylor expansion of 4.0 in x
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.910 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.910 * [taylor]: Taking taylor expansion of p in x
0.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.910 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.910 * [taylor]: Taking taylor expansion of x in p
0.910 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.910 * [taylor]: Taking taylor expansion of 4.0 in p
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.910 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.910 * [taylor]: Taking taylor expansion of p in p
0.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.910 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.910 * [taylor]: Taking taylor expansion of x in p
0.910 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.910 * [taylor]: Taking taylor expansion of 4.0 in p
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.910 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.910 * [taylor]: Taking taylor expansion of p in p
0.911 * [taylor]: Taking taylor expansion of 4.0 in x
0.911 * [taylor]: Taking taylor expansion of 0 in x
0.911 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.911 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.911 * [taylor]: Taking taylor expansion of x in x
0.911 * [taylor]: Taking taylor expansion of 0 in x
0.912 * [taylor]: Taking taylor expansion of 0 in x
0.912 * * * [progress]: simplifying candidates
0.913 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (exp (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (* (* (sqrt (+ (* (* 4.0 p) p) (* x x))) (sqrt (+ (* (* 4.0 p) p) (* x x)))) (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt (* (cbrt (+ (* (* 4.0 p) p) (* x x))) (cbrt (+ (* (* 4.0 p) p) (* x x)))))
  (sqrt (cbrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt 1)
  (sqrt (+ (* (* 4.0 p) p) (* x x)))
  (sqrt (+ (pow (* (* 4.0 p) p) 3) (pow (* x x) 3)))
  (sqrt (+ (* (* (* 4.0 p) p) (* (* 4.0 p) p)) (- (* (* x x) (* x x)) (* (* (* 4.0 p) p) (* x x)))))
  (sqrt (- (* (* (* 4.0 p) p) (* (* 4.0 p) p)) (* (* x x) (* x x))))
  (sqrt (- (* (* 4.0 p) p) (* x x)))
  (/ 1 2)
  (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (* (exp 1.0) (exp (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (log (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (exp (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (* (cbrt (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (cbrt (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
  (cbrt (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (* (* (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))) (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (sqrt (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (sqrt (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (+ (pow 1.0 3) (pow (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) 3))
  (+ (* 1.0 1.0) (- (* (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))) (* 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
  (- (* 1.0 1.0) (* (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (- 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (log (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (exp (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (* (* x x) x) (* (* (sqrt (+ (* (* 4.0 p) p) (* x x))) (sqrt (+ (* (* 4.0 p) p) (* x x)))) (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (* (cbrt (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))) (cbrt (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (cbrt (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (* (* (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))) (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (sqrt (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (sqrt (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (neg x)
  (neg (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ (cbrt x) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt (+ (* (* 4.0 p) p) (* x x))) (cbrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ (cbrt x) (sqrt (cbrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (cbrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (* (cbrt x) (cbrt x)) (sqrt 1))
  (/ (cbrt x) (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (cbrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (/ (sqrt x) (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ (sqrt x) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (sqrt x) (sqrt (* (cbrt (+ (* (* 4.0 p) p) (* x x))) (cbrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ (sqrt x) (sqrt (cbrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (sqrt x) (sqrt 1))
  (/ (sqrt x) (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (/ (sqrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ (sqrt x) 1)
  (/ (sqrt x) (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (/ 1 (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ x (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ 1 (sqrt (* (cbrt (+ (* (* 4.0 p) p) (* x x))) (cbrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ x (sqrt (cbrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ x (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ 1 (sqrt 1))
  (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (/ 1 (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ x (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ 1 1)
  (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (/ (sqrt (+ (* (* 4.0 p) p) (* x x))) x)
  (/ x (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ x (sqrt (* (cbrt (+ (* (* 4.0 p) p) (* x x))) (cbrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ x (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ x (sqrt 1))
  (/ x (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (/ x 1)
  (/ (sqrt (+ (* (* 4.0 p) p) (* x x))) (cbrt x))
  (/ (sqrt (+ (* (* 4.0 p) p) (* x x))) (sqrt x))
  (/ (sqrt (+ (* (* 4.0 p) p) (* x x))) x)
  (/ x (sqrt (+ (pow (* (* 4.0 p) p) 3) (pow (* x x) 3))))
  (/ x (sqrt (- (* (* (* 4.0 p) p) (* (* 4.0 p) p)) (* (* x x) (* x x)))))
  (* (exp (* (* 4.0 p) p)) (exp (* x x)))
  (log (+ (* (* 4.0 p) p) (* x x)))
  (exp (+ (* (* 4.0 p) p) (* x x)))
  (* (cbrt (+ (* (* 4.0 p) p) (* x x))) (cbrt (+ (* (* 4.0 p) p) (* x x))))
  (cbrt (+ (* (* 4.0 p) p) (* x x)))
  (* (* (+ (* (* 4.0 p) p) (* x x)) (+ (* (* 4.0 p) p) (* x x))) (+ (* (* 4.0 p) p) (* x x)))
  (sqrt (+ (* (* 4.0 p) p) (* x x)))
  (sqrt (+ (* (* 4.0 p) p) (* x x)))
  (+ (pow (* (* 4.0 p) p) 3) (pow (* x x) 3))
  (+ (* (* (* 4.0 p) p) (* (* 4.0 p) p)) (- (* (* x x) (* x x)) (* (* (* 4.0 p) p) (* x x))))
  (- (* (* (* 4.0 p) p) (* (* 4.0 p) p)) (* (* x x) (* x x)))
  (- (* (* 4.0 p) p) (* x x))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  1.0
  2.0
  0
  0
  0
  0
  (+ (* 4.0 (pow p 2)) (pow x 2))
  (+ (pow x 2) (* 4.0 (pow p 2)))
  (+ (pow x 2) (* 4.0 (pow p 2)))
0.952 * * [simplify]: iteration  0 :  4982  enodes  (cost  1385 )
0.953 * * [simplify]: iteration  1 :  4982  enodes  (cost  1385 )
0.957 * [simplify]: Simplified to:
   (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3)
  (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  1
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6)))
  (sqrt (+ (pow x 4) (* 4.0 (- (* 4.0 (pow p 4)) (* p (* p (* x x)))))))
  (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4)))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  1/2
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (exp (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (pow (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) 3)
  (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (+ (pow 1.0 3) (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3))
  (+ (* 1.0 1.0) (* x (- (/ x (+ (* 4.0 (* p p)) (* x x))) (/ 1.0 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x)))))
  (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (exp (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)
  (* (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)
  (sqrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (neg x)
  (neg (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt x) (/ (cbrt x) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (/ (cbrt x) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt x) (/ (cbrt x) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt x) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt x) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt x) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt x) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (sqrt x) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt x)
  (/ (sqrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt x)
  (/ (sqrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) x)
  (/ x (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  x
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  x
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (cbrt x))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt x))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) x)
  (/ x (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6))))
  (/ x (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4))))
  (exp (+ (* 4.0 (* p p)) (* x x)))
  (log (+ (* 4.0 (* p p)) (* x x)))
  (exp (+ (* 4.0 (* p p)) (* x x)))
  (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (cbrt (+ (* 4.0 (* p p)) (* x x)))
  (pow (+ (* 4.0 (* p p)) (* x x)) 3)
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (+ (* (pow 4.0 3) (pow p 6)) (pow x 6))
  (+ (pow x 4) (* 4.0 (- (* 4.0 (pow p 4)) (* p (* p (* x x))))))
  (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4))
  (- (* 4.0 (* p p)) (* x x))
  x
  (* p (sqrt 4.0))
  (* p (neg (sqrt 4.0)))
  1.0
  2.0
  0
  0
  0
  0
  (+ (* 4.0 (* p p)) (* x x))
  (+ (* 4.0 (* p p)) (* x x))
  (+ (* 4.0 (* p p)) (* x x))
0.957 * * * [progress]: adding candidates to table
1.119 * * [progress]: iteration 2 / 4
1.119 * * * [progress]: picking best candidate
1.159 * * * * [pick]: Picked  #<alt (λ (p x) (sqrt (* 0.5 (exp (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))>
1.159 * * * [progress]: localizing error
1.175 * * * [progress]: generating rewritten candidates
1.176 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 2 2)
1.181 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
1.192 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
1.203 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2)
1.213 * * * [progress]: generating series expansions
1.213 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 2 2)
1.214 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.214 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.214 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.214 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.214 * [taylor]: Taking taylor expansion of x in x
1.214 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.214 * [taylor]: Taking taylor expansion of 4.0 in x
1.214 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.214 * [taylor]: Taking taylor expansion of p in x
1.214 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.214 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.214 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.214 * [taylor]: Taking taylor expansion of x in p
1.214 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.214 * [taylor]: Taking taylor expansion of 4.0 in p
1.214 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.214 * [taylor]: Taking taylor expansion of p in p
1.214 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.214 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.214 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.214 * [taylor]: Taking taylor expansion of x in p
1.215 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.215 * [taylor]: Taking taylor expansion of 4.0 in p
1.215 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.215 * [taylor]: Taking taylor expansion of p in p
1.215 * [taylor]: Taking taylor expansion of x in x
1.215 * [taylor]: Taking taylor expansion of 0 in x
1.215 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.215 * [taylor]: Taking taylor expansion of 2.0 in x
1.215 * [taylor]: Taking taylor expansion of x in x
1.215 * [taylor]: Taking taylor expansion of 0 in x
1.215 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.216 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.216 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.216 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.216 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.216 * [taylor]: Taking taylor expansion of x in x
1.216 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.216 * [taylor]: Taking taylor expansion of 4.0 in x
1.216 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.216 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.216 * [taylor]: Taking taylor expansion of p in x
1.216 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.216 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.216 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.216 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.216 * [taylor]: Taking taylor expansion of x in p
1.216 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.216 * [taylor]: Taking taylor expansion of 4.0 in p
1.216 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.216 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.216 * [taylor]: Taking taylor expansion of p in p
1.216 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.216 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.216 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.216 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.216 * [taylor]: Taking taylor expansion of x in p
1.216 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.216 * [taylor]: Taking taylor expansion of 4.0 in p
1.216 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.216 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.216 * [taylor]: Taking taylor expansion of p in p
1.217 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.217 * [taylor]: Taking taylor expansion of 4.0 in x
1.217 * [taylor]: Taking taylor expansion of 0 in x
1.217 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.217 * [taylor]: Taking taylor expansion of 1/2 in x
1.217 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.217 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.217 * [taylor]: Taking taylor expansion of x in x
1.217 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.217 * [taylor]: Taking taylor expansion of 4.0 in x
1.218 * [taylor]: Taking taylor expansion of 0 in x
1.218 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.218 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.218 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.218 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.218 * [taylor]: Taking taylor expansion of x in x
1.218 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.218 * [taylor]: Taking taylor expansion of 4.0 in x
1.218 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.218 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.218 * [taylor]: Taking taylor expansion of p in x
1.219 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.219 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.219 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.219 * [taylor]: Taking taylor expansion of x in p
1.219 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.219 * [taylor]: Taking taylor expansion of 4.0 in p
1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.219 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.219 * [taylor]: Taking taylor expansion of p in p
1.219 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.219 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.219 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.219 * [taylor]: Taking taylor expansion of x in p
1.219 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.219 * [taylor]: Taking taylor expansion of 4.0 in p
1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.219 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.219 * [taylor]: Taking taylor expansion of p in p
1.219 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.219 * [taylor]: Taking taylor expansion of 4.0 in x
1.219 * [taylor]: Taking taylor expansion of 0 in x
1.220 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.220 * [taylor]: Taking taylor expansion of 1/2 in x
1.220 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.220 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.220 * [taylor]: Taking taylor expansion of x in x
1.220 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.220 * [taylor]: Taking taylor expansion of 4.0 in x
1.220 * [taylor]: Taking taylor expansion of 0 in x
1.221 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
1.221 * [approximate]: Taking taylor expansion of (log (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0)) in (x p) around 0
1.221 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0)) in p
1.221 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.221 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.221 * [taylor]: Taking taylor expansion of x in p
1.221 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.221 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.221 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.221 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.221 * [taylor]: Taking taylor expansion of x in p
1.221 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.221 * [taylor]: Taking taylor expansion of 4.0 in p
1.221 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.221 * [taylor]: Taking taylor expansion of p in p
1.222 * [taylor]: Taking taylor expansion of 1.0 in p
1.222 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0)) in x
1.222 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.222 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.222 * [taylor]: Taking taylor expansion of x in x
1.222 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.222 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.222 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.222 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.222 * [taylor]: Taking taylor expansion of x in x
1.222 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.222 * [taylor]: Taking taylor expansion of 4.0 in x
1.222 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.222 * [taylor]: Taking taylor expansion of p in x
1.222 * [taylor]: Taking taylor expansion of 1.0 in x
1.222 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0)) in x
1.222 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.223 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.223 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.223 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.223 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.223 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.223 * [taylor]: Taking taylor expansion of 4.0 in x
1.223 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.223 * [taylor]: Taking taylor expansion of p in x
1.223 * [taylor]: Taking taylor expansion of 1.0 in x
1.223 * [taylor]: Taking taylor expansion of (log 1.0) in p
1.223 * [taylor]: Taking taylor expansion of 1.0 in p
1.224 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sqrt 0.25) p)) in p
1.224 * [taylor]: Taking taylor expansion of 1.0 in p
1.224 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
1.224 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.224 * [taylor]: Taking taylor expansion of 0.25 in p
1.224 * [taylor]: Taking taylor expansion of p in p
1.225 * [taylor]: Taking taylor expansion of (* -1/2 (/ (pow (sqrt 0.25) 2) (* (pow p 2) (pow 1.0 2)))) in p
1.225 * [taylor]: Taking taylor expansion of -1/2 in p
1.225 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.25) 2) (* (pow p 2) (pow 1.0 2))) in p
1.225 * [taylor]: Taking taylor expansion of (pow (sqrt 0.25) 2) in p
1.225 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.225 * [taylor]: Taking taylor expansion of 0.25 in p
1.225 * [taylor]: Taking taylor expansion of (* (pow p 2) (pow 1.0 2)) in p
1.225 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.225 * [taylor]: Taking taylor expansion of p in p
1.225 * [taylor]: Taking taylor expansion of (pow 1.0 2) in p
1.225 * [taylor]: Taking taylor expansion of 1.0 in p
1.227 * [taylor]: Taking taylor expansion of (* 1/6 (- (* 2 (/ (pow (sqrt 0.25) 3) (* (pow p 3) (pow 1.0 3)))) (* 0.1875 (/ 1 (* (pow p 3) (sqrt 0.25)))))) in p
1.227 * [taylor]: Taking taylor expansion of 1/6 in p
1.227 * [taylor]: Taking taylor expansion of (- (* 2 (/ (pow (sqrt 0.25) 3) (* (pow p 3) (pow 1.0 3)))) (* 0.1875 (/ 1 (* (pow p 3) (sqrt 0.25))))) in p
1.227 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (sqrt 0.25) 3) (* (pow p 3) (pow 1.0 3)))) in p
1.227 * [taylor]: Taking taylor expansion of 2 in p
1.227 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.25) 3) (* (pow p 3) (pow 1.0 3))) in p
1.228 * [taylor]: Taking taylor expansion of (pow (sqrt 0.25) 3) in p
1.228 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.228 * [taylor]: Taking taylor expansion of 0.25 in p
1.228 * [taylor]: Taking taylor expansion of (* (pow p 3) (pow 1.0 3)) in p
1.228 * [taylor]: Taking taylor expansion of (pow p 3) in p
1.228 * [taylor]: Taking taylor expansion of p in p
1.228 * [taylor]: Taking taylor expansion of (pow 1.0 3) in p
1.228 * [taylor]: Taking taylor expansion of 1.0 in p
1.228 * [taylor]: Taking taylor expansion of (* 0.1875 (/ 1 (* (pow p 3) (sqrt 0.25)))) in p
1.228 * [taylor]: Taking taylor expansion of 0.1875 in p
1.228 * [taylor]: Taking taylor expansion of (/ 1 (* (pow p 3) (sqrt 0.25))) in p
1.228 * [taylor]: Taking taylor expansion of (* (pow p 3) (sqrt 0.25)) in p
1.228 * [taylor]: Taking taylor expansion of (pow p 3) in p
1.228 * [taylor]: Taking taylor expansion of p in p
1.228 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.228 * [taylor]: Taking taylor expansion of 0.25 in p
1.231 * [approximate]: Taking taylor expansion of (log (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) in (x p) around 0
1.231 * [taylor]: Taking taylor expansion of (log (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) in p
1.231 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.231 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.231 * [taylor]: Taking taylor expansion of x in p
1.231 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.231 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.231 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.231 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.231 * [taylor]: Taking taylor expansion of x in p
1.231 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.231 * [taylor]: Taking taylor expansion of 4.0 in p
1.231 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.231 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.231 * [taylor]: Taking taylor expansion of p in p
1.231 * [taylor]: Taking taylor expansion of 1.0 in p
1.231 * [taylor]: Taking taylor expansion of (log (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) in x
1.231 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.231 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.231 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.231 * [taylor]: Taking taylor expansion of 4.0 in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.231 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.231 * [taylor]: Taking taylor expansion of p in x
1.232 * [taylor]: Taking taylor expansion of 1.0 in x
1.232 * [taylor]: Taking taylor expansion of (log (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) in x
1.232 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.232 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.232 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.232 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.232 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.232 * [taylor]: Taking taylor expansion of 4.0 in x
1.232 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.232 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.232 * [taylor]: Taking taylor expansion of p in x
1.232 * [taylor]: Taking taylor expansion of 1.0 in x
1.232 * [taylor]: Taking taylor expansion of (log 2.0) in p
1.232 * [taylor]: Taking taylor expansion of 2.0 in p
1.232 * [taylor]: Taking taylor expansion of 0 in p
1.233 * [taylor]: Taking taylor expansion of (/ -1.0 (pow p 2)) in p
1.234 * [taylor]: Taking taylor expansion of -1.0 in p
1.234 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.234 * [taylor]: Taking taylor expansion of p in p
1.235 * [taylor]: Taking taylor expansion of 0 in p
1.235 * [approximate]: Taking taylor expansion of (log (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) in (x p) around 0
1.235 * [taylor]: Taking taylor expansion of (log (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) in p
1.235 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.235 * [taylor]: Taking taylor expansion of 1.0 in p
1.235 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.235 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.235 * [taylor]: Taking taylor expansion of x in p
1.235 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.235 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.235 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.235 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.235 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.235 * [taylor]: Taking taylor expansion of x in p
1.235 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.235 * [taylor]: Taking taylor expansion of 4.0 in p
1.236 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.236 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.236 * [taylor]: Taking taylor expansion of p in p
1.236 * [taylor]: Taking taylor expansion of (log (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) in x
1.236 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.236 * [taylor]: Taking taylor expansion of 1.0 in x
1.236 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.236 * [taylor]: Taking taylor expansion of x in x
1.236 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.236 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.236 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.236 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.236 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.236 * [taylor]: Taking taylor expansion of x in x
1.236 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.236 * [taylor]: Taking taylor expansion of 4.0 in x
1.236 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.236 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.236 * [taylor]: Taking taylor expansion of p in x
1.237 * [taylor]: Taking taylor expansion of (log (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) in x
1.237 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.237 * [taylor]: Taking taylor expansion of 1.0 in x
1.237 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.237 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.237 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.237 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.237 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.237 * [taylor]: Taking taylor expansion of 4.0 in x
1.237 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.237 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.237 * [taylor]: Taking taylor expansion of p in x
1.239 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (/ 2.0 (pow p 2)))) in p
1.239 * [taylor]: Taking taylor expansion of (* 2 (log x)) in p
1.239 * [taylor]: Taking taylor expansion of 2 in p
1.239 * [taylor]: Taking taylor expansion of (log x) in p
1.239 * [taylor]: Taking taylor expansion of x in p
1.239 * [taylor]: Taking taylor expansion of (log (/ 2.0 (pow p 2))) in p
1.239 * [taylor]: Taking taylor expansion of (/ 2.0 (pow p 2)) in p
1.239 * [taylor]: Taking taylor expansion of 2.0 in p
1.239 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.239 * [taylor]: Taking taylor expansion of p in p
1.240 * [taylor]: Taking taylor expansion of 0 in p
1.242 * [taylor]: Taking taylor expansion of (/ -3.0 (pow p 2)) in p
1.242 * [taylor]: Taking taylor expansion of -3.0 in p
1.242 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.242 * [taylor]: Taking taylor expansion of p in p
1.244 * [taylor]: Taking taylor expansion of 0 in p
1.244 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
1.244 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
1.244 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.244 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.244 * [taylor]: Taking taylor expansion of x in p
1.244 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.244 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.244 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.244 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.244 * [taylor]: Taking taylor expansion of x in p
1.244 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.244 * [taylor]: Taking taylor expansion of 4.0 in p
1.244 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.244 * [taylor]: Taking taylor expansion of p in p
1.245 * [taylor]: Taking taylor expansion of 1.0 in p
1.245 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.245 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.245 * [taylor]: Taking taylor expansion of x in x
1.245 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.245 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.245 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.245 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.245 * [taylor]: Taking taylor expansion of x in x
1.245 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.245 * [taylor]: Taking taylor expansion of 4.0 in x
1.245 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.245 * [taylor]: Taking taylor expansion of p in x
1.246 * [taylor]: Taking taylor expansion of 1.0 in x
1.246 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.246 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.246 * [taylor]: Taking taylor expansion of x in x
1.246 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.246 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.246 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.246 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.246 * [taylor]: Taking taylor expansion of x in x
1.246 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.246 * [taylor]: Taking taylor expansion of 4.0 in x
1.246 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.246 * [taylor]: Taking taylor expansion of p in x
1.246 * [taylor]: Taking taylor expansion of 1.0 in x
1.246 * [taylor]: Taking taylor expansion of 1.0 in p
1.247 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
1.247 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.247 * [taylor]: Taking taylor expansion of 0.25 in p
1.247 * [taylor]: Taking taylor expansion of p in p
1.247 * [taylor]: Taking taylor expansion of 0 in p
1.248 * [taylor]: Taking taylor expansion of (neg (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25))))) in p
1.248 * [taylor]: Taking taylor expansion of (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25)))) in p
1.248 * [taylor]: Taking taylor expansion of 0.03125 in p
1.248 * [taylor]: Taking taylor expansion of (/ 1 (* (pow p 3) (sqrt 0.25))) in p
1.248 * [taylor]: Taking taylor expansion of (* (pow p 3) (sqrt 0.25)) in p
1.248 * [taylor]: Taking taylor expansion of (pow p 3) in p
1.248 * [taylor]: Taking taylor expansion of p in p
1.248 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.248 * [taylor]: Taking taylor expansion of 0.25 in p
1.249 * [approximate]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in (x p) around 0
1.249 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.249 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.249 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.249 * [taylor]: Taking taylor expansion of x in p
1.249 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.249 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.249 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.249 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.249 * [taylor]: Taking taylor expansion of x in p
1.250 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.250 * [taylor]: Taking taylor expansion of 4.0 in p
1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.250 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.250 * [taylor]: Taking taylor expansion of p in p
1.250 * [taylor]: Taking taylor expansion of 1.0 in p
1.250 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.250 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.250 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.250 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.250 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.250 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.250 * [taylor]: Taking taylor expansion of 4.0 in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.250 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.250 * [taylor]: Taking taylor expansion of p in x
1.250 * [taylor]: Taking taylor expansion of 1.0 in x
1.250 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.250 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.250 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.250 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.250 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.251 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.251 * [taylor]: Taking taylor expansion of 4.0 in x
1.251 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.251 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.251 * [taylor]: Taking taylor expansion of p in x
1.251 * [taylor]: Taking taylor expansion of 1.0 in x
1.251 * [taylor]: Taking taylor expansion of 2.0 in p
1.251 * [taylor]: Taking taylor expansion of 0 in p
1.252 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
1.252 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.252 * [taylor]: Taking taylor expansion of 2.0 in p
1.252 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.252 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.252 * [taylor]: Taking taylor expansion of p in p
1.253 * [taylor]: Taking taylor expansion of 0 in p
1.253 * [approximate]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
1.253 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.253 * [taylor]: Taking taylor expansion of 1.0 in p
1.253 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.253 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.253 * [taylor]: Taking taylor expansion of x in p
1.253 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.253 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.253 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.253 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.253 * [taylor]: Taking taylor expansion of x in p
1.253 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.253 * [taylor]: Taking taylor expansion of 4.0 in p
1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.253 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.253 * [taylor]: Taking taylor expansion of p in p
1.253 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.253 * [taylor]: Taking taylor expansion of 1.0 in x
1.253 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.253 * [taylor]: Taking taylor expansion of x in x
1.253 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.253 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.253 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.253 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.253 * [taylor]: Taking taylor expansion of x in x
1.254 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.254 * [taylor]: Taking taylor expansion of 4.0 in x
1.254 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.254 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.254 * [taylor]: Taking taylor expansion of p in x
1.254 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.254 * [taylor]: Taking taylor expansion of 1.0 in x
1.254 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.254 * [taylor]: Taking taylor expansion of x in x
1.254 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.254 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.254 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.254 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.254 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.254 * [taylor]: Taking taylor expansion of x in x
1.254 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.254 * [taylor]: Taking taylor expansion of 4.0 in x
1.254 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.254 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.254 * [taylor]: Taking taylor expansion of p in x
1.254 * [taylor]: Taking taylor expansion of 0 in p
1.254 * [taylor]: Taking taylor expansion of 0 in p
1.255 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.255 * [taylor]: Taking taylor expansion of 2.0 in p
1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.255 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.255 * [taylor]: Taking taylor expansion of p in p
1.255 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2)
1.256 * [approximate]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
1.256 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.256 * [taylor]: Taking taylor expansion of x in p
1.256 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.256 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.256 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.256 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.256 * [taylor]: Taking taylor expansion of x in p
1.256 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.256 * [taylor]: Taking taylor expansion of 4.0 in p
1.256 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.256 * [taylor]: Taking taylor expansion of p in p
1.258 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.258 * [taylor]: Taking taylor expansion of x in x
1.258 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.258 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.258 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.258 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.258 * [taylor]: Taking taylor expansion of x in x
1.258 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.258 * [taylor]: Taking taylor expansion of 4.0 in x
1.258 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.258 * [taylor]: Taking taylor expansion of p in x
1.259 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.259 * [taylor]: Taking taylor expansion of x in x
1.259 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.259 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.259 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.259 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.259 * [taylor]: Taking taylor expansion of x in x
1.259 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.259 * [taylor]: Taking taylor expansion of 4.0 in x
1.259 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.259 * [taylor]: Taking taylor expansion of p in x
1.260 * [taylor]: Taking taylor expansion of 0 in p
1.260 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
1.260 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.260 * [taylor]: Taking taylor expansion of 0.25 in p
1.260 * [taylor]: Taking taylor expansion of p in p
1.260 * [taylor]: Taking taylor expansion of 0 in p
1.261 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in (x p) around 0
1.261 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.261 * [taylor]: Taking taylor expansion of x in p
1.261 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.261 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.261 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.261 * [taylor]: Taking taylor expansion of x in p
1.261 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.261 * [taylor]: Taking taylor expansion of 4.0 in p
1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.261 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.261 * [taylor]: Taking taylor expansion of p in p
1.261 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.261 * [taylor]: Taking taylor expansion of x in x
1.261 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.261 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.261 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.261 * [taylor]: Taking taylor expansion of x in x
1.262 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.262 * [taylor]: Taking taylor expansion of 4.0 in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.262 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.262 * [taylor]: Taking taylor expansion of p in x
1.262 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.262 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.262 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.262 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.262 * [taylor]: Taking taylor expansion of 4.0 in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.262 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.262 * [taylor]: Taking taylor expansion of p in x
1.262 * [taylor]: Taking taylor expansion of 1 in p
1.262 * [taylor]: Taking taylor expansion of 0 in p
1.263 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
1.263 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.263 * [taylor]: Taking taylor expansion of 2.0 in p
1.263 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.263 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.263 * [taylor]: Taking taylor expansion of p in p
1.263 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
1.263 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.263 * [taylor]: Taking taylor expansion of -1 in p
1.263 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.264 * [taylor]: Taking taylor expansion of x in p
1.264 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.264 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.264 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.264 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.264 * [taylor]: Taking taylor expansion of x in p
1.264 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.264 * [taylor]: Taking taylor expansion of 4.0 in p
1.264 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.264 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.264 * [taylor]: Taking taylor expansion of p in p
1.264 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.264 * [taylor]: Taking taylor expansion of -1 in x
1.264 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.264 * [taylor]: Taking taylor expansion of x in x
1.264 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.264 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.264 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.264 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.264 * [taylor]: Taking taylor expansion of x in x
1.264 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.264 * [taylor]: Taking taylor expansion of 4.0 in x
1.264 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.264 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.264 * [taylor]: Taking taylor expansion of p in x
1.265 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.265 * [taylor]: Taking taylor expansion of -1 in x
1.265 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.265 * [taylor]: Taking taylor expansion of x in x
1.265 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.265 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.265 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.265 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.265 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.265 * [taylor]: Taking taylor expansion of x in x
1.265 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.265 * [taylor]: Taking taylor expansion of 4.0 in x
1.265 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.265 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.265 * [taylor]: Taking taylor expansion of p in x
1.265 * [taylor]: Taking taylor expansion of -1 in p
1.265 * [taylor]: Taking taylor expansion of 0 in p
1.266 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.266 * [taylor]: Taking taylor expansion of 2.0 in p
1.266 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.266 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.266 * [taylor]: Taking taylor expansion of p in p
1.266 * * * [progress]: simplifying candidates
1.268 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (* (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt 1)
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (pow (* 4.0 (* p p)) 3) (pow (* x x) 3)))
  (sqrt (+ (* (* 4.0 (* p p)) (* 4.0 (* p p))) (- (* (* x x) (* x x)) (* (* 4.0 (* p p)) (* x x)))))
  (sqrt (- (* (* 4.0 (* p p)) (* 4.0 (* p p))) (* (* x x) (* x x))))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  (/ 1 2)
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (log (* (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (log (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log 1)
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log 1)
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ (pow 1.0 3) (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)))
  (log (+ (* 1.0 1.0) (- (* (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) (* 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (log (- (* 1.0 1.0) (* (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (exp (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (exp 1.0) (exp (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (exp (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (* (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (+ (pow 1.0 3) (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3))
  (+ (* 1.0 1.0) (- (* (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) (* 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (- (* 1.0 1.0) (* (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (- (log x) (log (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (exp (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (* x x) x) (* (* (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (* (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (neg x)
  (neg (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt x) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt x) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (cbrt x) (cbrt x)) (sqrt 1))
  (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt x) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (sqrt x) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (sqrt x) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt 1))
  (/ (sqrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) 1)
  (/ (sqrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt 1))
  (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 1)
  (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) x)
  (/ x (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt 1))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x 1)
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (cbrt x))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt x))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) x)
  (/ x (sqrt (+ (pow (* 4.0 (* p p)) 3) (pow (* x x) 3))))
  (/ x (sqrt (- (* (* 4.0 (* p p)) (* 4.0 (* p p))) (* (* x x) (* x x)))))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  (log 1.0)
  (log 2.0)
  (- (+ (log 2.0) (* 2 (log (/ -1 x)))) (* 2 (log (/ -1 p))))
  1.0
  2.0
  0
  0
  0
  0
1.346 * * [simplify]: iteration  0 :  5315  enodes  (cost  1560 )
1.351 * [simplify]: Simplified to:
   (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3)
  (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  1
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6)))
  (sqrt (+ (pow x 4) (* 4.0 (- (* 4.0 (pow p 4)) (* p (* p (* x x)))))))
  (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4)))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  1/2
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* 2 (log (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (log (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log 1)
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log 1)
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ (pow 1.0 3) (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)))
  (log (+ (* 1.0 1.0) (* x (- (/ x (+ (* 4.0 (* p p)) (* x x))) (/ 1.0 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (log (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x))))))
  (log (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (pow (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) 3)
  (sqrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (exp (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (exp (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (pow (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) 3)
  (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (+ (pow 1.0 3) (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3))
  (+ (* 1.0 1.0) (* x (- (/ x (+ (* 4.0 (* p p)) (* x x))) (/ 1.0 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x)))))
  (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (exp (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)
  (* (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)
  (sqrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (neg x)
  (neg (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt x) (/ (cbrt x) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (/ (cbrt x) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt x) (/ (cbrt x) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt x) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt x) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt x) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt x) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (sqrt x) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt x)
  (/ (sqrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt x)
  (/ (sqrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) x)
  (/ x (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  x
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  x
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (cbrt x))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt x))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) x)
  (/ x (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6))))
  (/ x (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4))))
  x
  (* p (sqrt 4.0))
  (* p (neg (sqrt 4.0)))
  (log 1.0)
  (log 2.0)
  (+ (log 2.0) (* 2 (- (log (/ -1 x)) (log (/ -1 p)))))
  1.0
  2.0
  0
  0
  0
  0
1.351 * * * [progress]: adding candidates to table
1.528 * * [progress]: iteration 3 / 4
1.528 * * * [progress]: picking best candidate
1.566 * * * * [pick]: Picked  #<alt (λ (p x) (sqrt (* 0.5 (exp (* (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))))>
1.566 * * * [progress]: localizing error
1.587 * * * [progress]: generating rewritten candidates
1.587 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2 1 1 2 2)
1.592 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1 2 2)
1.598 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1 2 2)
1.604 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1)
1.616 * * * [progress]: generating series expansions
1.616 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2 1 1 2 2)
1.616 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.616 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.616 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.616 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.616 * [taylor]: Taking taylor expansion of x in x
1.617 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.617 * [taylor]: Taking taylor expansion of 4.0 in x
1.617 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.617 * [taylor]: Taking taylor expansion of p in x
1.617 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.617 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.617 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.617 * [taylor]: Taking taylor expansion of x in p
1.617 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.617 * [taylor]: Taking taylor expansion of 4.0 in p
1.617 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.617 * [taylor]: Taking taylor expansion of p in p
1.617 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.617 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.617 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.617 * [taylor]: Taking taylor expansion of x in p
1.617 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.617 * [taylor]: Taking taylor expansion of 4.0 in p
1.617 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.617 * [taylor]: Taking taylor expansion of p in p
1.618 * [taylor]: Taking taylor expansion of x in x
1.618 * [taylor]: Taking taylor expansion of 0 in x
1.618 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.618 * [taylor]: Taking taylor expansion of 2.0 in x
1.618 * [taylor]: Taking taylor expansion of x in x
1.618 * [taylor]: Taking taylor expansion of 0 in x
1.618 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.618 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.618 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.618 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.618 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.618 * [taylor]: Taking taylor expansion of x in x
1.618 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.619 * [taylor]: Taking taylor expansion of 4.0 in x
1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.619 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.619 * [taylor]: Taking taylor expansion of p in x
1.619 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.619 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.619 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.619 * [taylor]: Taking taylor expansion of x in p
1.619 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.619 * [taylor]: Taking taylor expansion of 4.0 in p
1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.619 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.619 * [taylor]: Taking taylor expansion of p in p
1.619 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.619 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.619 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.619 * [taylor]: Taking taylor expansion of x in p
1.619 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.619 * [taylor]: Taking taylor expansion of 4.0 in p
1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.619 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.619 * [taylor]: Taking taylor expansion of p in p
1.620 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.620 * [taylor]: Taking taylor expansion of 4.0 in x
1.620 * [taylor]: Taking taylor expansion of 0 in x
1.620 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.620 * [taylor]: Taking taylor expansion of 1/2 in x
1.620 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.620 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.620 * [taylor]: Taking taylor expansion of x in x
1.620 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.620 * [taylor]: Taking taylor expansion of 4.0 in x
1.621 * [taylor]: Taking taylor expansion of 0 in x
1.621 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.621 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.621 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.621 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.621 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.621 * [taylor]: Taking taylor expansion of 4.0 in x
1.621 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.621 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.621 * [taylor]: Taking taylor expansion of p in x
1.621 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.621 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.622 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.622 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.622 * [taylor]: Taking taylor expansion of x in p
1.622 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.622 * [taylor]: Taking taylor expansion of 4.0 in p
1.622 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.622 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.622 * [taylor]: Taking taylor expansion of p in p
1.622 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.622 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.622 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.622 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.622 * [taylor]: Taking taylor expansion of x in p
1.622 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.622 * [taylor]: Taking taylor expansion of 4.0 in p
1.622 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.622 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.622 * [taylor]: Taking taylor expansion of p in p
1.622 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.622 * [taylor]: Taking taylor expansion of 4.0 in x
1.622 * [taylor]: Taking taylor expansion of 0 in x
1.623 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.623 * [taylor]: Taking taylor expansion of 1/2 in x
1.623 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.623 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.623 * [taylor]: Taking taylor expansion of x in x
1.623 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.623 * [taylor]: Taking taylor expansion of 4.0 in x
1.623 * [taylor]: Taking taylor expansion of 0 in x
1.624 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1 2 2)
1.624 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.624 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.624 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.624 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.624 * [taylor]: Taking taylor expansion of x in x
1.624 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.624 * [taylor]: Taking taylor expansion of 4.0 in x
1.624 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.624 * [taylor]: Taking taylor expansion of p in x
1.624 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.624 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.624 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.624 * [taylor]: Taking taylor expansion of x in p
1.624 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.624 * [taylor]: Taking taylor expansion of 4.0 in p
1.624 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.624 * [taylor]: Taking taylor expansion of p in p
1.625 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.625 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.625 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.625 * [taylor]: Taking taylor expansion of x in p
1.625 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.625 * [taylor]: Taking taylor expansion of 4.0 in p
1.625 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.625 * [taylor]: Taking taylor expansion of p in p
1.625 * [taylor]: Taking taylor expansion of x in x
1.625 * [taylor]: Taking taylor expansion of 0 in x
1.625 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.625 * [taylor]: Taking taylor expansion of 2.0 in x
1.625 * [taylor]: Taking taylor expansion of x in x
1.625 * [taylor]: Taking taylor expansion of 0 in x
1.626 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.626 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.626 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.626 * [taylor]: Taking taylor expansion of x in x
1.626 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.626 * [taylor]: Taking taylor expansion of 4.0 in x
1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.626 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.626 * [taylor]: Taking taylor expansion of p in x
1.626 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.626 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.626 * [taylor]: Taking taylor expansion of x in p
1.626 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.626 * [taylor]: Taking taylor expansion of 4.0 in p
1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.626 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.626 * [taylor]: Taking taylor expansion of p in p
1.626 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.627 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.627 * [taylor]: Taking taylor expansion of x in p
1.627 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.627 * [taylor]: Taking taylor expansion of 4.0 in p
1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.627 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.627 * [taylor]: Taking taylor expansion of p in p
1.627 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.627 * [taylor]: Taking taylor expansion of 4.0 in x
1.627 * [taylor]: Taking taylor expansion of 0 in x
1.627 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.627 * [taylor]: Taking taylor expansion of 1/2 in x
1.627 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.627 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.627 * [taylor]: Taking taylor expansion of x in x
1.627 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.627 * [taylor]: Taking taylor expansion of 4.0 in x
1.628 * [taylor]: Taking taylor expansion of 0 in x
1.628 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.628 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.629 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.629 * [taylor]: Taking taylor expansion of x in x
1.629 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.629 * [taylor]: Taking taylor expansion of 4.0 in x
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.629 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.629 * [taylor]: Taking taylor expansion of p in x
1.629 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.629 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.629 * [taylor]: Taking taylor expansion of x in p
1.629 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.629 * [taylor]: Taking taylor expansion of 4.0 in p
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.629 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.629 * [taylor]: Taking taylor expansion of p in p
1.629 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.629 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.629 * [taylor]: Taking taylor expansion of x in p
1.629 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.629 * [taylor]: Taking taylor expansion of 4.0 in p
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.629 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.629 * [taylor]: Taking taylor expansion of p in p
1.630 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.630 * [taylor]: Taking taylor expansion of 4.0 in x
1.630 * [taylor]: Taking taylor expansion of 0 in x
1.630 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.630 * [taylor]: Taking taylor expansion of 1/2 in x
1.630 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.630 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.630 * [taylor]: Taking taylor expansion of x in x
1.630 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.630 * [taylor]: Taking taylor expansion of 4.0 in x
1.631 * [taylor]: Taking taylor expansion of 0 in x
1.631 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1 2 2)
1.631 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.631 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.631 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.631 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.631 * [taylor]: Taking taylor expansion of x in x
1.631 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.631 * [taylor]: Taking taylor expansion of 4.0 in x
1.631 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.631 * [taylor]: Taking taylor expansion of p in x
1.632 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.632 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.632 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.632 * [taylor]: Taking taylor expansion of x in p
1.632 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.632 * [taylor]: Taking taylor expansion of 4.0 in p
1.632 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.632 * [taylor]: Taking taylor expansion of p in p
1.632 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.632 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.632 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.632 * [taylor]: Taking taylor expansion of x in p
1.632 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.632 * [taylor]: Taking taylor expansion of 4.0 in p
1.632 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.632 * [taylor]: Taking taylor expansion of p in p
1.632 * [taylor]: Taking taylor expansion of x in x
1.632 * [taylor]: Taking taylor expansion of 0 in x
1.633 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.633 * [taylor]: Taking taylor expansion of 2.0 in x
1.633 * [taylor]: Taking taylor expansion of x in x
1.633 * [taylor]: Taking taylor expansion of 0 in x
1.633 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.633 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.633 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.633 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.633 * [taylor]: Taking taylor expansion of x in x
1.633 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.633 * [taylor]: Taking taylor expansion of 4.0 in x
1.633 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.633 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.633 * [taylor]: Taking taylor expansion of p in x
1.633 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.633 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.633 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.633 * [taylor]: Taking taylor expansion of x in p
1.634 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.634 * [taylor]: Taking taylor expansion of 4.0 in p
1.634 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.634 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.634 * [taylor]: Taking taylor expansion of p in p
1.634 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.634 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.634 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.634 * [taylor]: Taking taylor expansion of x in p
1.634 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.634 * [taylor]: Taking taylor expansion of 4.0 in p
1.634 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.634 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.634 * [taylor]: Taking taylor expansion of p in p
1.634 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.634 * [taylor]: Taking taylor expansion of 4.0 in x
1.634 * [taylor]: Taking taylor expansion of 0 in x
1.635 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.635 * [taylor]: Taking taylor expansion of 1/2 in x
1.635 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.635 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.635 * [taylor]: Taking taylor expansion of x in x
1.635 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.635 * [taylor]: Taking taylor expansion of 4.0 in x
1.635 * [taylor]: Taking taylor expansion of 0 in x
1.636 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.636 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.636 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.636 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.636 * [taylor]: Taking taylor expansion of x in x
1.636 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.636 * [taylor]: Taking taylor expansion of 4.0 in x
1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.636 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.636 * [taylor]: Taking taylor expansion of p in x
1.636 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.636 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.636 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.636 * [taylor]: Taking taylor expansion of x in p
1.636 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.636 * [taylor]: Taking taylor expansion of 4.0 in p
1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.636 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.636 * [taylor]: Taking taylor expansion of p in p
1.637 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.637 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.637 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.637 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.637 * [taylor]: Taking taylor expansion of x in p
1.637 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.637 * [taylor]: Taking taylor expansion of 4.0 in p
1.637 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.637 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.637 * [taylor]: Taking taylor expansion of p in p
1.637 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.637 * [taylor]: Taking taylor expansion of 4.0 in x
1.637 * [taylor]: Taking taylor expansion of 0 in x
1.637 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.637 * [taylor]: Taking taylor expansion of 1/2 in x
1.637 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.637 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.637 * [taylor]: Taking taylor expansion of x in x
1.637 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.637 * [taylor]: Taking taylor expansion of 4.0 in x
1.638 * [taylor]: Taking taylor expansion of 0 in x
1.638 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1)
1.639 * [approximate]: Taking taylor expansion of (log (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0)) in (x p) around 0
1.639 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0)) in p
1.639 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.639 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.639 * [taylor]: Taking taylor expansion of x in p
1.639 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.639 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.639 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.639 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.639 * [taylor]: Taking taylor expansion of x in p
1.639 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.639 * [taylor]: Taking taylor expansion of 4.0 in p
1.639 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.639 * [taylor]: Taking taylor expansion of p in p
1.639 * [taylor]: Taking taylor expansion of 1.0 in p
1.639 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0)) in x
1.639 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.639 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.639 * [taylor]: Taking taylor expansion of x in x
1.639 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.639 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.639 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.639 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.639 * [taylor]: Taking taylor expansion of x in x
1.639 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.639 * [taylor]: Taking taylor expansion of 4.0 in x
1.639 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.639 * [taylor]: Taking taylor expansion of p in x
1.640 * [taylor]: Taking taylor expansion of 1.0 in x
1.640 * [taylor]: Taking taylor expansion of (log (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0)) in x
1.640 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.640 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.640 * [taylor]: Taking taylor expansion of x in x
1.640 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.640 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.640 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.640 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.640 * [taylor]: Taking taylor expansion of x in x
1.640 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.640 * [taylor]: Taking taylor expansion of 4.0 in x
1.640 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.640 * [taylor]: Taking taylor expansion of p in x
1.641 * [taylor]: Taking taylor expansion of 1.0 in x
1.641 * [taylor]: Taking taylor expansion of (log 1.0) in p
1.641 * [taylor]: Taking taylor expansion of 1.0 in p
1.641 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sqrt 0.25) p)) in p
1.641 * [taylor]: Taking taylor expansion of 1.0 in p
1.641 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
1.641 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.641 * [taylor]: Taking taylor expansion of 0.25 in p
1.641 * [taylor]: Taking taylor expansion of p in p
1.644 * [taylor]: Taking taylor expansion of (* -1/2 (/ (pow (sqrt 0.25) 2) (* (pow p 2) (pow 1.0 2)))) in p
1.644 * [taylor]: Taking taylor expansion of -1/2 in p
1.644 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.25) 2) (* (pow p 2) (pow 1.0 2))) in p
1.644 * [taylor]: Taking taylor expansion of (pow (sqrt 0.25) 2) in p
1.644 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.644 * [taylor]: Taking taylor expansion of 0.25 in p
1.644 * [taylor]: Taking taylor expansion of (* (pow p 2) (pow 1.0 2)) in p
1.644 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.644 * [taylor]: Taking taylor expansion of p in p
1.644 * [taylor]: Taking taylor expansion of (pow 1.0 2) in p
1.644 * [taylor]: Taking taylor expansion of 1.0 in p
1.647 * [taylor]: Taking taylor expansion of (* 1/6 (- (* 2 (/ (pow (sqrt 0.25) 3) (* (pow p 3) (pow 1.0 3)))) (* 0.1875 (/ 1 (* (pow p 3) (sqrt 0.25)))))) in p
1.647 * [taylor]: Taking taylor expansion of 1/6 in p
1.647 * [taylor]: Taking taylor expansion of (- (* 2 (/ (pow (sqrt 0.25) 3) (* (pow p 3) (pow 1.0 3)))) (* 0.1875 (/ 1 (* (pow p 3) (sqrt 0.25))))) in p
1.647 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (sqrt 0.25) 3) (* (pow p 3) (pow 1.0 3)))) in p
1.647 * [taylor]: Taking taylor expansion of 2 in p
1.647 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.25) 3) (* (pow p 3) (pow 1.0 3))) in p
1.647 * [taylor]: Taking taylor expansion of (pow (sqrt 0.25) 3) in p
1.647 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.647 * [taylor]: Taking taylor expansion of 0.25 in p
1.647 * [taylor]: Taking taylor expansion of (* (pow p 3) (pow 1.0 3)) in p
1.647 * [taylor]: Taking taylor expansion of (pow p 3) in p
1.647 * [taylor]: Taking taylor expansion of p in p
1.647 * [taylor]: Taking taylor expansion of (pow 1.0 3) in p
1.647 * [taylor]: Taking taylor expansion of 1.0 in p
1.647 * [taylor]: Taking taylor expansion of (* 0.1875 (/ 1 (* (pow p 3) (sqrt 0.25)))) in p
1.647 * [taylor]: Taking taylor expansion of 0.1875 in p
1.648 * [taylor]: Taking taylor expansion of (/ 1 (* (pow p 3) (sqrt 0.25))) in p
1.648 * [taylor]: Taking taylor expansion of (* (pow p 3) (sqrt 0.25)) in p
1.648 * [taylor]: Taking taylor expansion of (pow p 3) in p
1.648 * [taylor]: Taking taylor expansion of p in p
1.648 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.648 * [taylor]: Taking taylor expansion of 0.25 in p
1.650 * [approximate]: Taking taylor expansion of (log (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) in (x p) around 0
1.650 * [taylor]: Taking taylor expansion of (log (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) in p
1.650 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.650 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.650 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.650 * [taylor]: Taking taylor expansion of x in p
1.650 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.650 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.650 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.650 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.650 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.650 * [taylor]: Taking taylor expansion of x in p
1.651 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.651 * [taylor]: Taking taylor expansion of 4.0 in p
1.651 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.651 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.651 * [taylor]: Taking taylor expansion of p in p
1.651 * [taylor]: Taking taylor expansion of 1.0 in p
1.651 * [taylor]: Taking taylor expansion of (log (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) in x
1.651 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.651 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.651 * [taylor]: Taking taylor expansion of x in x
1.651 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.651 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.651 * [taylor]: Taking taylor expansion of x in x
1.651 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.651 * [taylor]: Taking taylor expansion of 4.0 in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.651 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.651 * [taylor]: Taking taylor expansion of p in x
1.651 * [taylor]: Taking taylor expansion of 1.0 in x
1.651 * [taylor]: Taking taylor expansion of (log (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) in x
1.651 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.651 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.651 * [taylor]: Taking taylor expansion of x in x
1.651 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.652 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.652 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.652 * [taylor]: Taking taylor expansion of x in x
1.652 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.652 * [taylor]: Taking taylor expansion of 4.0 in x
1.652 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.652 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.652 * [taylor]: Taking taylor expansion of p in x
1.652 * [taylor]: Taking taylor expansion of 1.0 in x
1.652 * [taylor]: Taking taylor expansion of (log 2.0) in p
1.652 * [taylor]: Taking taylor expansion of 2.0 in p
1.652 * [taylor]: Taking taylor expansion of 0 in p
1.653 * [taylor]: Taking taylor expansion of (/ -1.0 (pow p 2)) in p
1.653 * [taylor]: Taking taylor expansion of -1.0 in p
1.653 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.653 * [taylor]: Taking taylor expansion of p in p
1.655 * [taylor]: Taking taylor expansion of 0 in p
1.655 * [approximate]: Taking taylor expansion of (log (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) in (x p) around 0
1.655 * [taylor]: Taking taylor expansion of (log (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) in p
1.655 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.655 * [taylor]: Taking taylor expansion of 1.0 in p
1.655 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.655 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.655 * [taylor]: Taking taylor expansion of x in p
1.655 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.655 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.655 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.655 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.655 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.655 * [taylor]: Taking taylor expansion of x in p
1.655 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.655 * [taylor]: Taking taylor expansion of 4.0 in p
1.655 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.655 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.655 * [taylor]: Taking taylor expansion of p in p
1.655 * [taylor]: Taking taylor expansion of (log (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) in x
1.655 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.656 * [taylor]: Taking taylor expansion of 1.0 in x
1.656 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.656 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.656 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.656 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.656 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.656 * [taylor]: Taking taylor expansion of 4.0 in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.656 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.656 * [taylor]: Taking taylor expansion of p in x
1.657 * [taylor]: Taking taylor expansion of (log (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) in x
1.657 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.657 * [taylor]: Taking taylor expansion of 1.0 in x
1.657 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.657 * [taylor]: Taking taylor expansion of x in x
1.657 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.657 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.657 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.657 * [taylor]: Taking taylor expansion of x in x
1.657 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.657 * [taylor]: Taking taylor expansion of 4.0 in x
1.657 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.657 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.657 * [taylor]: Taking taylor expansion of p in x
1.658 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (/ 2.0 (pow p 2)))) in p
1.658 * [taylor]: Taking taylor expansion of (* 2 (log x)) in p
1.658 * [taylor]: Taking taylor expansion of 2 in p
1.658 * [taylor]: Taking taylor expansion of (log x) in p
1.658 * [taylor]: Taking taylor expansion of x in p
1.658 * [taylor]: Taking taylor expansion of (log (/ 2.0 (pow p 2))) in p
1.658 * [taylor]: Taking taylor expansion of (/ 2.0 (pow p 2)) in p
1.658 * [taylor]: Taking taylor expansion of 2.0 in p
1.658 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.658 * [taylor]: Taking taylor expansion of p in p
1.660 * [taylor]: Taking taylor expansion of 0 in p
1.661 * [taylor]: Taking taylor expansion of (/ -3.0 (pow p 2)) in p
1.661 * [taylor]: Taking taylor expansion of -3.0 in p
1.661 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.661 * [taylor]: Taking taylor expansion of p in p
1.664 * [taylor]: Taking taylor expansion of 0 in p
1.664 * * * [progress]: simplifying candidates
1.665 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (* (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt 1)
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (pow (* 4.0 (* p p)) 3) (pow (* x x) 3)))
  (sqrt (+ (* (* 4.0 (* p p)) (* 4.0 (* p p))) (- (* (* x x) (* x x)) (* (* 4.0 (* p p)) (* x x)))))
  (sqrt (- (* (* 4.0 (* p p)) (* 4.0 (* p p))) (* (* x x) (* x x))))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  (/ 1 2)
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (* (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt 1)
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (pow (* 4.0 (* p p)) 3) (pow (* x x) 3)))
  (sqrt (+ (* (* 4.0 (* p p)) (* 4.0 (* p p))) (- (* (* x x) (* x x)) (* (* 4.0 (* p p)) (* x x)))))
  (sqrt (- (* (* 4.0 (* p p)) (* 4.0 (* p p))) (* (* x x) (* x x))))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  (/ 1 2)
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (* (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt 1)
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (pow (* 4.0 (* p p)) 3) (pow (* x x) 3)))
  (sqrt (+ (* (* 4.0 (* p p)) (* 4.0 (* p p))) (- (* (* x x) (* x x)) (* (* 4.0 (* p p)) (* x x)))))
  (sqrt (- (* (* 4.0 (* p p)) (* 4.0 (* p p))) (* (* x x) (* x x))))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  (/ 1 2)
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (log (* (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (log (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log 1)
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log 1)
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ (pow 1.0 3) (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)))
  (log (+ (* 1.0 1.0) (- (* (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) (* 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (log (- (* 1.0 1.0) (* (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (exp (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  (log 1.0)
  (log 2.0)
  (- (+ (log 2.0) (* 2 (log (/ -1 x)))) (* 2 (log (/ -1 p))))
1.719 * * [simplify]: iteration  0 :  5044  enodes  (cost  970 )
1.723 * [simplify]: Simplified to:
   (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3)
  (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  1
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6)))
  (sqrt (+ (pow x 4) (* 4.0 (- (* 4.0 (pow p 4)) (* p (* p (* x x)))))))
  (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4)))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  1/2
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3)
  (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  1
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6)))
  (sqrt (+ (pow x 4) (* 4.0 (- (* 4.0 (pow p 4)) (* p (* p (* x x)))))))
  (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4)))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  1/2
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3)
  (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  1
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6)))
  (sqrt (+ (pow x 4) (* 4.0 (- (* 4.0 (pow p 4)) (* p (* p (* x x)))))))
  (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4)))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  1/2
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* 2 (log (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (log (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log 1)
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log 1)
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ (pow 1.0 3) (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)))
  (log (+ (* 1.0 1.0) (* x (- (/ x (+ (* 4.0 (* p p)) (* x x))) (/ 1.0 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (log (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x))))))
  (log (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (pow (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) 3)
  (sqrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  x
  (* p (sqrt 4.0))
  (* p (neg (sqrt 4.0)))
  x
  (* p (sqrt 4.0))
  (* p (neg (sqrt 4.0)))
  x
  (* p (sqrt 4.0))
  (* p (neg (sqrt 4.0)))
  (log 1.0)
  (log 2.0)
  (+ (log 2.0) (* 2 (- (log p) (log x))))
1.723 * * * [progress]: adding candidates to table
1.990 * * [progress]: iteration 4 / 4
1.990 * * * [progress]: picking best candidate
2.027 * * * * [pick]: Picked  #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))>
2.027 * * * [progress]: localizing error
2.040 * * * [progress]: generating rewritten candidates
2.040 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 2)
2.046 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.048 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
2.062 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2)
2.076 * * * [progress]: generating series expansions
2.076 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 2)
2.076 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
2.076 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.076 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
2.076 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.076 * [taylor]: Taking taylor expansion of x in x
2.076 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
2.076 * [taylor]: Taking taylor expansion of 4.0 in x
2.076 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.076 * [taylor]: Taking taylor expansion of p in x
2.076 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
2.076 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
2.076 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.076 * [taylor]: Taking taylor expansion of x in p
2.077 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
2.077 * [taylor]: Taking taylor expansion of 4.0 in p
2.077 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.077 * [taylor]: Taking taylor expansion of p in p
2.077 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
2.077 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
2.077 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.077 * [taylor]: Taking taylor expansion of x in p
2.077 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
2.077 * [taylor]: Taking taylor expansion of 4.0 in p
2.077 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.077 * [taylor]: Taking taylor expansion of p in p
2.077 * [taylor]: Taking taylor expansion of x in x
2.077 * [taylor]: Taking taylor expansion of 0 in x
2.077 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.077 * [taylor]: Taking taylor expansion of 2.0 in x
2.077 * [taylor]: Taking taylor expansion of x in x
2.078 * [taylor]: Taking taylor expansion of 0 in x
2.078 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
2.078 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.078 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.078 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.078 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.078 * [taylor]: Taking taylor expansion of x in x
2.078 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.078 * [taylor]: Taking taylor expansion of 4.0 in x
2.078 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.078 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.078 * [taylor]: Taking taylor expansion of p in x
2.078 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.078 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.078 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.078 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.078 * [taylor]: Taking taylor expansion of x in p
2.078 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.078 * [taylor]: Taking taylor expansion of 4.0 in p
2.078 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.078 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.078 * [taylor]: Taking taylor expansion of p in p
2.079 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.079 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.079 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.079 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.079 * [taylor]: Taking taylor expansion of x in p
2.079 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.079 * [taylor]: Taking taylor expansion of 4.0 in p
2.079 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.079 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.079 * [taylor]: Taking taylor expansion of p in p
2.079 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
2.079 * [taylor]: Taking taylor expansion of 4.0 in x
2.079 * [taylor]: Taking taylor expansion of 0 in x
2.079 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
2.079 * [taylor]: Taking taylor expansion of 1/2 in x
2.079 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
2.079 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.079 * [taylor]: Taking taylor expansion of x in x
2.080 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
2.080 * [taylor]: Taking taylor expansion of 4.0 in x
2.080 * [taylor]: Taking taylor expansion of 0 in x
2.081 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
2.081 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.081 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.081 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.081 * [taylor]: Taking taylor expansion of x in x
2.081 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.081 * [taylor]: Taking taylor expansion of 4.0 in x
2.081 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.081 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.081 * [taylor]: Taking taylor expansion of p in x
2.081 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.081 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.081 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.081 * [taylor]: Taking taylor expansion of x in p
2.081 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.081 * [taylor]: Taking taylor expansion of 4.0 in p
2.081 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.081 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.081 * [taylor]: Taking taylor expansion of p in p
2.082 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.082 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.082 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.082 * [taylor]: Taking taylor expansion of x in p
2.082 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.082 * [taylor]: Taking taylor expansion of 4.0 in p
2.082 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.082 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.082 * [taylor]: Taking taylor expansion of p in p
2.082 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
2.082 * [taylor]: Taking taylor expansion of 4.0 in x
2.082 * [taylor]: Taking taylor expansion of 0 in x
2.082 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
2.082 * [taylor]: Taking taylor expansion of 1/2 in x
2.082 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
2.082 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.083 * [taylor]: Taking taylor expansion of x in x
2.083 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
2.083 * [taylor]: Taking taylor expansion of 4.0 in x
2.083 * [taylor]: Taking taylor expansion of 0 in x
2.083 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.084 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
2.084 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
2.084 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
2.084 * [taylor]: Taking taylor expansion of x in p
2.084 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
2.084 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
2.084 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
2.084 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.084 * [taylor]: Taking taylor expansion of x in p
2.084 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
2.084 * [taylor]: Taking taylor expansion of 4.0 in p
2.084 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.084 * [taylor]: Taking taylor expansion of p in p
2.084 * [taylor]: Taking taylor expansion of 1.0 in p
2.084 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
2.084 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
2.084 * [taylor]: Taking taylor expansion of x in x
2.084 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
2.084 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.084 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
2.084 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.084 * [taylor]: Taking taylor expansion of x in x
2.084 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
2.084 * [taylor]: Taking taylor expansion of 4.0 in x
2.084 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.085 * [taylor]: Taking taylor expansion of p in x
2.085 * [taylor]: Taking taylor expansion of 1.0 in x
2.085 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
2.085 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
2.085 * [taylor]: Taking taylor expansion of x in x
2.085 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
2.085 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.085 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
2.085 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.085 * [taylor]: Taking taylor expansion of x in x
2.085 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
2.085 * [taylor]: Taking taylor expansion of 4.0 in x
2.085 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.085 * [taylor]: Taking taylor expansion of p in x
2.086 * [taylor]: Taking taylor expansion of 1.0 in x
2.086 * [taylor]: Taking taylor expansion of 1.0 in p
2.086 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
2.086 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
2.086 * [taylor]: Taking taylor expansion of 0.25 in p
2.086 * [taylor]: Taking taylor expansion of p in p
2.087 * [taylor]: Taking taylor expansion of 0 in p
2.088 * [taylor]: Taking taylor expansion of (neg (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25))))) in p
2.088 * [taylor]: Taking taylor expansion of (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25)))) in p
2.088 * [taylor]: Taking taylor expansion of 0.03125 in p
2.088 * [taylor]: Taking taylor expansion of (/ 1 (* (pow p 3) (sqrt 0.25))) in p
2.088 * [taylor]: Taking taylor expansion of (* (pow p 3) (sqrt 0.25)) in p
2.088 * [taylor]: Taking taylor expansion of (pow p 3) in p
2.088 * [taylor]: Taking taylor expansion of p in p
2.088 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
2.088 * [taylor]: Taking taylor expansion of 0.25 in p
2.089 * [approximate]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in (x p) around 0
2.089 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
2.089 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
2.089 * [taylor]: Taking taylor expansion of (/ 1 x) in p
2.089 * [taylor]: Taking taylor expansion of x in p
2.089 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
2.089 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.089 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.089 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.089 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.089 * [taylor]: Taking taylor expansion of x in p
2.089 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.089 * [taylor]: Taking taylor expansion of 4.0 in p
2.089 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.089 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.089 * [taylor]: Taking taylor expansion of p in p
2.089 * [taylor]: Taking taylor expansion of 1.0 in p
2.089 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
2.089 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
2.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.089 * [taylor]: Taking taylor expansion of x in x
2.089 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.090 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.090 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.090 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.090 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.090 * [taylor]: Taking taylor expansion of x in x
2.090 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.090 * [taylor]: Taking taylor expansion of 4.0 in x
2.090 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.090 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.090 * [taylor]: Taking taylor expansion of p in x
2.090 * [taylor]: Taking taylor expansion of 1.0 in x
2.090 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
2.090 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
2.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.090 * [taylor]: Taking taylor expansion of x in x
2.090 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.090 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.090 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.090 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.090 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.090 * [taylor]: Taking taylor expansion of x in x
2.090 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.090 * [taylor]: Taking taylor expansion of 4.0 in x
2.090 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.090 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.090 * [taylor]: Taking taylor expansion of p in x
2.090 * [taylor]: Taking taylor expansion of 1.0 in x
2.091 * [taylor]: Taking taylor expansion of 2.0 in p
2.091 * [taylor]: Taking taylor expansion of 0 in p
2.091 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
2.091 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
2.091 * [taylor]: Taking taylor expansion of 2.0 in p
2.091 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.091 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.091 * [taylor]: Taking taylor expansion of p in p
2.092 * [taylor]: Taking taylor expansion of 0 in p
2.093 * [approximate]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
2.093 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
2.093 * [taylor]: Taking taylor expansion of 1.0 in p
2.093 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
2.093 * [taylor]: Taking taylor expansion of (/ 1 x) in p
2.093 * [taylor]: Taking taylor expansion of x in p
2.093 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
2.093 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.093 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.093 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.093 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.093 * [taylor]: Taking taylor expansion of x in p
2.093 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.093 * [taylor]: Taking taylor expansion of 4.0 in p
2.093 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.093 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.093 * [taylor]: Taking taylor expansion of p in p
2.093 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
2.093 * [taylor]: Taking taylor expansion of 1.0 in x
2.093 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
2.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.093 * [taylor]: Taking taylor expansion of x in x
2.093 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.093 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.093 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.093 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.093 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.093 * [taylor]: Taking taylor expansion of x in x
2.093 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.093 * [taylor]: Taking taylor expansion of 4.0 in x
2.093 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.093 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.093 * [taylor]: Taking taylor expansion of p in x
2.094 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
2.094 * [taylor]: Taking taylor expansion of 1.0 in x
2.094 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
2.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.094 * [taylor]: Taking taylor expansion of x in x
2.094 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.094 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.094 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.094 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.094 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.094 * [taylor]: Taking taylor expansion of x in x
2.094 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.094 * [taylor]: Taking taylor expansion of 4.0 in x
2.094 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.094 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.094 * [taylor]: Taking taylor expansion of p in x
2.094 * [taylor]: Taking taylor expansion of 0 in p
2.094 * [taylor]: Taking taylor expansion of 0 in p
2.095 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
2.095 * [taylor]: Taking taylor expansion of 2.0 in p
2.095 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.095 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.095 * [taylor]: Taking taylor expansion of p in p
2.095 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
2.096 * [approximate]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
2.096 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
2.096 * [taylor]: Taking taylor expansion of x in p
2.096 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
2.096 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
2.096 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
2.096 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.096 * [taylor]: Taking taylor expansion of x in p
2.096 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
2.096 * [taylor]: Taking taylor expansion of 4.0 in p
2.096 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.096 * [taylor]: Taking taylor expansion of p in p
2.096 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
2.096 * [taylor]: Taking taylor expansion of x in x
2.096 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
2.096 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.096 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
2.096 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.096 * [taylor]: Taking taylor expansion of x in x
2.096 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
2.096 * [taylor]: Taking taylor expansion of 4.0 in x
2.096 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.096 * [taylor]: Taking taylor expansion of p in x
2.097 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
2.097 * [taylor]: Taking taylor expansion of x in x
2.097 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
2.097 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.097 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
2.097 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.097 * [taylor]: Taking taylor expansion of x in x
2.097 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
2.097 * [taylor]: Taking taylor expansion of 4.0 in x
2.097 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.097 * [taylor]: Taking taylor expansion of p in x
2.098 * [taylor]: Taking taylor expansion of 0 in p
2.098 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
2.098 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
2.098 * [taylor]: Taking taylor expansion of 0.25 in p
2.098 * [taylor]: Taking taylor expansion of p in p
2.099 * [taylor]: Taking taylor expansion of 0 in p
2.099 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in (x p) around 0
2.099 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
2.099 * [taylor]: Taking taylor expansion of (/ 1 x) in p
2.099 * [taylor]: Taking taylor expansion of x in p
2.099 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
2.099 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.099 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.099 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.099 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.099 * [taylor]: Taking taylor expansion of x in p
2.099 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.099 * [taylor]: Taking taylor expansion of 4.0 in p
2.099 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.100 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.100 * [taylor]: Taking taylor expansion of p in p
2.100 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.100 * [taylor]: Taking taylor expansion of x in x
2.100 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.100 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.100 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.100 * [taylor]: Taking taylor expansion of x in x
2.100 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.100 * [taylor]: Taking taylor expansion of 4.0 in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.100 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.100 * [taylor]: Taking taylor expansion of p in x
2.100 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.100 * [taylor]: Taking taylor expansion of x in x
2.100 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.100 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.100 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.100 * [taylor]: Taking taylor expansion of x in x
2.100 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.100 * [taylor]: Taking taylor expansion of 4.0 in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.100 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.100 * [taylor]: Taking taylor expansion of p in x
2.101 * [taylor]: Taking taylor expansion of 1 in p
2.101 * [taylor]: Taking taylor expansion of 0 in p
2.101 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
2.101 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
2.101 * [taylor]: Taking taylor expansion of 2.0 in p
2.101 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.101 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.101 * [taylor]: Taking taylor expansion of p in p
2.102 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
2.102 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
2.102 * [taylor]: Taking taylor expansion of -1 in p
2.102 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
2.102 * [taylor]: Taking taylor expansion of (/ 1 x) in p
2.102 * [taylor]: Taking taylor expansion of x in p
2.102 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
2.102 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.102 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.102 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.102 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.102 * [taylor]: Taking taylor expansion of x in p
2.102 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.102 * [taylor]: Taking taylor expansion of 4.0 in p
2.102 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.102 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.102 * [taylor]: Taking taylor expansion of p in p
2.102 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
2.102 * [taylor]: Taking taylor expansion of -1 in x
2.103 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.103 * [taylor]: Taking taylor expansion of x in x
2.103 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.103 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.103 * [taylor]: Taking taylor expansion of x in x
2.103 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.103 * [taylor]: Taking taylor expansion of 4.0 in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.103 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.103 * [taylor]: Taking taylor expansion of p in x
2.103 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
2.103 * [taylor]: Taking taylor expansion of -1 in x
2.103 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.103 * [taylor]: Taking taylor expansion of x in x
2.103 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.103 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.103 * [taylor]: Taking taylor expansion of x in x
2.103 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.103 * [taylor]: Taking taylor expansion of 4.0 in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.103 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.103 * [taylor]: Taking taylor expansion of p in x
2.103 * [taylor]: Taking taylor expansion of -1 in p
2.104 * [taylor]: Taking taylor expansion of 0 in p
2.104 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
2.104 * [taylor]: Taking taylor expansion of 2.0 in p
2.104 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.104 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.104 * [taylor]: Taking taylor expansion of p in p
2.105 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2)
2.105 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in (p x) around 0
2.105 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
2.105 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.105 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
2.105 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.105 * [taylor]: Taking taylor expansion of x in x
2.105 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
2.105 * [taylor]: Taking taylor expansion of 4.0 in x
2.105 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.105 * [taylor]: Taking taylor expansion of p in x
2.106 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
2.106 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
2.106 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
2.106 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.106 * [taylor]: Taking taylor expansion of x in p
2.106 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
2.106 * [taylor]: Taking taylor expansion of 4.0 in p
2.106 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.106 * [taylor]: Taking taylor expansion of p in p
2.106 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
2.106 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
2.106 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
2.106 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.106 * [taylor]: Taking taylor expansion of x in p
2.106 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
2.106 * [taylor]: Taking taylor expansion of 4.0 in p
2.106 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.106 * [taylor]: Taking taylor expansion of p in p
2.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.107 * [taylor]: Taking taylor expansion of x in x
2.107 * [taylor]: Taking taylor expansion of 0 in x
2.107 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 3)) in x
2.107 * [taylor]: Taking taylor expansion of -2.0 in x
2.107 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.107 * [taylor]: Taking taylor expansion of x in x
2.108 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in (p x) around 0
2.108 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.108 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.108 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.108 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.108 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.108 * [taylor]: Taking taylor expansion of x in x
2.108 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.108 * [taylor]: Taking taylor expansion of 4.0 in x
2.108 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.108 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.108 * [taylor]: Taking taylor expansion of p in x
2.108 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
2.108 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.108 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.108 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.108 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.108 * [taylor]: Taking taylor expansion of x in p
2.108 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.108 * [taylor]: Taking taylor expansion of 4.0 in p
2.108 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.108 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.108 * [taylor]: Taking taylor expansion of p in p
2.109 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
2.109 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.109 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.109 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.109 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.109 * [taylor]: Taking taylor expansion of x in p
2.109 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.109 * [taylor]: Taking taylor expansion of 4.0 in p
2.109 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.109 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.109 * [taylor]: Taking taylor expansion of p in p
2.109 * [taylor]: Taking taylor expansion of (sqrt 0.25) in x
2.109 * [taylor]: Taking taylor expansion of 0.25 in x
2.109 * [taylor]: Taking taylor expansion of 0 in x
2.110 * [taylor]: Taking taylor expansion of (/ -0.03125 (* (pow x 2) (sqrt 0.25))) in x
2.110 * [taylor]: Taking taylor expansion of -0.03125 in x
2.110 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.25)) in x
2.110 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.110 * [taylor]: Taking taylor expansion of x in x
2.110 * [taylor]: Taking taylor expansion of (sqrt 0.25) in x
2.110 * [taylor]: Taking taylor expansion of 0.25 in x
2.111 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in (p x) around 0
2.111 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
2.111 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.111 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
2.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.111 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.111 * [taylor]: Taking taylor expansion of x in x
2.111 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
2.111 * [taylor]: Taking taylor expansion of 4.0 in x
2.111 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
2.111 * [taylor]: Taking taylor expansion of (pow p 2) in x
2.111 * [taylor]: Taking taylor expansion of p in x
2.111 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
2.111 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.111 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.111 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.111 * [taylor]: Taking taylor expansion of x in p
2.111 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.111 * [taylor]: Taking taylor expansion of 4.0 in p
2.111 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.111 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.111 * [taylor]: Taking taylor expansion of p in p
2.111 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
2.111 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
2.111 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
2.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
2.111 * [taylor]: Taking taylor expansion of (pow x 2) in p
2.112 * [taylor]: Taking taylor expansion of x in p
2.112 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
2.112 * [taylor]: Taking taylor expansion of 4.0 in p
2.112 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
2.112 * [taylor]: Taking taylor expansion of (pow p 2) in p
2.112 * [taylor]: Taking taylor expansion of p in p
2.112 * [taylor]: Taking taylor expansion of (sqrt 0.25) in x
2.112 * [taylor]: Taking taylor expansion of 0.25 in x
2.112 * [taylor]: Taking taylor expansion of 0 in x
2.112 * [taylor]: Taking taylor expansion of (/ -0.03125 (* (pow x 2) (sqrt 0.25))) in x
2.113 * [taylor]: Taking taylor expansion of -0.03125 in x
2.113 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.25)) in x
2.113 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.113 * [taylor]: Taking taylor expansion of x in x
2.113 * [taylor]: Taking taylor expansion of (sqrt 0.25) in x
2.113 * [taylor]: Taking taylor expansion of 0.25 in x
2.113 * * * [progress]: simplifying candidates
2.115 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (* (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt 1)
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (pow (* 4.0 (* p p)) 3) (pow (* x x) 3)))
  (sqrt (+ (* (* 4.0 (* p p)) (* 4.0 (* p p))) (- (* (* x x) (* x x)) (* (* 4.0 (* p p)) (* x x)))))
  (sqrt (- (* (* 4.0 (* p p)) (* 4.0 (* p p))) (* (* x x) (* x x))))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  (/ 1 2)
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (exp 1.0) (exp (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (exp (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (cbrt (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (cbrt (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (+ (pow 1.0 3) (pow (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) 3))
  (+ (* 1.0 1.0) (- (* (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (* 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (- (* 1.0 1.0) (* (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (- 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (+ (log x) (neg (log (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (+ (log x) (- 0 (log (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (+ (log x) (- (log 1) (log (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (+ (log x) (log (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (exp (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (* (* x x) x) (/ (* (* 1 1) 1) (* (* (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (* (* x x) x) (* (* (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))) (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (cbrt (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (cbrt (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (* (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (sqrt (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (sqrt (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (* (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)))
  (* x (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) 1))
  (* x (/ (sqrt 1) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (/ (sqrt 1) (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (/ (sqrt 1) (sqrt 1)))
  (* x (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (/ (sqrt 1) 1))
  (* x (/ 1 (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (/ 1 (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (/ 1 (sqrt 1)))
  (* x (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (/ 1 1))
  (* x 1)
  (* x 1)
  (* x (/ 1 (sqrt (+ (pow (* 4.0 (* p p)) 3) (pow (* x x) 3)))))
  (* x (/ 1 (sqrt (- (* (* 4.0 (* p p)) (* 4.0 (* p p))) (* (* x x) (* x x))))))
  (* (cbrt x) (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (sqrt x) (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* x 1)
  (neg 1/2)
  (neg 1)
  (neg (/ 1 2))
  (neg (log (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (- 0 (log (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (- (log 1) (log (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (exp (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (* 1 1) 1) (* (* (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (* (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))) (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (neg 1)
  (neg (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt 1) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt 1) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))
  (/ (cbrt 1) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt 1) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (sqrt 1) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt 1) (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (sqrt 1) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt 1) (sqrt 1))
  (/ (sqrt 1) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ 1 (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ 1 (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 1)
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) 1)
  (/ 1 (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ 1 (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 1)
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (cbrt 1))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (sqrt 1))
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) 1)
  (/ 1 (sqrt (+ (pow (* 4.0 (* p p)) 3) (pow (* x x) 3))))
  (/ 1 (sqrt (- (* (* 4.0 (* p p)) (* 4.0 (* p p))) (* (* x x) (* x x)))))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  1.0
  2.0
  0
  0
  0
  0
  0
  0
  0
2.175 * * [simplify]: iteration  0 :  5233  enodes  (cost  1899 )
2.181 * [simplify]: Simplified to:
   (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3)
  (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  1
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6)))
  (sqrt (+ (pow x 4) (* 4.0 (- (* 4.0 (pow p 4)) (* p (* p (* x x)))))))
  (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4)))
  (sqrt (- (* 4.0 (* p p)) (* x x)))
  1/2
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (exp (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (cbrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (pow (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) 3)
  (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (sqrt (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (+ (pow 1.0 3) (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3))
  (+ (* 1.0 1.0) (* x (- (/ x (+ (* 4.0 (* p p)) (* x x))) (/ 1.0 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x)))))
  (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (log (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (exp (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)
  (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)
  (* (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (cbrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (pow (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))) 3)
  (sqrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (sqrt x) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (sqrt x) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ (sqrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* x (* (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (* (cbrt 1) (/ (cbrt 1) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (* (cbrt 1) (/ (cbrt 1) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (* (cbrt 1) (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (* (cbrt 1) (cbrt 1)))
  (* x (* (cbrt 1) (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* x (* (cbrt 1) (cbrt 1)))
  (/ x (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  x
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  x
  (/ x (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ x (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  x
  (/ x (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  x
  x
  x
  (/ x (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6))))
  (/ x (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4))))
  (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ (sqrt x) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))
  x
  -1/2
  -1
  -1/2
  (neg (log (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (neg (log (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (neg (log (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (neg (log (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (exp (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3))
  (* (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3))
  (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  -1
  (neg (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (/ (cbrt 1) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt 1) (/ (cbrt 1) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt 1) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ 1 (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ 1 (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (/ 1 (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ 1 (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  1
  (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (cbrt 1))
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (/ 1 (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6))))
  (/ 1 (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4))))
  x
  (* p (sqrt 4.0))
  (* p (neg (sqrt 4.0)))
  1.0
  2.0
  0
  0
  0
  0
  0
  0
  0
2.182 * * * [progress]: adding candidates to table
2.362 * [progress]: [Phase 3 of 3] Extracting.
2.362 * * [regime]: Finding splitpoints for: (#<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ (/ x (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (/ (cbrt x) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))) (/ (cbrt x) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (cbrt x)))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (* (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (cbrt (- (log (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x)))))) (log (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ x (* (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (log (+ 1.0 (* (* (cbrt x) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (* (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (+ (log 2.0) (* 2 (- (log (/ -1 x)) (log (/ -1 p)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (log (/ (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x))))) (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))>)
2.371 * * * [regime-changes]: Trying 2 branch expressions: (x p)
2.371 * * * * [regimes]: Trying to branch on x from (#<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ (/ x (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (/ (cbrt x) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))) (/ (cbrt x) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (cbrt x)))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (* (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (cbrt (- (log (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x)))))) (log (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ x (* (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (log (+ 1.0 (* (* (cbrt x) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (* (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (+ (log 2.0) (* 2 (- (log (/ -1 x)) (log (/ -1 p)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (log (/ (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x))))) (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))>)
2.452 * * * * [regimes]: Trying to branch on p from (#<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ (/ x (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (/ (cbrt x) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))) (/ (cbrt x) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ (* 4.0 (* p p)) (* x x))) (cbrt x)))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (* (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (cbrt (- (log (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x)))))) (log (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ x (* (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (log (+ 1.0 (* (* (cbrt x) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (/ (cbrt x) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (* (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (+ (log 2.0) (* 2 (- (log (/ -1 x)) (log (/ -1 p)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (exp (log (/ (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x))))) (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))>)
2.535 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
2.535 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt (* 0.5 (exp (* (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))
2.536 * * [simplify]: iteration  0 :  24  enodes  (cost  54 )
2.536 * * [simplify]: iteration  1 :  24  enodes  (cost  54 )
2.536 * [simplify]: Simplified to:
   (sqrt (* 0.5 (exp (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (* (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (log (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x))))))))))))
6.146 * [regime-testing]: End program error score: 13.328036667740362
6.241 * [regime-testing]: Target error score: 12.9396460387232