12.572 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
0.050 * * [simplify]: iteration  0 :  27  enodes  (cost  9 )
0.051 * * [simplify]: iteration  1 :  34  enodes  (cost  9 )
0.052 * * [simplify]: iteration  2 :  38  enodes  (cost  9 )
0.054 * * [simplify]: iteration  3 :  40  enodes  (cost  9 )
0.055 * * [simplify]: iteration  4 :  41  enodes  (cost  9 )
0.056 * * [simplify]: iteration  5 :  41  enodes  (cost  9 )
0.056 * [simplify]: Simplified to:
  (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
0.056 * * [progress]: iteration 1 / 4
0.056 * * * [progress]: picking best candidate
0.060 * * * * [pick]: Picked  #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))))))>
0.060 * * * [progress]: localizing error
0.072 * * * [progress]: generating rewritten candidates
0.072 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2)
0.077 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
0.088 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1)
0.094 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.108 * * * [progress]: generating series expansions
0.108 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2)
0.108 * [approximate]: Approximating (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
0.111 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.111 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.114 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.117 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
0.118 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
0.130 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.131 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.135 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.143 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.147 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
0.159 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.160 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.164 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.176 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
0.181 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
0.181 * [approximate]: Approximating (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
0.185 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
0.186 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
0.193 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
0.195 * [approximate]: Approximating (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in (x p) around 0
0.209 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.210 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.214 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
0.219 * [approximate]: Approximating (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
0.234 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.236 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.241 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.249 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1)
0.249 * [approximate]: Approximating (+ (pow x 2) (* 4.0 (pow p 2))) in (p x) around 0
0.249 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.250 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.251 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.254 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.257 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow p 2))) in x
0.257 * [approximate]: Approximating (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in (p x) around 0
0.260 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.273 * [approximate]: Approximating (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in (p x) around 0
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))) in x
0.289 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.289 * [approximate]: Approximating (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
0.294 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
0.295 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
0.302 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
0.310 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
0.324 * [approximate]: Approximating (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in (x p) around 0
0.341 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
0.343 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
0.347 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
0.356 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
0.357 * [approximate]: Approximating (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
0.372 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.373 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.378 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
0.381 * * * [progress]: simplifying candidates
0.383 * [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 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))
  (* (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)))))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.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)))
  1.0
  2.0
  0
0.388 * * [simplify]: iteration  0 :  278  enodes  (cost  822 )
0.393 * * [simplify]: iteration  1 :  1014  enodes  (cost  772 )
0.413 * * [simplify]: iteration  2 :  4232  enodes  (cost  757 )
0.524 * * [simplify]: iteration  3 :  5001  enodes  (cost  757 )
0.529 * [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 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 (/ 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) (/ (fabs (cbrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt 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)))) 1))
  (/ 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 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) (* 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 p) p) 3) (pow (* x x) 3))
  (+ (* (* (* 4.0 p) p) (- (* (* 4.0 p) p) (* x x))) (pow x 4))
  (+ (* (neg (pow x 3)) x) (* p (* 4.0 (* (pow p 3) 4.0))))
  (- (* (* 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 (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (/ (pow x 2) (+ (* (* 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)))))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  0
  0
  0
  (+ (* (* 4.0 p) p) (* x x))
  (+ (* (* 4.0 p) p) (* x x))
  (+ (* (* 4.0 p) p) (* x x))
  1.0
  2.0
  0
0.529 * * * [progress]: adding candidates to table
1.167 * * [progress]: iteration 2 / 4
1.167 * * * [progress]: picking best candidate
1.225 * * * * [pick]: Picked  #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))>
1.225 * * * [progress]: localizing error
1.238 * * * [progress]: generating rewritten candidates
1.238 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 2)
1.243 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.245 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1.260 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.266 * * * [progress]: generating series expansions
1.266 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 2)
1.267 * [approximate]: Approximating (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
1.270 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.270 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.272 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.275 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
1.276 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.291 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.292 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.296 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.304 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.308 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
1.320 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.321 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.325 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.333 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
1.337 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.337 * [approximate]: Approximating (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
1.342 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.343 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.350 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.357 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
1.375 * [approximate]: Approximating (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in (x p) around 0
1.389 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.391 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.395 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.404 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
1.405 * [approximate]: Approximating (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
1.420 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.422 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.426 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.430 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1.430 * [approximate]: Approximating (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
1.434 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.434 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.444 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
1.446 * [approximate]: Approximating (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in (x p) around 0
1.460 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.461 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.465 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
1.471 * [approximate]: Approximating (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
1.485 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.487 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.492 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
1.497 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.497 * [approximate]: Approximating (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in (x p) around 0
1.512 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in p
1.520 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in p
1.544 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in p
1.599 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in p
1.677 * [approximate]: Approximating (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in (x p) around 0
1.703 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in p
1.707 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in p
1.716 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in p
1.744 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in p
1.746 * [approximate]: Approximating (* (sqrt (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) (sqrt 0.5)) in (x p) around 0
1.792 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) (sqrt 0.5)) in p
1.799 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) (sqrt 0.5)) in p
1.813 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) (sqrt 0.5)) in p
1.837 * * * [progress]: simplifying candidates
1.838 * [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)
  (log (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (* (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))) (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))
  (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (* (* (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))) (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (sqrt 0.5)
  (sqrt (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
  (sqrt (* 0.5 (+ (pow 1.0 3) (pow (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) 3))))
  (sqrt (+ (* 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)))))))))
  (sqrt (* 0.5 (- (* 1.0 1.0) (* (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (sqrt (- 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (sqrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  1.0
  2.0
  0
  0
  0
  0
  (* (sqrt 1.0) (sqrt 0.5))
  (* (sqrt 2.0) (sqrt 0.5))
  0
1.844 * * [simplify]: iteration  0 :  390  enodes  (cost  900 )
1.852 * * [simplify]: iteration  1 :  1684  enodes  (cost  818 )
1.879 * * [simplify]: iteration  2 :  5001  enodes  (cost  784 )
1.883 * [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 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 (* 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)))))))
  (pow (+ (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) 1.0) 3)
  (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))
  (- (* (* x x) (/ 1 (+ (* (* 4.0 p) p) (* x x)))) (- (* (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) 1.0) (* 1.0 1.0)))
  (+ (* (neg (* x x)) (/ 1 (+ (* (* 4.0 p) p) (* x x)))) (* 1.0 1.0))
  (- 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (exp (* x (/ 1 (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 (/ 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))))))
  (pow (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) 3)
  (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 (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 (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 (* (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 p) p) 3) (pow (* x x) 3))))
  (/ x (sqrt (- (* (* (* 4.0 p) p) (* (* 4.0 p) p)) (* (* x x) (* x x)))))
  (/ (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
  (log (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (* (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))) (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))
  (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (pow (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))) 3)
  (sqrt 0.5)
  (sqrt (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
  (sqrt (* 0.5 (+ (pow 1.0 3) (pow (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) 3))))
  (sqrt (+ (* 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)))))))))
  (sqrt (* 0.5 (- (* 1.0 1.0) (* (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (sqrt (- 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
  1/2
  1/2
  (sqrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (sqrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  1.0
  2.0
  0
  0
  0
  0
  (* (sqrt 1.0) (sqrt 0.5))
  (* (sqrt 2.0) (sqrt 0.5))
  0
1.884 * * * [progress]: adding candidates to table
2.448 * * [progress]: iteration 3 / 4
2.448 * * * [progress]: picking best candidate
2.503 * * * * [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))))))))))>
2.503 * * * [progress]: localizing error
2.518 * * * [progress]: generating rewritten candidates
2.518 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1 2)
2.523 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 2 1 2)
2.528 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
2.530 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
2.561 * * * [progress]: generating series expansions
2.561 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1 2)
2.562 * [approximate]: Approximating (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
2.564 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.564 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.567 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.570 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.571 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
2.582 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.583 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.586 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.595 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.599 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
2.610 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.611 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.615 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.623 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.627 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 2 1 2)
2.627 * [approximate]: Approximating (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
2.629 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.629 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.632 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.638 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
2.639 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
2.651 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.652 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.656 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.664 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.668 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
2.679 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.680 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.684 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.692 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
2.696 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
2.697 * [approximate]: Approximating (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
2.701 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
2.702 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
2.711 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
2.719 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
2.733 * [approximate]: Approximating (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in (x p) around 0
2.747 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
2.748 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
2.753 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
2.762 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
2.763 * [approximate]: Approximating (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
2.777 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
2.779 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
2.786 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
2.790 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
2.790 * [approximate]: Approximating (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
2.794 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
2.795 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
2.801 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
2.803 * [approximate]: Approximating (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in (x p) around 0
2.817 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
2.818 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
2.822 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
2.828 * [approximate]: Approximating (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
2.842 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
2.844 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
2.849 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
2.854 * * * [progress]: simplifying candidates
2.855 * [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
2.865 * * [simplify]: iteration  0 :  386  enodes  (cost  1299 )
2.872 * * [simplify]: iteration  1 :  1509  enodes  (cost  1123 )
2.903 * * [simplify]: iteration  2 :  5001  enodes  (cost  1062 )
2.908 * [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 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))))
  (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 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 (* (* 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))))))))
  (pow (+ (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) 1.0) 3)
  (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))
  (+ (/ (* (* x x) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (sqrt (+ (* (* 4.0 p) p) (* x x)))) (- (* 1.0 1.0) (* (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) 1.0)))
  (+ (* (neg (* (* x x) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (* 1.0 1.0))
  (+ 1.0 (neg (* x (/ 1 (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) (log (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (+ (log x) (log (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (+ (log x) (log (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (pow (exp x) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (pow (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) 3)
  (pow (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) 3)
  (* (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)))))))
  (pow (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) 3)
  (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 (+ (* (* 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 (/ 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))))))
  (* (* 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)))))) (fabs (/ (cbrt 1) (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))))))
  (* (* 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)))))) (fabs (/ (cbrt 1) (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))))))
  (* (* 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 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 (+ (* (* 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))
  (* -1 (* p (sqrt 4.0)))
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  1.0
  2.0
  0
  0
  0
  0
2.909 * * * [progress]: adding candidates to table
3.680 * * [progress]: iteration 4 / 4
3.680 * * * [progress]: picking best candidate
3.729 * * * * [pick]: Picked  #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))>
3.730 * * * [progress]: localizing error
3.748 * * * [progress]: generating rewritten candidates
3.748 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 2 2)
3.753 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.755 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
3.757 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 2)
3.774 * * * [progress]: generating series expansions
3.774 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 2 2)
3.774 * [approximate]: Approximating (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in (p x) around 0
3.777 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
3.777 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
3.780 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
3.782 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (* 4.0 (pow p 2)))) in x
3.783 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
3.794 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
3.795 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
3.799 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
3.807 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
3.811 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in (p x) around 0
3.826 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
3.827 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
3.830 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
3.838 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))) in x
3.842 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.843 * [approximate]: Approximating (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in (x p) around 0
3.858 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in p
3.863 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in p
3.885 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in p
3.939 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0))) in p
4.015 * [approximate]: Approximating (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in (x p) around 0
4.042 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in p
4.047 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in p
4.055 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in p
4.077 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0)) (sqrt 0.5)) in p
4.078 * [approximate]: Approximating (* (sqrt (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) (sqrt 0.5)) in (x p) around 0
4.125 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) (sqrt 0.5)) in p
4.131 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) (sqrt 0.5)) in p
4.145 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))))) (sqrt 0.5)) in p
4.164 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
4.164 * [approximate]: Approximating (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in (x p) around 0
4.168 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
4.169 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
4.176 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
4.183 * [taylor]: Taking taylor expansion of (+ (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) 1.0) in p
4.199 * [approximate]: Approximating (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in (x p) around 0
4.214 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
4.215 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
4.219 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
4.228 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) 1.0) in p
4.228 * [approximate]: Approximating (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
4.243 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
4.244 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
4.248 * [taylor]: Taking taylor expansion of (- 1.0 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
4.252 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 2)
4.252 * [approximate]: Approximating (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in (x p) around 0
4.256 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
4.257 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
4.266 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (+ (pow x 2) (* 4.0 (pow p 2)))))) in p
4.268 * [approximate]: Approximating (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in (x p) around 0
4.281 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
4.282 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
4.286 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2))))))) in p
4.292 * [approximate]: Approximating (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in (x p) around 0
4.306 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
4.307 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
4.312 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow p 2)))))))) in p
4.317 * * * [progress]: simplifying candidates
4.318 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (exp (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (* (* (sqrt (+ (* (* 4.0 p) p) (* x x))) (sqrt (+ (* (* 4.0 p) p) (* x x)))) (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt (* (cbrt (+ (* (* 4.0 p) p) (* x x))) (cbrt (+ (* (* 4.0 p) p) (* x x)))))
  (sqrt (cbrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt 1)
  (sqrt (+ (* (* 4.0 p) p) (* x x)))
  (sqrt (+ (pow (* (* 4.0 p) p) 3) (pow (* x x) 3)))
  (sqrt (+ (* (* (* 4.0 p) p) (* (* 4.0 p) p)) (- (* (* x x) (* x x)) (* (* (* 4.0 p) p) (* x x)))))
  (sqrt (- (* (* (* 4.0 p) p) (* (* 4.0 p) p)) (* (* x x) (* x x))))
  (sqrt (- (* (* 4.0 p) p) (* x x)))
  (/ 1 2)
  (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (log (* (cbrt (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))) (cbrt (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))
  (log (cbrt (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (log (sqrt (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (log (sqrt (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (log 1)
  (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))
  (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))
  (log (exp (* (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))) (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))
  (log (exp (sqrt 0.5)))
  (log (exp (sqrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (log (exp 1))
  (log (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (exp (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (* (cbrt (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))) (cbrt (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))
  (cbrt (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (* (* (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (sqrt (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (sqrt (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (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)
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  (* (sqrt 1.0) (sqrt 0.5))
  (* (sqrt 2.0) (sqrt 0.5))
  0
  1.0
  2.0
  0
  0
  0
  0
4.324 * * [simplify]: iteration  0 :  399  enodes  (cost  962 )
4.331 * * [simplify]: iteration  1 :  1650  enodes  (cost  851 )
4.356 * * [simplify]: iteration  2 :  5002  enodes  (cost  816 )
4.360 * [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 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))))
  (* 2 (log (cbrt (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))
  (log (cbrt (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (log (sqrt (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (log (sqrt (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  0
  (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))
  (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))
  (* (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))) (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))
  (sqrt 0.5)
  (sqrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  1
  (log (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
  (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (* (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))) (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))
  (cbrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (pow (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))) 3)
  (sqrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (sqrt (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
  (exp (+ 1.0 (* 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)))))))
  (pow (+ (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) 1.0) 3)
  (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))
  (- (* (* x x) (/ 1 (+ (* (* 4.0 p) p) (* x x)))) (- (* (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) 1.0) (* 1.0 1.0)))
  (+ (* (neg (* x x)) (/ 1 (+ (* (* 4.0 p) p) (* x x)))) (* 1.0 1.0))
  (- 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
  (/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (- (log x) (log (sqrt (+ (* (* 4.0 p) p) (* x x)))))
  (pow E (/ 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 (/ 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))))))
  (pow (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))) 3)
  (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 (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 (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 (* (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 p) p) 3) (pow (* x x) 3))))
  (/ x (sqrt (- (* (* (* 4.0 p) p) (* (* 4.0 p) p)) (* (* x x) (* x x)))))
  (/ (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
  x
  (* p (sqrt 4.0))
  (* -1 (* p (sqrt 4.0)))
  (* (sqrt 1.0) (sqrt 0.5))
  (* (sqrt 2.0) (sqrt 0.5))
  0
  1.0
  2.0
  0
  0
  0
  0
4.361 * * * [progress]: adding candidates to table
5.245 * [progress]: [Phase 3 of 3] Extracting.
5.245 * * [regime]: Finding splitpoints for: (#<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (cbrt (pow (sqrt (+ (* (* 4.0 p) p) (* x x))) 3))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (fabs (cbrt (+ (* (* 4.0 p) p) (* x x)))) (sqrt (cbrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (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 (* (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (/ (cbrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* x (sqrt (/ 1 (* (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))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* 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))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (/ (+ (* (neg (* (* x x) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (* 1.0 1.0)) (+ 1.0 (neg (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (exp (log (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (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 (* (sqrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (fabs (cbrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))) (sqrt (cbrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (/ (+ (* (neg (* x x)) (/ 1 (+ (* (* 4.0 p) p) (* x x)))) (* 1.0 1.0)) (- 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))> #<alt (λ (p x) (log (exp (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) (log (exp (sqrt (* 0.5 (+ 1.0 (* (/ x (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (/ 1 (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))>)
5.253 * * * [regime-changes]: Trying 3 branch expressions: ((* (* 4.0 p) p) x p)
5.253 * * * * [regimes]: Trying to branch on (* (* 4.0 p) p) from (#<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (cbrt (pow (sqrt (+ (* (* 4.0 p) p) (* x x))) 3))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (fabs (cbrt (+ (* (* 4.0 p) p) (* x x)))) (sqrt (cbrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (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 (* (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (/ (cbrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* x (sqrt (/ 1 (* (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))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* 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))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (/ (+ (* (neg (* (* x x) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (* 1.0 1.0)) (+ 1.0 (neg (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (exp (log (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (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 (* (sqrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (fabs (cbrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))) (sqrt (cbrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (/ (+ (* (neg (* x x)) (/ 1 (+ (* (* 4.0 p) p) (* x x)))) (* 1.0 1.0)) (- 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))> #<alt (λ (p x) (log (exp (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) (log (exp (sqrt (* 0.5 (+ 1.0 (* (/ x (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (/ 1 (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))>)
5.356 * * * * [regimes]: Trying to branch on x from (#<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (cbrt (pow (sqrt (+ (* (* 4.0 p) p) (* x x))) 3))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (fabs (cbrt (+ (* (* 4.0 p) p) (* x x)))) (sqrt (cbrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (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 (* (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (/ (cbrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* x (sqrt (/ 1 (* (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))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* 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))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (/ (+ (* (neg (* (* x x) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (* 1.0 1.0)) (+ 1.0 (neg (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (exp (log (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (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 (* (sqrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (fabs (cbrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))) (sqrt (cbrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (/ (+ (* (neg (* x x)) (/ 1 (+ (* (* 4.0 p) p) (* x x)))) (* 1.0 1.0)) (- 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))> #<alt (λ (p x) (log (exp (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) (log (exp (sqrt (* 0.5 (+ 1.0 (* (/ x (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (/ 1 (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))>)
5.461 * * * * [regimes]: Trying to branch on p from (#<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (* (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (cbrt (pow (sqrt (+ (* (* 4.0 p) p) (* x x))) 3))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (* (fabs (cbrt (+ (* (* 4.0 p) p) (* x x)))) (sqrt (cbrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (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 (* (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (/ (cbrt x) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* x (sqrt (/ 1 (* (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))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (+ 1.0 (* (* 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))))) (cbrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))> #<alt (λ (p x) (sqrt (* 0.5 (/ (+ (* (neg (* (* x x) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (* 1.0 1.0)) (+ 1.0 (neg (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (exp (log (log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))))> #<alt (λ (p x) (log (exp (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 (* (sqrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))) (fabs (cbrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))) (sqrt (cbrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))> #<alt (λ (p x) (log (exp (sqrt (* 0.5 (/ (+ (* (neg (* x x)) (/ 1 (+ (* (* 4.0 p) p) (* x x)))) (* 1.0 1.0)) (- 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))> #<alt (λ (p x) (log (exp (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) (log (exp (sqrt (* 0.5 (+ 1.0 (* (/ x (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))) (/ 1 (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))))>)
5.568 * * * [regime]: Found split indices: #<option (#s(si 13 255))>
5.569 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (exp (sqrt (* 0.5 (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))
5.569 * * [simplify]: iteration  0 :  29  enodes  (cost  21 )
5.570 * * [simplify]: iteration  1 :  29  enodes  (cost  21 )
5.570 * [simplify]: Simplified to:
  (log (exp (sqrt (* 0.5 (+ 1.0 (* (* x (sqrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))) (sqrt (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))))