acosh Pow acsch exp Mul x2 pi x0 
Mul Mul Pow acsch exp Mul x2 pi Add x0 -1 Mul acsch exp Mul x2 pi log acsch exp Mul x2 pi Pow Mul sqrt Add Pow acsch exp Mul x2 pi x0 -1 sqrt Add 1 Pow acsch exp Mul x2 pi x0 -1 