16.256 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.821 * * * [progress]: [2/2] Setting up program.
0.825 * [progress]: [Phase 2 of 3] Improving.
0.825 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
0.828 * * [simplify]: iteration  0 :  38  enodes  (cost  17 )
0.828 * * [simplify]: iteration  1 :  38  enodes  (cost  17 )
0.828 * [simplify]: Simplified to:
   (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
0.831 * * [progress]: iteration 1 / 4
0.831 * * * [progress]: picking best candidate
0.834 * * * * [pick]: Picked  #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))))>
0.834 * * * [progress]: localizing error
0.846 * * * [progress]: generating rewritten candidates
0.846 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2)
0.851 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.862 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.870 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1)
0.877 * * * [progress]: generating series expansions
0.877 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2)
0.877 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
0.877 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.877 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.877 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.877 * [taylor]: Taking taylor expansion of x in x
0.877 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
0.877 * [taylor]: Taking taylor expansion of 4.0 in x
0.877 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.877 * [taylor]: Taking taylor expansion of p in x
0.878 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
0.878 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.878 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.878 * [taylor]: Taking taylor expansion of x in p
0.878 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.878 * [taylor]: Taking taylor expansion of 4.0 in p
0.878 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.878 * [taylor]: Taking taylor expansion of p in p
0.878 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
0.878 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.878 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.878 * [taylor]: Taking taylor expansion of x in p
0.878 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.878 * [taylor]: Taking taylor expansion of 4.0 in p
0.878 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.878 * [taylor]: Taking taylor expansion of p in p
0.878 * [taylor]: Taking taylor expansion of x in x
0.879 * [taylor]: Taking taylor expansion of 0 in x
0.879 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.879 * [taylor]: Taking taylor expansion of 2.0 in x
0.879 * [taylor]: Taking taylor expansion of x in x
0.879 * [taylor]: Taking taylor expansion of 0 in x
0.879 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
0.879 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.879 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.879 * [taylor]: Taking taylor expansion of (/ 1 (pow x 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 (/ 1 (pow p 2))) in x
0.879 * [taylor]: Taking taylor expansion of 4.0 in x
0.879 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) 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.880 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.880 * [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 (/ 1 (pow p 2))) in p
0.880 * [taylor]: Taking taylor expansion of 4.0 in p
0.880 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) 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 (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.880 * [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 (/ 1 (pow p 2))) in p
0.880 * [taylor]: Taking taylor expansion of 4.0 in p
0.880 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) 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 (sqrt 4.0) in x
0.880 * [taylor]: Taking taylor expansion of 4.0 in x
0.880 * [taylor]: Taking taylor expansion of 0 in x
0.881 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
0.881 * [taylor]: Taking taylor expansion of 1/2 in x
0.881 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) 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 (sqrt 4.0) in x
0.881 * [taylor]: Taking taylor expansion of 4.0 in x
0.882 * [taylor]: Taking taylor expansion of 0 in x
0.882 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
0.882 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.882 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.882 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) 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 (* 4.0 (/ 1 (pow p 2))) in x
0.882 * [taylor]: Taking taylor expansion of 4.0 in x
0.882 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.882 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.882 * [taylor]: Taking taylor expansion of p in x
0.883 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.883 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.883 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.883 * [taylor]: Taking taylor expansion of x in p
0.883 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.883 * [taylor]: Taking taylor expansion of 4.0 in p
0.883 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.883 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.883 * [taylor]: Taking taylor expansion of p in p
0.883 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.883 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.883 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.883 * [taylor]: Taking taylor expansion of x in p
0.883 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.883 * [taylor]: Taking taylor expansion of 4.0 in p
0.883 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.883 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.883 * [taylor]: Taking taylor expansion of p in p
0.883 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
0.883 * [taylor]: Taking taylor expansion of 4.0 in x
0.883 * [taylor]: Taking taylor expansion of 0 in x
0.884 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
0.884 * [taylor]: Taking taylor expansion of 1/2 in x
0.884 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
0.884 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.884 * [taylor]: Taking taylor expansion of x in x
0.884 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
0.884 * [taylor]: Taking taylor expansion of 4.0 in x
0.884 * [taylor]: Taking taylor expansion of 0 in x
0.885 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.885 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
0.885 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
0.885 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
0.885 * [taylor]: Taking taylor expansion of x in p
0.885 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
0.885 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
0.885 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.885 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.885 * [taylor]: Taking taylor expansion of x in p
0.885 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.885 * [taylor]: Taking taylor expansion of 4.0 in p
0.885 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.885 * [taylor]: Taking taylor expansion of p in p
0.886 * [taylor]: Taking taylor expansion of 1.0 in p
0.886 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
0.886 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
0.886 * [taylor]: Taking taylor expansion of x in x
0.886 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
0.886 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.886 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.886 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.886 * [taylor]: Taking taylor expansion of x in x
0.886 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
0.886 * [taylor]: Taking taylor expansion of 4.0 in x
0.886 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.886 * [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.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 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.888 * [taylor]: Taking taylor expansion of 0 in p
0.889 * [taylor]: Taking taylor expansion of (neg (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25))))) in p
0.889 * [taylor]: Taking taylor expansion of (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25)))) in p
0.889 * [taylor]: Taking taylor expansion of 0.03125 in p
0.889 * [taylor]: Taking taylor expansion of (/ 1 (* (pow p 3) (sqrt 0.25))) in p
0.889 * [taylor]: Taking taylor expansion of (* (pow p 3) (sqrt 0.25)) in p
0.889 * [taylor]: Taking taylor expansion of (pow p 3) in p
0.889 * [taylor]: Taking taylor expansion of p in p
0.889 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
0.889 * [taylor]: Taking taylor expansion of 0.25 in p
0.890 * [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.890 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
0.890 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in p
0.890 * [taylor]: Taking taylor expansion of x in p
0.890 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
0.890 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.890 * [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.891 * [taylor]: Taking taylor expansion of 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))))))) 1.0) in x
0.891 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.891 * [taylor]: Taking taylor expansion of x in x
0.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.891 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.891 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.891 * [taylor]: Taking taylor expansion of x in x
0.891 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.891 * [taylor]: Taking taylor expansion of 4.0 in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.891 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.891 * [taylor]: Taking taylor expansion of p in x
0.891 * [taylor]: Taking taylor expansion of 1.0 in x
0.891 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
0.891 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.891 * [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 2.0 in p
0.892 * [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.893 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
0.893 * [taylor]: Taking taylor expansion of 2.0 in p
0.893 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.893 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.893 * [taylor]: Taking taylor expansion of p in p
0.894 * [taylor]: Taking taylor expansion of 0 in p
0.894 * [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.894 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.894 * [taylor]: Taking taylor expansion of 1.0 in p
0.894 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in p
0.894 * [taylor]: Taking taylor expansion of x in p
0.894 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
0.894 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.894 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.894 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.894 * [taylor]: Taking taylor expansion of x in p
0.894 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.894 * [taylor]: Taking taylor expansion of 4.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 (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
0.894 * [taylor]: Taking taylor expansion of 1.0 in x
0.894 * [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.895 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.895 * [taylor]: Taking taylor expansion of p in x
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.895 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.895 * [taylor]: Taking taylor expansion of p in x
0.895 * [taylor]: Taking taylor expansion of 0 in p
0.896 * [taylor]: Taking taylor expansion of 0 in p
0.896 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
0.896 * [taylor]: Taking taylor expansion of 2.0 in p
0.896 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.896 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.896 * [taylor]: Taking taylor expansion of p in p
0.897 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
0.897 * [approximate]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
0.897 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
0.897 * [taylor]: Taking taylor expansion of x in p
0.897 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
0.897 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
0.897 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
0.897 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.897 * [taylor]: Taking taylor expansion of x in p
0.897 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
0.897 * [taylor]: Taking taylor expansion of 4.0 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 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
0.897 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
0.897 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.897 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.897 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.897 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
0.897 * [taylor]: Taking taylor expansion of 4.0 in x
0.897 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.897 * [taylor]: Taking taylor expansion of p in x
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 0 in p
0.899 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
0.899 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
0.899 * [taylor]: Taking taylor expansion of 0.25 in p
0.899 * [taylor]: Taking taylor expansion of p in p
0.902 * [taylor]: Taking taylor expansion of 0 in p
0.902 * [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.902 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in p
0.902 * [taylor]: Taking taylor expansion of x in p
0.902 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
0.902 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.902 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.902 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.902 * [taylor]: Taking taylor expansion of x in p
0.902 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.902 * [taylor]: Taking taylor expansion of 4.0 in p
0.902 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.902 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.902 * [taylor]: Taking taylor expansion of p in p
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.903 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.903 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.903 * [taylor]: Taking taylor expansion of x in x
0.903 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.903 * [taylor]: Taking taylor expansion of 4.0 in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.903 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.903 * [taylor]: Taking taylor expansion of p in x
0.903 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.903 * [taylor]: Taking taylor expansion of x in x
0.903 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.903 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.903 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.903 * [taylor]: Taking taylor expansion of x in x
0.903 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
0.903 * [taylor]: Taking taylor expansion of 4.0 in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.903 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.903 * [taylor]: Taking taylor expansion of p in x
0.903 * [taylor]: Taking taylor expansion of 1 in p
0.903 * [taylor]: Taking taylor expansion of 0 in p
0.904 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
0.904 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
0.904 * [taylor]: Taking taylor expansion of 2.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.905 * [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.905 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.905 * [taylor]: Taking taylor expansion of -1 in p
0.905 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.905 * [taylor]: Taking taylor expansion of (/ 1 x) in p
0.905 * [taylor]: Taking taylor expansion of x in p
0.905 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
0.905 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
0.905 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.905 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.905 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.905 * [taylor]: Taking taylor expansion of x in p
0.905 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.905 * [taylor]: Taking taylor expansion of 4.0 in p
0.905 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.905 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.905 * [taylor]: Taking taylor expansion of p in p
0.905 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
0.905 * [taylor]: Taking taylor expansion of -1 in x
0.905 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.905 * [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.906 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
0.906 * [taylor]: Taking taylor expansion of -1 in x
0.906 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
0.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
0.906 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.906 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.906 * [taylor]: Taking taylor expansion of (/ 1 (pow x 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 (/ 1 (pow p 2))) in x
0.906 * [taylor]: Taking taylor expansion of 4.0 in x
0.906 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) 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 -1 in p
0.906 * [taylor]: Taking taylor expansion of 0 in p
0.907 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
0.907 * [taylor]: Taking taylor expansion of 2.0 in p
0.907 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) 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 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1)
0.907 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in (p x) around 0
0.907 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
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 (* 4.0 (pow p 2)) in x
0.907 * [taylor]: Taking taylor expansion of 4.0 in x
0.907 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.907 * [taylor]: Taking taylor expansion of p in x
0.907 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 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 (pow p 2)) in p
0.908 * [taylor]: Taking taylor expansion of 4.0 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 (+ (pow x 2) (* 4.0 (pow p 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 (pow p 2)) in p
0.908 * [taylor]: Taking taylor expansion of 4.0 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 (pow x 2) in x
0.908 * [taylor]: Taking taylor expansion of x in x
0.908 * [taylor]: Taking taylor expansion of 0 in x
0.908 * [taylor]: Taking taylor expansion of 4.0 in x
0.908 * [taylor]: Taking taylor expansion of 0 in x
0.908 * [taylor]: Taking taylor expansion of 0 in x
0.909 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in (p x) around 0
0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) 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 (* 4.0 (/ 1 (pow p 2))) in x
0.909 * [taylor]: Taking taylor expansion of 4.0 in x
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.909 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.909 * [taylor]: Taking taylor expansion of p in x
0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.909 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.909 * [taylor]: Taking taylor expansion of x in p
0.909 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.909 * [taylor]: Taking taylor expansion of 4.0 in p
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.909 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.909 * [taylor]: Taking taylor expansion of p in p
0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.909 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.909 * [taylor]: Taking taylor expansion of x in p
0.909 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.909 * [taylor]: Taking taylor expansion of 4.0 in p
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.909 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.909 * [taylor]: Taking taylor expansion of p in p
0.909 * [taylor]: Taking taylor expansion of 4.0 in x
0.910 * [taylor]: Taking taylor expansion of 0 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 0 in x
0.910 * [taylor]: Taking taylor expansion of 0 in x
0.911 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in (p x) around 0
0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) 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 (* 4.0 (/ 1 (pow p 2))) in x
0.911 * [taylor]: Taking taylor expansion of 4.0 in x
0.911 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
0.911 * [taylor]: Taking taylor expansion of (pow p 2) in x
0.911 * [taylor]: Taking taylor expansion of p in x
0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.911 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.911 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.911 * [taylor]: Taking taylor expansion of x in p
0.911 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.911 * [taylor]: Taking taylor expansion of 4.0 in p
0.911 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.911 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.911 * [taylor]: Taking taylor expansion of p in p
0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
0.911 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
0.911 * [taylor]: Taking taylor expansion of (pow x 2) in p
0.911 * [taylor]: Taking taylor expansion of x in p
0.912 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
0.912 * [taylor]: Taking taylor expansion of 4.0 in p
0.912 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
0.912 * [taylor]: Taking taylor expansion of (pow p 2) in p
0.912 * [taylor]: Taking taylor expansion of p in p
0.912 * [taylor]: Taking taylor expansion of 4.0 in x
0.912 * [taylor]: Taking taylor expansion of 0 in x
0.912 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.912 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of 0 in x
0.913 * [taylor]: Taking taylor expansion of 0 in x
0.913 * * * [progress]: simplifying candidates
0.914 * [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.939 * * [simplify]: iteration  0 :  4994  enodes  (cost  1385 )
0.939 * * [simplify]: iteration  1 :  4994  enodes  (cost  1385 )
0.944 * [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 (* p p)) (- (* 4.0 (* 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))
  (+ (* x (/ x (+ (* 4.0 (* p p)) (* x x)))) (* 1.0 (- 1.0 (/ x (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 (* p p)) (- (* 4.0 (* 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.944 * * * [progress]: adding candidates to table
1.097 * * [progress]: iteration 2 / 4
1.097 * * * [progress]: picking best candidate
1.139 * * * * [pick]: Picked  #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))>
1.139 * * * [progress]: localizing error
1.152 * * * [progress]: generating rewritten candidates
1.152 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 2)
1.157 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.160 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1.174 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2)
1.186 * * * [progress]: generating series expansions
1.186 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 2)
1.186 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.186 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.186 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.186 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.186 * [taylor]: Taking taylor expansion of x in x
1.186 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.186 * [taylor]: Taking taylor expansion of 4.0 in x
1.187 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.187 * [taylor]: Taking taylor expansion of p in x
1.187 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.187 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.187 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.187 * [taylor]: Taking taylor expansion of x in p
1.187 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.187 * [taylor]: Taking taylor expansion of 4.0 in p
1.187 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.187 * [taylor]: Taking taylor expansion of p in p
1.187 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.187 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.187 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.187 * [taylor]: Taking taylor expansion of x in p
1.187 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.187 * [taylor]: Taking taylor expansion of 4.0 in p
1.187 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.187 * [taylor]: Taking taylor expansion of p in p
1.188 * [taylor]: Taking taylor expansion of x in x
1.188 * [taylor]: Taking taylor expansion of 0 in x
1.188 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.188 * [taylor]: Taking taylor expansion of 2.0 in x
1.188 * [taylor]: Taking taylor expansion of x in x
1.188 * [taylor]: Taking taylor expansion of 0 in x
1.188 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.188 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.188 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.188 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.188 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.188 * [taylor]: Taking taylor expansion of x in x
1.188 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.188 * [taylor]: Taking taylor expansion of 4.0 in x
1.188 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.189 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.189 * [taylor]: Taking taylor expansion of p in x
1.189 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.189 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.189 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.189 * [taylor]: Taking taylor expansion of x in p
1.189 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.189 * [taylor]: Taking taylor expansion of 4.0 in p
1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.189 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.189 * [taylor]: Taking taylor expansion of p in p
1.189 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.189 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.189 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.189 * [taylor]: Taking taylor expansion of x in p
1.189 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.189 * [taylor]: Taking taylor expansion of 4.0 in p
1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.189 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.189 * [taylor]: Taking taylor expansion of p in p
1.189 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.189 * [taylor]: Taking taylor expansion of 4.0 in x
1.190 * [taylor]: Taking taylor expansion of 0 in x
1.190 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.190 * [taylor]: Taking taylor expansion of 1/2 in x
1.190 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.190 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.190 * [taylor]: Taking taylor expansion of x in x
1.190 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.190 * [taylor]: Taking taylor expansion of 4.0 in x
1.191 * [taylor]: Taking taylor expansion of 0 in x
1.191 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.191 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.191 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.191 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.191 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.191 * [taylor]: Taking taylor expansion of x in x
1.191 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.191 * [taylor]: Taking taylor expansion of 4.0 in x
1.191 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.191 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.191 * [taylor]: Taking taylor expansion of p in x
1.191 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.191 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.191 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.191 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.192 * [taylor]: Taking taylor expansion of x in p
1.192 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.192 * [taylor]: Taking taylor expansion of 4.0 in p
1.192 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.192 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.192 * [taylor]: Taking taylor expansion of p in p
1.192 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.192 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.192 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.192 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.192 * [taylor]: Taking taylor expansion of x in p
1.192 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.192 * [taylor]: Taking taylor expansion of 4.0 in p
1.192 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.192 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.192 * [taylor]: Taking taylor expansion of p in p
1.192 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.192 * [taylor]: Taking taylor expansion of 4.0 in x
1.192 * [taylor]: Taking taylor expansion of 0 in x
1.193 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.193 * [taylor]: Taking taylor expansion of 1/2 in x
1.193 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.193 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.193 * [taylor]: Taking taylor expansion of x in x
1.193 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.193 * [taylor]: Taking taylor expansion of 4.0 in x
1.193 * [taylor]: Taking taylor expansion of 0 in x
1.194 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.194 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
1.194 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.194 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.194 * [taylor]: Taking taylor expansion of x in p
1.194 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.194 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.194 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.194 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.194 * [taylor]: Taking taylor expansion of x in p
1.194 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.194 * [taylor]: Taking taylor expansion of 4.0 in p
1.194 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.194 * [taylor]: Taking taylor expansion of p in p
1.194 * [taylor]: Taking taylor expansion of 1.0 in p
1.194 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.194 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.194 * [taylor]: Taking taylor expansion of x in x
1.195 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.195 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.195 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.195 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.195 * [taylor]: Taking taylor expansion of x in x
1.195 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.195 * [taylor]: Taking taylor expansion of 4.0 in x
1.195 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.195 * [taylor]: Taking taylor expansion of p in x
1.195 * [taylor]: Taking taylor expansion of 1.0 in x
1.195 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.195 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.195 * [taylor]: Taking taylor expansion of x in x
1.195 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.195 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.195 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.195 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.195 * [taylor]: Taking taylor expansion of x in x
1.195 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.195 * [taylor]: Taking taylor expansion of 4.0 in x
1.195 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.195 * [taylor]: Taking taylor expansion of p in x
1.196 * [taylor]: Taking taylor expansion of 1.0 in x
1.196 * [taylor]: Taking taylor expansion of 1.0 in p
1.196 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
1.196 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.196 * [taylor]: Taking taylor expansion of 0.25 in p
1.196 * [taylor]: Taking taylor expansion of p in p
1.197 * [taylor]: Taking taylor expansion of 0 in p
1.198 * [taylor]: Taking taylor expansion of (neg (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25))))) in p
1.198 * [taylor]: Taking taylor expansion of (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25)))) in p
1.198 * [taylor]: Taking taylor expansion of 0.03125 in p
1.198 * [taylor]: Taking taylor expansion of (/ 1 (* (pow p 3) (sqrt 0.25))) in p
1.198 * [taylor]: Taking taylor expansion of (* (pow p 3) (sqrt 0.25)) in p
1.198 * [taylor]: Taking taylor expansion of (pow p 3) in p
1.198 * [taylor]: Taking taylor expansion of p in p
1.198 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.198 * [taylor]: Taking taylor expansion of 0.25 in p
1.199 * [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.199 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.199 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.199 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.199 * [taylor]: Taking taylor expansion of x in p
1.199 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.199 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.199 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.199 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.199 * [taylor]: Taking taylor expansion of x in p
1.199 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.199 * [taylor]: Taking taylor expansion of 4.0 in p
1.199 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.199 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.199 * [taylor]: Taking taylor expansion of p in p
1.199 * [taylor]: Taking taylor expansion of 1.0 in p
1.199 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.199 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.199 * [taylor]: Taking taylor expansion of x in x
1.200 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.200 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.200 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.200 * [taylor]: Taking taylor expansion of x in x
1.200 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.200 * [taylor]: Taking taylor expansion of 4.0 in x
1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.200 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.200 * [taylor]: Taking taylor expansion of p in x
1.200 * [taylor]: Taking taylor expansion of 1.0 in x
1.200 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.200 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.200 * [taylor]: Taking taylor expansion of x in x
1.200 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.200 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.200 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.200 * [taylor]: Taking taylor expansion of x in x
1.200 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.200 * [taylor]: Taking taylor expansion of 4.0 in x
1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.200 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.200 * [taylor]: Taking taylor expansion of p in x
1.201 * [taylor]: Taking taylor expansion of 1.0 in x
1.201 * [taylor]: Taking taylor expansion of 2.0 in p
1.201 * [taylor]: Taking taylor expansion of 0 in p
1.202 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
1.202 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.202 * [taylor]: Taking taylor expansion of 2.0 in p
1.202 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.202 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.202 * [taylor]: Taking taylor expansion of p in p
1.202 * [taylor]: Taking taylor expansion of 0 in p
1.203 * [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.203 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.203 * [taylor]: Taking taylor expansion of 1.0 in p
1.203 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.203 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.203 * [taylor]: Taking taylor expansion of x in p
1.203 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.203 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.203 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.203 * [taylor]: Taking taylor expansion of x in p
1.203 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.203 * [taylor]: Taking taylor expansion of 4.0 in p
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.203 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.203 * [taylor]: Taking taylor expansion of p in p
1.203 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.203 * [taylor]: Taking taylor expansion of 1.0 in x
1.204 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.204 * [taylor]: Taking taylor expansion of x in x
1.204 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.204 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.204 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.204 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.204 * [taylor]: Taking taylor expansion of x in x
1.204 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.204 * [taylor]: Taking taylor expansion of 4.0 in x
1.204 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.204 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.204 * [taylor]: Taking taylor expansion of p in x
1.204 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.204 * [taylor]: Taking taylor expansion of 1.0 in x
1.204 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.204 * [taylor]: Taking taylor expansion of x in x
1.204 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.204 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.204 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.204 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.204 * [taylor]: Taking taylor expansion of x in x
1.204 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.204 * [taylor]: Taking taylor expansion of 4.0 in x
1.204 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.204 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.204 * [taylor]: Taking taylor expansion of p in x
1.204 * [taylor]: Taking taylor expansion of 0 in p
1.205 * [taylor]: Taking taylor expansion of 0 in p
1.205 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.205 * [taylor]: Taking taylor expansion of 2.0 in p
1.205 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.205 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.205 * [taylor]: Taking taylor expansion of p in p
1.206 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1.206 * [approximate]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
1.206 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.206 * [taylor]: Taking taylor expansion of x in p
1.206 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.206 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.206 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.206 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.206 * [taylor]: Taking taylor expansion of x in p
1.206 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.206 * [taylor]: Taking taylor expansion of 4.0 in p
1.206 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.206 * [taylor]: Taking taylor expansion of p in p
1.206 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.206 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.206 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.206 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.206 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.206 * [taylor]: Taking taylor expansion of 4.0 in x
1.206 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.206 * [taylor]: Taking taylor expansion of p in x
1.207 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.207 * [taylor]: Taking taylor expansion of x in x
1.207 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.207 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.207 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.207 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.207 * [taylor]: Taking taylor expansion of x in x
1.207 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.207 * [taylor]: Taking taylor expansion of 4.0 in x
1.207 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.207 * [taylor]: Taking taylor expansion of p in x
1.208 * [taylor]: Taking taylor expansion of 0 in p
1.208 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
1.208 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.208 * [taylor]: Taking taylor expansion of 0.25 in p
1.208 * [taylor]: Taking taylor expansion of p in p
1.209 * [taylor]: Taking taylor expansion of 0 in p
1.209 * [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.209 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.209 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.209 * [taylor]: Taking taylor expansion of x in p
1.209 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.209 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.209 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.209 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.209 * [taylor]: Taking taylor expansion of x in p
1.209 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.209 * [taylor]: Taking taylor expansion of 4.0 in p
1.209 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.209 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.209 * [taylor]: Taking taylor expansion of p in p
1.209 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.209 * [taylor]: Taking taylor expansion of x in x
1.209 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.209 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.210 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.210 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.210 * [taylor]: Taking taylor expansion of x in x
1.210 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.210 * [taylor]: Taking taylor expansion of 4.0 in x
1.210 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.210 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.210 * [taylor]: Taking taylor expansion of p in x
1.210 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.210 * [taylor]: Taking taylor expansion of x in x
1.210 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.210 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.210 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.210 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.210 * [taylor]: Taking taylor expansion of x in x
1.210 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.210 * [taylor]: Taking taylor expansion of 4.0 in x
1.210 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.210 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.210 * [taylor]: Taking taylor expansion of p in x
1.210 * [taylor]: Taking taylor expansion of 1 in p
1.210 * [taylor]: Taking taylor expansion of 0 in p
1.211 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
1.211 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.211 * [taylor]: Taking taylor expansion of 2.0 in p
1.211 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.211 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.211 * [taylor]: Taking taylor expansion of p in p
1.212 * [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.212 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.212 * [taylor]: Taking taylor expansion of -1 in p
1.212 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.212 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.212 * [taylor]: Taking taylor expansion of x in p
1.212 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.212 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.212 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.212 * [taylor]: Taking taylor expansion of x in p
1.212 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.212 * [taylor]: Taking taylor expansion of 4.0 in p
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.212 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.212 * [taylor]: Taking taylor expansion of p in p
1.212 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.212 * [taylor]: Taking taylor expansion of -1 in x
1.212 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.212 * [taylor]: Taking taylor expansion of x in x
1.212 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.212 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.212 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.212 * [taylor]: Taking taylor expansion of x in x
1.212 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.212 * [taylor]: Taking taylor expansion of 4.0 in x
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.212 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.212 * [taylor]: Taking taylor expansion of p in x
1.215 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.215 * [taylor]: Taking taylor expansion of -1 in x
1.215 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.215 * [taylor]: Taking taylor expansion of x in x
1.215 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.215 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.215 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.215 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.215 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.215 * [taylor]: Taking taylor expansion of x in x
1.215 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.215 * [taylor]: Taking taylor expansion of 4.0 in x
1.215 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.215 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.215 * [taylor]: Taking taylor expansion of p in x
1.215 * [taylor]: Taking taylor expansion of -1 in p
1.215 * [taylor]: Taking taylor expansion of 0 in p
1.216 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.216 * [taylor]: Taking taylor expansion of 2.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 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2)
1.217 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in (p x) around 0
1.217 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.217 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.217 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) 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 (* 4.0 (pow p 2)) in x
1.217 * [taylor]: Taking taylor expansion of 4.0 in x
1.217 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.217 * [taylor]: Taking taylor expansion of p in x
1.217 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.217 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.217 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.217 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.217 * [taylor]: Taking taylor expansion of x in p
1.217 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.217 * [taylor]: Taking taylor expansion of 4.0 in p
1.217 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.218 * [taylor]: Taking taylor expansion of p in p
1.218 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.218 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.218 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.218 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.218 * [taylor]: Taking taylor expansion of x in p
1.218 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.218 * [taylor]: Taking taylor expansion of 4.0 in p
1.218 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.218 * [taylor]: Taking taylor expansion of p in p
1.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.218 * [taylor]: Taking taylor expansion of x in x
1.218 * [taylor]: Taking taylor expansion of 0 in x
1.219 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 3)) in x
1.219 * [taylor]: Taking taylor expansion of -2.0 in x
1.219 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.220 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in (p x) around 0
1.220 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.220 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) 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 (* 4.0 (/ 1 (pow p 2))) in x
1.220 * [taylor]: Taking taylor expansion of 4.0 in x
1.220 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.220 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.220 * [taylor]: Taking taylor expansion of p in x
1.220 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.220 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.220 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.220 * [taylor]: Taking taylor expansion of x in p
1.220 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.220 * [taylor]: Taking taylor expansion of 4.0 in p
1.220 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.220 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.220 * [taylor]: Taking taylor expansion of p in p
1.220 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.220 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.220 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.220 * [taylor]: Taking taylor expansion of x in p
1.221 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.221 * [taylor]: Taking taylor expansion of 4.0 in p
1.221 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) 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.221 * [taylor]: Taking taylor expansion of (sqrt 0.25) in x
1.221 * [taylor]: Taking taylor expansion of 0.25 in x
1.221 * [taylor]: Taking taylor expansion of 0 in x
1.221 * [taylor]: Taking taylor expansion of (/ -0.03125 (* (pow x 2) (sqrt 0.25))) in x
1.221 * [taylor]: Taking taylor expansion of -0.03125 in x
1.221 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.25)) in x
1.221 * [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 (sqrt 0.25) in x
1.222 * [taylor]: Taking taylor expansion of 0.25 in x
1.222 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in (p x) around 0
1.222 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.222 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.222 * [taylor]: Taking taylor expansion of (/ 1 (pow x 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 (/ 1 (pow p 2))) in x
1.222 * [taylor]: Taking taylor expansion of 4.0 in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) 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 (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.223 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.223 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.223 * [taylor]: Taking taylor expansion of x in p
1.223 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.223 * [taylor]: Taking taylor expansion of 4.0 in p
1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.223 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.223 * [taylor]: Taking taylor expansion of p in p
1.223 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.223 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.223 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.223 * [taylor]: Taking taylor expansion of x in p
1.223 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.223 * [taylor]: Taking taylor expansion of 4.0 in p
1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.223 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.223 * [taylor]: Taking taylor expansion of p in p
1.224 * [taylor]: Taking taylor expansion of (sqrt 0.25) in x
1.224 * [taylor]: Taking taylor expansion of 0.25 in x
1.224 * [taylor]: Taking taylor expansion of 0 in x
1.224 * [taylor]: Taking taylor expansion of (/ -0.03125 (* (pow x 2) (sqrt 0.25))) in x
1.224 * [taylor]: Taking taylor expansion of -0.03125 in x
1.224 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.25)) in x
1.224 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.224 * [taylor]: Taking taylor expansion of x in x
1.224 * [taylor]: Taking taylor expansion of (sqrt 0.25) in x
1.224 * [taylor]: Taking taylor expansion of 0.25 in x
1.225 * * * [progress]: simplifying candidates
1.227 * [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
1.281 * * [simplify]: iteration  0 :  4932  enodes  (cost  1899 )
1.281 * * [simplify]: iteration  1 :  4932  enodes  (cost  1899 )
1.287 * [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 (* p (* p (- (* 4.0 (* 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
1.288 * * * [progress]: adding candidates to table
1.458 * * [progress]: iteration 3 / 4
1.458 * * * [progress]: picking best candidate
1.498 * * * * [pick]: Picked  #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (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))))))))))>
1.498 * * * [progress]: localizing error
1.520 * * * [progress]: generating rewritten candidates
1.520 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 2 1)
1.526 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 2 2 2 1)
1.532 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2 2 1 1)
1.537 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.542 * * * [progress]: generating series expansions
1.542 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 2 1)
1.542 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.543 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.543 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.543 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.543 * [taylor]: Taking taylor expansion of x in x
1.543 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.543 * [taylor]: Taking taylor expansion of 4.0 in x
1.543 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.543 * [taylor]: Taking taylor expansion of p in x
1.543 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.543 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.543 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.543 * [taylor]: Taking taylor expansion of x in p
1.543 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.543 * [taylor]: Taking taylor expansion of 4.0 in p
1.543 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.543 * [taylor]: Taking taylor expansion of p in p
1.543 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.543 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.543 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.543 * [taylor]: Taking taylor expansion of x in p
1.543 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.543 * [taylor]: Taking taylor expansion of 4.0 in p
1.543 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.543 * [taylor]: Taking taylor expansion of p in p
1.544 * [taylor]: Taking taylor expansion of x in x
1.544 * [taylor]: Taking taylor expansion of 0 in x
1.544 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.544 * [taylor]: Taking taylor expansion of 2.0 in x
1.544 * [taylor]: Taking taylor expansion of x in x
1.544 * [taylor]: Taking taylor expansion of 0 in x
1.544 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.544 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.545 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.545 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.545 * [taylor]: Taking taylor expansion of 4.0 in x
1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.545 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.545 * [taylor]: Taking taylor expansion of p in x
1.545 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.545 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.545 * [taylor]: Taking taylor expansion of x in p
1.545 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.545 * [taylor]: Taking taylor expansion of 4.0 in p
1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.545 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.545 * [taylor]: Taking taylor expansion of p in p
1.545 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.545 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.545 * [taylor]: Taking taylor expansion of x in p
1.545 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.545 * [taylor]: Taking taylor expansion of 4.0 in p
1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.545 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.546 * [taylor]: Taking taylor expansion of p in p
1.546 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.546 * [taylor]: Taking taylor expansion of 4.0 in x
1.546 * [taylor]: Taking taylor expansion of 0 in x
1.546 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.546 * [taylor]: Taking taylor expansion of 1/2 in x
1.546 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.546 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.546 * [taylor]: Taking taylor expansion of x in x
1.546 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.546 * [taylor]: Taking taylor expansion of 4.0 in x
1.547 * [taylor]: Taking taylor expansion of 0 in x
1.547 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.547 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.548 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.548 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.548 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.548 * [taylor]: Taking taylor expansion of x in x
1.548 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.548 * [taylor]: Taking taylor expansion of 4.0 in x
1.548 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.548 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.548 * [taylor]: Taking taylor expansion of p in x
1.548 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.548 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.548 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.548 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.548 * [taylor]: Taking taylor expansion of x in p
1.548 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.548 * [taylor]: Taking taylor expansion of 4.0 in p
1.548 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.548 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.548 * [taylor]: Taking taylor expansion of p in p
1.548 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.548 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.548 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.548 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.548 * [taylor]: Taking taylor expansion of x in p
1.548 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.548 * [taylor]: Taking taylor expansion of 4.0 in p
1.548 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.548 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.548 * [taylor]: Taking taylor expansion of p in p
1.549 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.549 * [taylor]: Taking taylor expansion of 4.0 in x
1.549 * [taylor]: Taking taylor expansion of 0 in x
1.549 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.549 * [taylor]: Taking taylor expansion of 1/2 in x
1.549 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.549 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.549 * [taylor]: Taking taylor expansion of x in x
1.549 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.549 * [taylor]: Taking taylor expansion of 4.0 in x
1.550 * [taylor]: Taking taylor expansion of 0 in x
1.550 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 2 2 2 1)
1.550 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.550 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.550 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.550 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.550 * [taylor]: Taking taylor expansion of x in x
1.550 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.550 * [taylor]: Taking taylor expansion of 4.0 in x
1.550 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.550 * [taylor]: Taking taylor expansion of p in x
1.551 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.551 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.551 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.551 * [taylor]: Taking taylor expansion of x in p
1.551 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.551 * [taylor]: Taking taylor expansion of 4.0 in p
1.551 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.551 * [taylor]: Taking taylor expansion of p in p
1.551 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.551 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.551 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.551 * [taylor]: Taking taylor expansion of x in p
1.551 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.551 * [taylor]: Taking taylor expansion of 4.0 in p
1.551 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.551 * [taylor]: Taking taylor expansion of p in p
1.551 * [taylor]: Taking taylor expansion of x in x
1.551 * [taylor]: Taking taylor expansion of 0 in x
1.552 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.552 * [taylor]: Taking taylor expansion of 2.0 in x
1.552 * [taylor]: Taking taylor expansion of x in x
1.552 * [taylor]: Taking taylor expansion of 0 in x
1.552 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.552 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.552 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.552 * [taylor]: Taking taylor expansion of x in x
1.552 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.552 * [taylor]: Taking taylor expansion of 4.0 in x
1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.552 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.552 * [taylor]: Taking taylor expansion of p in x
1.552 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.552 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.552 * [taylor]: Taking taylor expansion of x in p
1.553 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.553 * [taylor]: Taking taylor expansion of 4.0 in p
1.553 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.553 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.553 * [taylor]: Taking taylor expansion of p in p
1.553 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.553 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.553 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.553 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.553 * [taylor]: Taking taylor expansion of x in p
1.553 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.553 * [taylor]: Taking taylor expansion of 4.0 in p
1.553 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.555 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.555 * [taylor]: Taking taylor expansion of p in p
1.555 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.555 * [taylor]: Taking taylor expansion of 4.0 in x
1.555 * [taylor]: Taking taylor expansion of 0 in x
1.555 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.555 * [taylor]: Taking taylor expansion of 1/2 in x
1.555 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.555 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.555 * [taylor]: Taking taylor expansion of x in x
1.555 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.555 * [taylor]: Taking taylor expansion of 4.0 in x
1.556 * [taylor]: Taking taylor expansion of 0 in x
1.556 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.556 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.556 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.556 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.556 * [taylor]: Taking taylor expansion of x in x
1.557 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.557 * [taylor]: Taking taylor expansion of 4.0 in x
1.557 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.557 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.557 * [taylor]: Taking taylor expansion of p in x
1.557 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.557 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.557 * [taylor]: Taking taylor expansion of x in p
1.557 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.557 * [taylor]: Taking taylor expansion of 4.0 in p
1.557 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.557 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.557 * [taylor]: Taking taylor expansion of p in p
1.557 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.557 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.557 * [taylor]: Taking taylor expansion of x in p
1.557 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.557 * [taylor]: Taking taylor expansion of 4.0 in p
1.557 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.557 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.557 * [taylor]: Taking taylor expansion of p in p
1.558 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.558 * [taylor]: Taking taylor expansion of 4.0 in x
1.558 * [taylor]: Taking taylor expansion of 0 in x
1.558 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.558 * [taylor]: Taking taylor expansion of 1/2 in x
1.558 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.558 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.558 * [taylor]: Taking taylor expansion of x in x
1.558 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.558 * [taylor]: Taking taylor expansion of 4.0 in x
1.559 * [taylor]: Taking taylor expansion of 0 in x
1.559 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2 2 1 1)
1.559 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.559 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.559 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.559 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.559 * [taylor]: Taking taylor expansion of 4.0 in x
1.559 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.559 * [taylor]: Taking taylor expansion of p in x
1.560 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.560 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.560 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.560 * [taylor]: Taking taylor expansion of x in p
1.560 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.560 * [taylor]: Taking taylor expansion of 4.0 in p
1.560 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.560 * [taylor]: Taking taylor expansion of p in p
1.560 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.560 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.560 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.560 * [taylor]: Taking taylor expansion of x in p
1.560 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.560 * [taylor]: Taking taylor expansion of 4.0 in p
1.560 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.560 * [taylor]: Taking taylor expansion of p in p
1.560 * [taylor]: Taking taylor expansion of x in x
1.560 * [taylor]: Taking taylor expansion of 0 in x
1.560 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.561 * [taylor]: Taking taylor expansion of 2.0 in x
1.561 * [taylor]: Taking taylor expansion of x in x
1.561 * [taylor]: Taking taylor expansion of 0 in x
1.561 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.561 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.561 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.561 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.561 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.561 * [taylor]: Taking taylor expansion of x in x
1.561 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.561 * [taylor]: Taking taylor expansion of 4.0 in x
1.561 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.561 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.561 * [taylor]: Taking taylor expansion of p in x
1.561 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.561 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.561 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.561 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.561 * [taylor]: Taking taylor expansion of x in p
1.561 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.562 * [taylor]: Taking taylor expansion of 4.0 in p
1.562 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.562 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.562 * [taylor]: Taking taylor expansion of p in p
1.562 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.562 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.562 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.562 * [taylor]: Taking taylor expansion of x in p
1.562 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.562 * [taylor]: Taking taylor expansion of 4.0 in p
1.562 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.562 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.562 * [taylor]: Taking taylor expansion of p in p
1.562 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.562 * [taylor]: Taking taylor expansion of 4.0 in x
1.562 * [taylor]: Taking taylor expansion of 0 in x
1.563 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.563 * [taylor]: Taking taylor expansion of 1/2 in x
1.563 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.563 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.563 * [taylor]: Taking taylor expansion of x in x
1.563 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.563 * [taylor]: Taking taylor expansion of 4.0 in x
1.563 * [taylor]: Taking taylor expansion of 0 in x
1.564 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.564 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.564 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.564 * [taylor]: Taking taylor expansion of x in x
1.564 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.564 * [taylor]: Taking taylor expansion of 4.0 in x
1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.564 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.564 * [taylor]: Taking taylor expansion of p in x
1.564 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.564 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.564 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.564 * [taylor]: Taking taylor expansion of x in p
1.564 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.564 * [taylor]: Taking taylor expansion of 4.0 in p
1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.564 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.564 * [taylor]: Taking taylor expansion of p in p
1.564 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.564 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.565 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.565 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.565 * [taylor]: Taking taylor expansion of x in p
1.565 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.565 * [taylor]: Taking taylor expansion of 4.0 in p
1.565 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.565 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.565 * [taylor]: Taking taylor expansion of p in p
1.565 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.565 * [taylor]: Taking taylor expansion of 4.0 in x
1.565 * [taylor]: Taking taylor expansion of 0 in x
1.565 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.565 * [taylor]: Taking taylor expansion of 1/2 in x
1.565 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.565 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.565 * [taylor]: Taking taylor expansion of x in x
1.565 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.565 * [taylor]: Taking taylor expansion of 4.0 in x
1.566 * [taylor]: Taking taylor expansion of 0 in x
1.566 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.567 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
1.567 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.567 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.567 * [taylor]: Taking taylor expansion of x in p
1.567 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.567 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.567 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.567 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.567 * [taylor]: Taking taylor expansion of x in p
1.567 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.567 * [taylor]: Taking taylor expansion of 4.0 in p
1.567 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.567 * [taylor]: Taking taylor expansion of p in p
1.567 * [taylor]: Taking taylor expansion of 1.0 in p
1.567 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.567 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.567 * [taylor]: Taking taylor expansion of x in x
1.567 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.567 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.567 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.567 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.567 * [taylor]: Taking taylor expansion of x in x
1.568 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.568 * [taylor]: Taking taylor expansion of 4.0 in x
1.568 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.568 * [taylor]: Taking taylor expansion of p in x
1.568 * [taylor]: Taking taylor expansion of 1.0 in x
1.568 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.568 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.568 * [taylor]: Taking taylor expansion of x in x
1.568 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.568 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.568 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.568 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.568 * [taylor]: Taking taylor expansion of x in x
1.568 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.568 * [taylor]: Taking taylor expansion of 4.0 in x
1.568 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.568 * [taylor]: Taking taylor expansion of p in x
1.569 * [taylor]: Taking taylor expansion of 1.0 in x
1.569 * [taylor]: Taking taylor expansion of 1.0 in p
1.569 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
1.569 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.569 * [taylor]: Taking taylor expansion of 0.25 in p
1.569 * [taylor]: Taking taylor expansion of p in p
1.570 * [taylor]: Taking taylor expansion of 0 in p
1.571 * [taylor]: Taking taylor expansion of (neg (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25))))) in p
1.571 * [taylor]: Taking taylor expansion of (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25)))) in p
1.571 * [taylor]: Taking taylor expansion of 0.03125 in p
1.571 * [taylor]: Taking taylor expansion of (/ 1 (* (pow p 3) (sqrt 0.25))) in p
1.571 * [taylor]: Taking taylor expansion of (* (pow p 3) (sqrt 0.25)) in p
1.571 * [taylor]: Taking taylor expansion of (pow p 3) in p
1.571 * [taylor]: Taking taylor expansion of p in p
1.571 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.571 * [taylor]: Taking taylor expansion of 0.25 in p
1.572 * [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.572 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.572 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.572 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.572 * [taylor]: Taking taylor expansion of x in p
1.572 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.572 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.572 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.572 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.572 * [taylor]: Taking taylor expansion of x in p
1.572 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.572 * [taylor]: Taking taylor expansion of 4.0 in p
1.572 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.572 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.572 * [taylor]: Taking taylor expansion of p in p
1.573 * [taylor]: Taking taylor expansion of 1.0 in p
1.573 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.573 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.573 * [taylor]: Taking taylor expansion of x in x
1.573 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.573 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.573 * [taylor]: Taking taylor expansion of x in x
1.573 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.573 * [taylor]: Taking taylor expansion of 4.0 in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.573 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.573 * [taylor]: Taking taylor expansion of p in x
1.573 * [taylor]: Taking taylor expansion of 1.0 in x
1.573 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.573 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.573 * [taylor]: Taking taylor expansion of x in x
1.573 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.573 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.573 * [taylor]: Taking taylor expansion of x in x
1.573 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.573 * [taylor]: Taking taylor expansion of 4.0 in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.573 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.573 * [taylor]: Taking taylor expansion of p in x
1.574 * [taylor]: Taking taylor expansion of 1.0 in x
1.574 * [taylor]: Taking taylor expansion of 2.0 in p
1.574 * [taylor]: Taking taylor expansion of 0 in p
1.574 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
1.574 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.574 * [taylor]: Taking taylor expansion of 2.0 in p
1.574 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.574 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.574 * [taylor]: Taking taylor expansion of p in p
1.575 * [taylor]: Taking taylor expansion of 0 in p
1.576 * [approximate]: Taking taylor expansion of (+ (* (/ (pow (cbrt -1) 3) x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in (x p) around 0
1.576 * [taylor]: Taking taylor expansion of (+ (* (/ (pow (cbrt -1) 3) x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.576 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 3) x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.576 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) x) in p
1.576 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in p
1.576 * [taylor]: Taking taylor expansion of (cbrt -1) in p
1.576 * [taylor]: Taking taylor expansion of -1 in p
1.576 * [taylor]: Taking taylor expansion of x in p
1.577 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.577 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.577 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.577 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.577 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.577 * [taylor]: Taking taylor expansion of x in p
1.577 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.577 * [taylor]: Taking taylor expansion of 4.0 in p
1.577 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.577 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.577 * [taylor]: Taking taylor expansion of p in p
1.577 * [taylor]: Taking taylor expansion of 1.0 in p
1.577 * [taylor]: Taking taylor expansion of (+ (* (/ (pow (cbrt -1) 3) x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.577 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 3) x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.577 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) x) in x
1.577 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
1.577 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.577 * [taylor]: Taking taylor expansion of -1 in x
1.577 * [taylor]: Taking taylor expansion of x in x
1.578 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.578 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.578 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.578 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.578 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.578 * [taylor]: Taking taylor expansion of x in x
1.578 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.578 * [taylor]: Taking taylor expansion of 4.0 in x
1.578 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.578 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.578 * [taylor]: Taking taylor expansion of p in x
1.578 * [taylor]: Taking taylor expansion of 1.0 in x
1.578 * [taylor]: Taking taylor expansion of (+ (* (/ (pow (cbrt -1) 3) x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.578 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 3) x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.578 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) x) in x
1.578 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
1.578 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.578 * [taylor]: Taking taylor expansion of -1 in x
1.578 * [taylor]: Taking taylor expansion of x in x
1.579 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.579 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.579 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.579 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.579 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.579 * [taylor]: Taking taylor expansion of 4.0 in x
1.579 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.579 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.579 * [taylor]: Taking taylor expansion of p in x
1.579 * [taylor]: Taking taylor expansion of 1.0 in x
1.579 * [taylor]: Taking taylor expansion of 0 in p
1.579 * [taylor]: Taking taylor expansion of 0 in p
1.580 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.580 * [taylor]: Taking taylor expansion of 2.0 in p
1.580 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.580 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.580 * [taylor]: Taking taylor expansion of p in p
1.581 * * * [progress]: simplifying candidates
1.582 * [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))))
  (* (exp 1.0) (exp (* (* (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))))))))
  (log (+ 1.0 (* (* (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))))))))
  (exp (+ 1.0 (* (* (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 (+ 1.0 (* (* (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 (+ 1.0 (* (* (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 (+ 1.0 (* (* (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))))))))
  (* (* (+ 1.0 (* (* (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))))))) (+ 1.0 (* (* (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)))))))) (+ 1.0 (* (* (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))))))))
  (sqrt (+ 1.0 (* (* (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))))))))
  (sqrt (+ 1.0 (* (* (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))))))))
  (+ (pow 1.0 3) (pow (* (* (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)))))) 3))
  (+ (* 1.0 1.0) (- (* (* (* (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) (* (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))))))) (* 1.0 (* (* (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)))))))))
  (- (* 1.0 1.0) (* (* (* (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) (* (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))))))))
  (- 1.0 (* (* (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)))))))
  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)))
  1.0
  2.0
  0
1.606 * * [simplify]: iteration  0 :  5159  enodes  (cost  810 )
1.609 * [simplify]: Simplified to:
   (log (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (exp (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (cbrt (+ (* 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 (* p p)) (- (* 4.0 (* 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 (+ (* 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 (* p p)) (- (* 4.0 (* 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 (+ (* 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 (* p p)) (- (* 4.0 (* 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))
  (+ (* x (/ x (+ (* 4.0 (* p p)) (* x x)))) (* 1.0 (- 1.0 (/ x (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
  (* 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)))
  1.0
  2.0
  0
1.610 * * * [progress]: adding candidates to table
1.776 * * [progress]: iteration 4 / 4
1.776 * * * [progress]: picking best candidate
1.811 * * * * [pick]: Picked  #<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))))))))))>
1.811 * * * [progress]: localizing error
1.826 * * * [progress]: generating rewritten candidates
1.826 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1 2)
1.832 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 2 1 2)
1.837 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.840 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
1.868 * * * [progress]: generating series expansions
1.868 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1 2)
1.868 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.869 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.869 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.869 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.869 * [taylor]: Taking taylor expansion of x in x
1.869 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.869 * [taylor]: Taking taylor expansion of 4.0 in x
1.869 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.869 * [taylor]: Taking taylor expansion of p in x
1.869 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.869 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.869 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.869 * [taylor]: Taking taylor expansion of x in p
1.869 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.869 * [taylor]: Taking taylor expansion of 4.0 in p
1.869 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.869 * [taylor]: Taking taylor expansion of p in p
1.869 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.869 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.869 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.869 * [taylor]: Taking taylor expansion of x in p
1.869 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.869 * [taylor]: Taking taylor expansion of 4.0 in p
1.869 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.869 * [taylor]: Taking taylor expansion of p in p
1.870 * [taylor]: Taking taylor expansion of x in x
1.870 * [taylor]: Taking taylor expansion of 0 in x
1.872 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.872 * [taylor]: Taking taylor expansion of 2.0 in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.872 * [taylor]: Taking taylor expansion of 0 in x
1.872 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.872 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.872 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.872 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.872 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.872 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.872 * [taylor]: Taking taylor expansion of 4.0 in x
1.872 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.872 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.872 * [taylor]: Taking taylor expansion of p in x
1.873 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.873 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.873 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.873 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.873 * [taylor]: Taking taylor expansion of x in p
1.873 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.873 * [taylor]: Taking taylor expansion of 4.0 in p
1.873 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.873 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.873 * [taylor]: Taking taylor expansion of p in p
1.873 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.873 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.873 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.873 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.873 * [taylor]: Taking taylor expansion of x in p
1.873 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.873 * [taylor]: Taking taylor expansion of 4.0 in p
1.873 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.873 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.873 * [taylor]: Taking taylor expansion of p in p
1.873 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.873 * [taylor]: Taking taylor expansion of 4.0 in x
1.873 * [taylor]: Taking taylor expansion of 0 in x
1.874 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.874 * [taylor]: Taking taylor expansion of 1/2 in x
1.874 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.874 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.874 * [taylor]: Taking taylor expansion of x in x
1.874 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.874 * [taylor]: Taking taylor expansion of 4.0 in x
1.874 * [taylor]: Taking taylor expansion of 0 in x
1.875 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.875 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.875 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.875 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.875 * [taylor]: Taking taylor expansion of x in x
1.875 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.875 * [taylor]: Taking taylor expansion of 4.0 in x
1.875 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.875 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.875 * [taylor]: Taking taylor expansion of p in x
1.875 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.875 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.875 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.875 * [taylor]: Taking taylor expansion of x in p
1.875 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.876 * [taylor]: Taking taylor expansion of 4.0 in p
1.876 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.876 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.876 * [taylor]: Taking taylor expansion of p in p
1.876 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.876 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.876 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.876 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.876 * [taylor]: Taking taylor expansion of x in p
1.876 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.876 * [taylor]: Taking taylor expansion of 4.0 in p
1.876 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.876 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.876 * [taylor]: Taking taylor expansion of p in p
1.876 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.876 * [taylor]: Taking taylor expansion of 4.0 in x
1.876 * [taylor]: Taking taylor expansion of 0 in x
1.877 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.877 * [taylor]: Taking taylor expansion of 1/2 in x
1.877 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.877 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.877 * [taylor]: Taking taylor expansion of x in x
1.877 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.877 * [taylor]: Taking taylor expansion of 4.0 in x
1.877 * [taylor]: Taking taylor expansion of 0 in x
1.878 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 2 1 2)
1.878 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.878 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.878 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.878 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.878 * [taylor]: Taking taylor expansion of x in x
1.878 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.878 * [taylor]: Taking taylor expansion of 4.0 in x
1.878 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.878 * [taylor]: Taking taylor expansion of p in x
1.878 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.878 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.878 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.878 * [taylor]: Taking taylor expansion of x in p
1.878 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.878 * [taylor]: Taking taylor expansion of 4.0 in p
1.878 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.878 * [taylor]: Taking taylor expansion of p in p
1.879 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.879 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.879 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.879 * [taylor]: Taking taylor expansion of x in p
1.879 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.879 * [taylor]: Taking taylor expansion of 4.0 in p
1.879 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.879 * [taylor]: Taking taylor expansion of p in p
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [taylor]: Taking taylor expansion of 0 in x
1.879 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.879 * [taylor]: Taking taylor expansion of 2.0 in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [taylor]: Taking taylor expansion of 0 in x
1.880 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.880 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.880 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.880 * [taylor]: Taking taylor expansion of x in x
1.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.880 * [taylor]: Taking taylor expansion of 4.0 in x
1.880 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.880 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.880 * [taylor]: Taking taylor expansion of p in x
1.880 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.880 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.880 * [taylor]: Taking taylor expansion of x in p
1.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.880 * [taylor]: Taking taylor expansion of 4.0 in p
1.880 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.880 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.880 * [taylor]: Taking taylor expansion of p in p
1.880 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.880 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.880 * [taylor]: Taking taylor expansion of x in p
1.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.880 * [taylor]: Taking taylor expansion of 4.0 in p
1.880 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.880 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.881 * [taylor]: Taking taylor expansion of p in p
1.881 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.881 * [taylor]: Taking taylor expansion of 4.0 in x
1.881 * [taylor]: Taking taylor expansion of 0 in x
1.881 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.881 * [taylor]: Taking taylor expansion of 1/2 in x
1.881 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.881 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.881 * [taylor]: Taking taylor expansion of x in x
1.881 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.881 * [taylor]: Taking taylor expansion of 4.0 in x
1.882 * [taylor]: Taking taylor expansion of 0 in x
1.882 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.882 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.882 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.882 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.882 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.882 * [taylor]: Taking taylor expansion of x in x
1.882 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.882 * [taylor]: Taking taylor expansion of 4.0 in x
1.882 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.882 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.882 * [taylor]: Taking taylor expansion of p in x
1.883 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.883 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.883 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.883 * [taylor]: Taking taylor expansion of x in p
1.883 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.883 * [taylor]: Taking taylor expansion of 4.0 in p
1.883 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.883 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.883 * [taylor]: Taking taylor expansion of p in p
1.883 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.883 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.883 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.883 * [taylor]: Taking taylor expansion of x in p
1.883 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.883 * [taylor]: Taking taylor expansion of 4.0 in p
1.883 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.883 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.883 * [taylor]: Taking taylor expansion of p in p
1.883 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.883 * [taylor]: Taking taylor expansion of 4.0 in x
1.883 * [taylor]: Taking taylor expansion of 0 in x
1.884 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow x 2) (sqrt 4.0))) in x
1.884 * [taylor]: Taking taylor expansion of 1/2 in x
1.884 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 4.0)) in x
1.884 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.884 * [taylor]: Taking taylor expansion of x in x
1.884 * [taylor]: Taking taylor expansion of (sqrt 4.0) in x
1.884 * [taylor]: Taking taylor expansion of 4.0 in x
1.884 * [taylor]: Taking taylor expansion of 0 in x
1.885 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.885 * [approximate]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
1.885 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.885 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.885 * [taylor]: Taking taylor expansion of x in p
1.885 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.885 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.885 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.885 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.885 * [taylor]: Taking taylor expansion of x in p
1.885 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.885 * [taylor]: Taking taylor expansion of 4.0 in p
1.885 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.885 * [taylor]: Taking taylor expansion of p in p
1.886 * [taylor]: Taking taylor expansion of 1.0 in p
1.886 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.886 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.886 * [taylor]: Taking taylor expansion of x in x
1.886 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.886 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.886 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.886 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.886 * [taylor]: Taking taylor expansion of x in x
1.886 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.886 * [taylor]: Taking taylor expansion of 4.0 in x
1.886 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.886 * [taylor]: Taking taylor expansion of p in x
1.886 * [taylor]: Taking taylor expansion of 1.0 in x
1.886 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in x
1.886 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.887 * [taylor]: Taking taylor expansion of x in x
1.887 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.887 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.887 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.887 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.887 * [taylor]: Taking taylor expansion of x in x
1.887 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.887 * [taylor]: Taking taylor expansion of 4.0 in x
1.887 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.887 * [taylor]: Taking taylor expansion of p in x
1.887 * [taylor]: Taking taylor expansion of 1.0 in x
1.887 * [taylor]: Taking taylor expansion of 1.0 in p
1.887 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
1.887 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.887 * [taylor]: Taking taylor expansion of 0.25 in p
1.887 * [taylor]: Taking taylor expansion of p in p
1.888 * [taylor]: Taking taylor expansion of 0 in p
1.889 * [taylor]: Taking taylor expansion of (neg (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25))))) in p
1.889 * [taylor]: Taking taylor expansion of (* 0.03125 (/ 1 (* (pow p 3) (sqrt 0.25)))) in p
1.889 * [taylor]: Taking taylor expansion of 0.03125 in p
1.889 * [taylor]: Taking taylor expansion of (/ 1 (* (pow p 3) (sqrt 0.25))) in p
1.889 * [taylor]: Taking taylor expansion of (* (pow p 3) (sqrt 0.25)) in p
1.889 * [taylor]: Taking taylor expansion of (pow p 3) in p
1.889 * [taylor]: Taking taylor expansion of p in p
1.889 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.889 * [taylor]: Taking taylor expansion of 0.25 in p
1.890 * [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.890 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.890 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.890 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.890 * [taylor]: Taking taylor expansion of x in p
1.890 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.890 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.890 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.890 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.890 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.890 * [taylor]: Taking taylor expansion of x in p
1.891 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.891 * [taylor]: Taking taylor expansion of 4.0 in p
1.891 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.891 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.891 * [taylor]: Taking taylor expansion of p in p
1.891 * [taylor]: Taking taylor expansion of 1.0 in p
1.891 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.891 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.891 * [taylor]: Taking taylor expansion of x in x
1.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.891 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.891 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.891 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.891 * [taylor]: Taking taylor expansion of x in x
1.891 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.891 * [taylor]: Taking taylor expansion of 4.0 in x
1.891 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.891 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.891 * [taylor]: Taking taylor expansion of p in x
1.891 * [taylor]: Taking taylor expansion of 1.0 in x
1.891 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in x
1.891 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.891 * [taylor]: Taking taylor expansion of x in x
1.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.892 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.892 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.892 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.892 * [taylor]: Taking taylor expansion of x in x
1.892 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.892 * [taylor]: Taking taylor expansion of 4.0 in x
1.892 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.892 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.892 * [taylor]: Taking taylor expansion of p in x
1.892 * [taylor]: Taking taylor expansion of 1.0 in x
1.892 * [taylor]: Taking taylor expansion of 2.0 in p
1.892 * [taylor]: Taking taylor expansion of 0 in p
1.893 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
1.893 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.893 * [taylor]: Taking taylor expansion of 2.0 in p
1.893 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.893 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.893 * [taylor]: Taking taylor expansion of p in p
1.894 * [taylor]: Taking taylor expansion of 0 in p
1.894 * [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.894 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.894 * [taylor]: Taking taylor expansion of 1.0 in p
1.894 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.894 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.894 * [taylor]: Taking taylor expansion of x in p
1.894 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.894 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.894 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.894 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.894 * [taylor]: Taking taylor expansion of x in p
1.894 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.894 * [taylor]: Taking taylor expansion of 4.0 in p
1.894 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.894 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.894 * [taylor]: Taking taylor expansion of p in p
1.895 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.895 * [taylor]: Taking taylor expansion of 1.0 in x
1.895 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.895 * [taylor]: Taking taylor expansion of x in x
1.895 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.895 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.895 * [taylor]: Taking taylor expansion of x in x
1.895 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.895 * [taylor]: Taking taylor expansion of 4.0 in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.895 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.895 * [taylor]: Taking taylor expansion of p in x
1.895 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.895 * [taylor]: Taking taylor expansion of 1.0 in x
1.895 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.895 * [taylor]: Taking taylor expansion of x in x
1.895 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.895 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.895 * [taylor]: Taking taylor expansion of x in x
1.895 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.895 * [taylor]: Taking taylor expansion of 4.0 in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.895 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.895 * [taylor]: Taking taylor expansion of p in x
1.896 * [taylor]: Taking taylor expansion of 0 in p
1.896 * [taylor]: Taking taylor expansion of 0 in p
1.896 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.896 * [taylor]: Taking taylor expansion of 2.0 in p
1.896 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.896 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.897 * [taylor]: Taking taylor expansion of p in p
1.897 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
1.897 * [approximate]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
1.897 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.897 * [taylor]: Taking taylor expansion of x in p
1.897 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in p
1.897 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in p
1.897 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in p
1.897 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.897 * [taylor]: Taking taylor expansion of x in p
1.897 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in p
1.897 * [taylor]: Taking taylor expansion of 4.0 in p
1.897 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.897 * [taylor]: Taking taylor expansion of p in p
1.898 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.898 * [taylor]: Taking taylor expansion of x in x
1.898 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.898 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.898 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.898 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.898 * [taylor]: Taking taylor expansion of x in x
1.898 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.898 * [taylor]: Taking taylor expansion of 4.0 in x
1.898 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.898 * [taylor]: Taking taylor expansion of p in x
1.898 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in x
1.898 * [taylor]: Taking taylor expansion of x in x
1.898 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2))))) in x
1.898 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.898 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
1.898 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.898 * [taylor]: Taking taylor expansion of x in x
1.898 * [taylor]: Taking taylor expansion of (* 4.0 (pow p 2)) in x
1.898 * [taylor]: Taking taylor expansion of 4.0 in x
1.898 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.898 * [taylor]: Taking taylor expansion of p in x
1.899 * [taylor]: Taking taylor expansion of 0 in p
1.899 * [taylor]: Taking taylor expansion of (/ (sqrt 0.25) p) in p
1.899 * [taylor]: Taking taylor expansion of (sqrt 0.25) in p
1.899 * [taylor]: Taking taylor expansion of 0.25 in p
1.899 * [taylor]: Taking taylor expansion of p in p
1.900 * [taylor]: Taking taylor expansion of 0 in p
1.900 * [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.900 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.900 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.900 * [taylor]: Taking taylor expansion of x in p
1.900 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.900 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.900 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.900 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.900 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.900 * [taylor]: Taking taylor expansion of x in p
1.901 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.901 * [taylor]: Taking taylor expansion of 4.0 in p
1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.901 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.901 * [taylor]: Taking taylor expansion of p in p
1.901 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.901 * [taylor]: Taking taylor expansion of x in x
1.901 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.901 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.901 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.901 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.901 * [taylor]: Taking taylor expansion of x in x
1.901 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.901 * [taylor]: Taking taylor expansion of 4.0 in x
1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.901 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.901 * [taylor]: Taking taylor expansion of p in x
1.901 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.901 * [taylor]: Taking taylor expansion of x in x
1.901 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.901 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.901 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.901 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.901 * [taylor]: Taking taylor expansion of x in x
1.901 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.901 * [taylor]: Taking taylor expansion of 4.0 in x
1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.901 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.901 * [taylor]: Taking taylor expansion of p in x
1.902 * [taylor]: Taking taylor expansion of 1 in p
1.902 * [taylor]: Taking taylor expansion of 0 in p
1.902 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow p 2)))) in p
1.902 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.902 * [taylor]: Taking taylor expansion of 2.0 in p
1.902 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.902 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.902 * [taylor]: Taking taylor expansion of p in p
1.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
1.903 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.903 * [taylor]: Taking taylor expansion of -1 in p
1.903 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.903 * [taylor]: Taking taylor expansion of (/ 1 x) in p
1.903 * [taylor]: Taking taylor expansion of x in p
1.903 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in p
1.903 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in p
1.903 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in p
1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in p
1.903 * [taylor]: Taking taylor expansion of (pow x 2) in p
1.903 * [taylor]: Taking taylor expansion of x in p
1.903 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in p
1.903 * [taylor]: Taking taylor expansion of 4.0 in p
1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.903 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.903 * [taylor]: Taking taylor expansion of p in p
1.904 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.904 * [taylor]: Taking taylor expansion of -1 in x
1.904 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.904 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.904 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.904 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.904 * [taylor]: Taking taylor expansion of 4.0 in x
1.904 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.904 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.904 * [taylor]: Taking taylor expansion of p in x
1.904 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in x
1.904 * [taylor]: Taking taylor expansion of -1 in x
1.904 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in x
1.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))) in x
1.904 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
1.904 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.904 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow p 2))) in x
1.904 * [taylor]: Taking taylor expansion of 4.0 in x
1.904 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in x
1.904 * [taylor]: Taking taylor expansion of (pow p 2) in x
1.904 * [taylor]: Taking taylor expansion of p in x
1.905 * [taylor]: Taking taylor expansion of -1 in p
1.905 * [taylor]: Taking taylor expansion of 0 in p
1.905 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow p 2))) in p
1.905 * [taylor]: Taking taylor expansion of 2.0 in p
1.905 * [taylor]: Taking taylor expansion of (/ 1 (pow p 2)) in p
1.905 * [taylor]: Taking taylor expansion of (pow p 2) in p
1.905 * [taylor]: Taking taylor expansion of p in p
1.906 * * * [progress]: simplifying candidates
1.907 * [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))))
  (* (exp 1.0) (exp (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (log (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (exp (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* (cbrt (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (cbrt (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))
  (cbrt (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* (* (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))) (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (sqrt (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (sqrt (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (+ (pow 1.0 3) (pow (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) 3))
  (+ (* 1.0 1.0) (- (* (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (* 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))
  (- (* 1.0 1.0) (* (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (- 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (+ (+ (log x) (log (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (log (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (+ (log (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (log (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (log (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (exp (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* (* (* x x) x) (* (* (sqrt (/ 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))))))) (* (* (sqrt (/ 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)))))))
  (* (* (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (* x (sqrt (/ 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)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (cbrt (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (cbrt (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (cbrt (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))) (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (sqrt (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt 1)) (sqrt 1))
  (* (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (* (cbrt (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (* (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)))))) (sqrt (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) 1)))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (sqrt 1) (* (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (sqrt 1) (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (sqrt 1) (sqrt 1))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (sqrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ (sqrt 1) 1)))
  (* (* x (sqrt (/ 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))))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (* (cbrt (+ (* 4.0 (* p p)) (* x x))) (cbrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt 1))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 1)))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt 1))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt 1))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (+ (pow (* 4.0 (* p p)) 3) (pow (* x x) 3))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (/ 1 (sqrt (- (* (* 4.0 (* p p)) (* 4.0 (* p p))) (* (* x x) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) 1)
  (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt 1))
  (* (* x (sqrt 1)) (sqrt (/ 1 (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)))
  1.0
  2.0
  0
  0
  0
  0
1.945 * * [simplify]: iteration  0 :  4966  enodes  (cost  1616 )
1.946 * * [simplify]: iteration  1 :  4966  enodes  (cost  1616 )
1.951 * [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 (* (* p p) (- (* 4.0 (* 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 (* (* p p) (- (* 4.0 (* 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))
  (+ (/ x (/ (+ (* 4.0 (* p p)) (* x x)) x)) (* 1.0 (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))
  (- (* 1.0 1.0) (/ x (/ (+ (* 4.0 (* p p)) (* x x)) x)))
  (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))
  (/ 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)))))
  (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)))))
  x
  (sqrt (+ (* 4.0 (* p p)) (* x x)))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (* (cbrt (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (cbrt (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (fabs (cbrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (fabs (/ (cbrt 1) (cbrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (* (cbrt 1) (/ (cbrt 1) (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (* (cbrt 1) (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (fabs (cbrt 1))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (* (cbrt 1) (/ (cbrt 1) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (fabs (cbrt 1))))
  (* x (* (sqrt (/ 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)))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (/ 1 (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (* (sqrt (/ 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)))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (/ 1 (fabs (cbrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (/ 1 (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (/ 1 (sqrt (+ (* (pow 4.0 3) (pow p 6)) (pow x 6)))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (/ 1 (sqrt (- (* 4.0 (* 4.0 (pow p 4))) (pow x 4)))))))
  (* x (* (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))) (sqrt (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))
  (* x (sqrt (/ 1 (sqrt (+ (* 4.0 (* p p)) (* x x))))))
  (* x (sqrt (/ 1 (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)))
  1.0
  2.0
  0
  0
  0
  0
1.951 * * * [progress]: adding candidates to table
2.140 * [progress]: [Phase 3 of 3] Extracting.
2.141 * * [regime]: Finding splitpoints for: (#<alt (λ (p x) (sqrt (* 0.5 (/ (- (* 1.0 1.0) (/ x (/ (+ (* 4.0 (* p p)) (* x x)) x))) (- 1.0 (/ x (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 (+ 1.0 (* x (/ 1 (* (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (/ (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x))))) (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* 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))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ x (cbrt (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3)))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (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))))))))))> #<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 (+ 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 (* (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))))))))>)
2.145 * * * [regime-changes]: Trying 2 branch expressions: (x p)
2.145 * * * * [regimes]: Trying to branch on x from (#<alt (λ (p x) (sqrt (* 0.5 (/ (- (* 1.0 1.0) (/ x (/ (+ (* 4.0 (* p p)) (* x x)) x))) (- 1.0 (/ x (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 (+ 1.0 (* x (/ 1 (* (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (/ (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x))))) (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* 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))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ x (cbrt (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3)))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (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))))))))))> #<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 (+ 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 (* (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))))))))>)
2.212 * * * * [regimes]: Trying to branch on p from (#<alt (λ (p x) (sqrt (* 0.5 (/ (- (* 1.0 1.0) (/ x (/ (+ (* 4.0 (* p p)) (* x x)) x))) (- 1.0 (/ x (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 (+ 1.0 (* x (/ 1 (* (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (/ (- (* 1.0 1.0) (* x (/ x (+ (* 4.0 (* p p)) (* x x))))) (- 1.0 (/ x (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt (+ (* 4.0 (* p p)) (* x x)))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* 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))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ x (cbrt (pow (sqrt (+ (* 4.0 (* p p)) (* x x))) 3)))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* (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))))))))))> #<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 (+ 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 (* (fabs (cbrt (+ (* 4.0 (* p p)) (* x x)))) (sqrt (cbrt (+ (* 4.0 (* p p)) (* x x))))))))))>)
2.278 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
2.279 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt (* 0.5 (+ 1.0 (* (* (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)))))))))
2.280 * * [simplify]: iteration  0 :  26  enodes  (cost  49 )
2.280 * * [simplify]: iteration  1 :  26  enodes  (cost  49 )
2.280 * [simplify]: Simplified to:
   (sqrt (* 0.5 (+ 1.0 (* (* (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)))))))))
4.704 * [regime-testing]: End program error score: 13.211687434782052
4.796 * [regime-testing]: Target error score: 12.643169207896738