Add Mul Pow log x0 E Pow Mul acoth x0 Pow x0 sec E 7.38905609893065 x0 
Add Add Mul Pow Mul acoth x0 Pow x0 sec E 7.38905609893065 Mul Pow log x0 Add E -1 Mul E Pow x0 -1 Mul Pow log x0 E Mul Pow Mul acoth x0 Pow x0 sec E 6.38905609893065 Mul 7.38905609893065 Add Mul Pow x0 sec E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow x0 Add sec E -1 sec E 1 