Pow Mul exp Mul x0 Add x0 4 E Add Pow Mul x0 csch pi acosh Add x0 x7 pi 
Mul Pow Mul exp Mul x0 Add x0 4 E Add Add Pow Mul x0 csch pi acosh Add x0 x7 pi -1 Add Mul Add Pow Mul x0 csch pi acosh Add x0 x7 pi Mul E Mul exp Mul x0 Add x0 4 Add Add x0 4 x0 Mul Mul Mul exp Mul x0 Add x0 4 E log Mul exp Mul x0 Add x0 4 E Mul Pow Mul x0 csch pi Add acosh Add x0 x7 -1 Add Mul acosh Add x0 x7 csch pi Mul Mul Mul x0 csch pi log Mul x0 csch pi Pow Mul sqrt Add Add x0 x7 -1 sqrt Add 1 Add x0 x7 -1 