Pow Add Mul Mul acos coth x4 x0 -2 sec Add -1 Mul x0 E x4 
Mul Pow Add Mul Mul acos coth x4 x0 -2 sec Add -1 Mul x0 E Add x4 -1 Mul x4 Add Mul -2 acos coth x4 Mul Mul tan Add -1 Mul x0 E sec Add -1 Mul x0 E E 