Mul cos x0 Add Mul x4 Pow x0 x5 sech Pow Mul x0 acoth x4 x0 
Add Mul Add Mul x4 Pow x0 x5 sech Pow Mul x0 acoth x4 x0 Mul -1 sin x0 Mul cos x0 Add Mul x4 Mul Pow x0 Add x5 -1 x5 Mul Mul tanh Pow Mul x0 acoth x4 x0 Mul -1 sech Pow Mul x0 acoth x4 x0 Mul Pow Mul x0 acoth x4 Add x0 -1 Add Mul x0 acoth x4 Mul Mul x0 acoth x4 log Mul x0 acoth x4 