Add Mul Mul tan Mul acoth Mul x0 x0 x0 Pow x0 4 E Add x4 x0 
Add Mul E Add Mul Pow x0 4 Mul Pow sec Mul acoth Mul x0 x0 x0 2 Add Mul x0 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 acoth Mul x0 x0 Mul tan Mul acoth Mul x0 x0 x0 Mul Pow x0 3 4 1 