Add x0 Pow cosh Pow Mul x0 csch pi acot x7 x0 
Add 1 Mul Pow cosh Pow Mul x0 csch pi acot x7 Add x0 -1 Add Mul x0 Mul sinh Pow Mul x0 csch pi acot x7 Mul Pow Mul x0 csch pi Add acot x7 -1 Mul acot x7 csch pi Mul cosh Pow Mul x0 csch pi acot x7 log cosh Pow Mul x0 csch pi acot x7 