asinh Pow pi log asin Mul pi x0 
Mul Mul Pow pi Add log asin Mul pi x0 -1 Mul Mul pi log pi Mul Mul pi Pow sqrt Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 Pow asin Mul pi x0 -1 Pow sqrt Add 1 Mul Pow pi log asin Mul pi x0 Pow pi log asin Mul pi x0 -1 