Mul Pow Add x0 x0 x7 acosh Mul Add E x6 sec Mul -3 Pow Mul -1 log x0 Mul x0 Pow coth x3 -2 
Add Mul acosh Mul Add E x6 sec Mul -3 Pow Mul -1 log x0 Mul x0 Pow coth x3 -2 Mul Pow Add x0 x0 Add x7 -1 Mul x7 2 Mul Pow Add x0 x0 x7 Mul Mul Add E x6 Mul Mul tan Mul -3 Pow Mul -1 log x0 Mul x0 Pow coth x3 -2 sec Mul -3 Pow Mul -1 log x0 Mul x0 Pow coth x3 -2 Mul -3 Mul Pow Mul -1 log x0 Add Mul x0 Pow coth x3 -2 -1 Add Mul Mul x0 Pow coth x3 -2 Mul -1 Pow x0 -1 Mul Mul Mul -1 log x0 log Mul -1 log x0 Pow coth x3 -2 Pow Mul sqrt Add Mul Add E x6 sec Mul -3 Pow Mul -1 log x0 Mul x0 Pow coth x3 -2 -1 sqrt Add 1 Mul Add E x6 sec Mul -3 Pow Mul -1 log x0 Mul x0 Pow coth x3 -2 -1 