Add Pow x0 acoth sec Mul E Mul -2 x0 Mul Add x0 E x3 
Add Mul Pow x0 Add acoth sec Mul E Mul -2 x0 -1 Add acoth sec Mul E Mul -2 x0 Mul Mul x0 log x0 Mul Mul Mul tan Mul E Mul -2 x0 sec Mul E Mul -2 x0 Mul E -2 Pow Add 1 Mul -1 Mul sec Mul E Mul -2 x0 sec Mul E Mul -2 x0 -1 x3 