Pow Pow Pow cosh pi acsch x4 acoth x0 x1 
Mul Pow Pow Pow cosh pi acsch x4 acoth x0 Add x1 -1 Mul x1 Mul Pow Pow cosh pi acsch x4 Add acoth x0 -1 Mul Mul Pow cosh pi acsch x4 log Pow cosh pi acsch x4 Pow Add 1 Mul -1 Mul x0 x0 -1 