Add Pow x0 Pow sech coth Mul 4 x5 acoth x0 sin Mul x0 -4 
Add Mul Pow x0 Add Pow sech coth Mul 4 x5 acoth x0 -1 Add Pow sech coth Mul 4 x5 acoth x0 Mul Mul x0 log x0 Mul Pow sech coth Mul 4 x5 Add acoth x0 -1 Mul Mul sech coth Mul 4 x5 log sech coth Mul 4 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cos Mul x0 -4 -4 