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