Add Mul x0 Mul x0 Add acoth x4 Pow Mul tan Mul x0 x0 x2 x0 x5 
Add Mul x0 Add acoth x4 Pow Mul tan Mul x0 x0 x2 x0 Mul x0 Add Add acoth x4 Pow Mul tan Mul x0 x0 x2 x0 Mul x0 Mul Pow Mul tan Mul x0 x0 x2 Add x0 -1 Add Mul x0 Mul x2 Mul Pow sec Mul x0 x0 2 Add x0 x0 Mul Mul tan Mul x0 x0 x2 log Mul tan Mul x0 x0 x2 