Add Add x4 tan Pow x0 -5 Add coth Mul x2 Pow Mul x6 x0 Add Add Pow x0 acoth x7 x0 x1 x0 
Add Mul Pow sec Pow x0 -5 2 Mul Pow x0 6 -5 Add Mul Mul -1 Pow csch Mul x2 Pow Mul x6 x0 Add Add Pow x0 acoth x7 x0 x1 2 Mul x2 Mul Pow Mul x6 x0 Add Add Add Pow x0 acoth x7 x0 x1 -1 Add Mul Add Add Pow x0 acoth x7 x0 x1 x6 Mul Mul Mul x6 x0 log Mul x6 x0 Add Mul Pow x0 Add acoth x7 -1 acoth x7 1 1 