Mul x0 tan Add x0 acoth Pow Mul Mul E Add sec Mul acoth x2 Mul x0 Mul x4 x0 x6 x0 x0 
Add tan Add x0 acoth Pow Mul Mul E Add sec Mul acoth x2 Mul x0 Mul x4 x0 x6 x0 x0 Mul x0 Mul Pow sec Add x0 acoth Pow Mul Mul E Add sec Mul acoth x2 Mul x0 Mul x4 x0 x6 x0 x0 2 Add 1 Mul Mul Pow Mul Mul E Add sec Mul acoth x2 Mul x0 Mul x4 x0 x6 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul E Mul Mul tan Mul acoth x2 Mul x0 Mul x4 x0 sec Mul acoth x2 Mul x0 Mul x4 x0 Mul acoth x2 Add Mul x4 x0 Mul x0 x4 Mul E Add sec Mul acoth x2 Mul x0 Mul x4 x0 x6 Mul Mul Mul E Add sec Mul acoth x2 Mul x0 Mul x4 x0 x6 x0 log Mul Mul E Add sec Mul acoth x2 Mul x0 Mul x4 x0 x6 x0 Pow Add 1 Mul -1 Mul Pow Mul Mul E Add sec Mul acoth x2 Mul x0 Mul x4 x0 x6 x0 x0 Pow Mul Mul E Add sec Mul acoth x2 Mul x0 Mul x4 x0 x6 x0 x0 -1 