Mul x0 Pow Add Mul x1 tan Add Add coth Pow x0 x0 2 x0 -4 2 
Add Pow Add Mul x1 tan Add Add coth Pow x0 x0 2 x0 -4 2 Mul x0 Mul Add Mul x1 tan Add Add coth Pow x0 x0 2 x0 -4 Mul 2 Mul x1 Mul Pow sec Add Add coth Pow x0 x0 2 x0 2 Add Mul Mul -1 Pow csch Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 