Mul Pow x0 Mul x2 acoth x0 sec Pow Add -4 x0 E 
Add Mul sec Pow Add -4 x0 E Mul Pow x0 Add Mul x2 acoth x0 -1 Add Mul x2 acoth x0 Mul Mul x0 log x0 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x0 Mul x2 acoth x0 Mul Mul tan Pow Add -4 x0 E sec Pow Add -4 x0 E Mul Pow Add -4 x0 Add E -1 E 