csch acosh Mul asech Pow -1 pi x0 
Mul Mul Mul -1 coth acosh Mul asech Pow -1 pi x0 csch acosh Mul asech Pow -1 pi x0 Mul asech Pow -1 pi Pow Mul sqrt Add Mul asech Pow -1 pi x0 -1 sqrt Add 1 Mul asech Pow -1 pi x0 -1 