Add x0 atan Mul asinh Mul acosh x0 pi x0 
Add 1 Mul Add Mul x0 Mul Mul pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul Mul acosh x0 pi Mul acosh x0 pi -1 asinh Mul acosh x0 pi Pow Add 1 Mul Mul asinh Mul acosh x0 pi x0 Mul asinh Mul acosh x0 pi x0 -1 