Add Add 5 acsch sqrt x7 acosh Add coth x0 atanh Pow Mul pi x0 acsch pi 
Mul Add Mul -1 Pow csch x0 2 Mul Mul Pow Mul pi x0 Add acsch pi -1 Mul acsch pi pi Pow Add 1 Mul -1 Mul Pow Mul pi x0 acsch pi Pow Mul pi x0 acsch pi -1 Pow Mul sqrt Add Add coth x0 atanh Pow Mul pi x0 acsch pi -1 sqrt Add 1 Add coth x0 atanh Pow Mul pi x0 acsch pi -1 