sin log Add x1 Add Pow acoth x0 5 coth Pow x0 -1 
Mul cos log Add x1 Add Pow acoth x0 5 coth Pow x0 -1 Mul Add Mul Pow acoth x0 4 Mul 5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul -1 Pow csch Pow x0 -1 2 Mul Pow x0 2 -1 Pow Add x1 Add Pow acoth x0 5 coth Pow x0 -1 -1 