Mul asin acos sec asec acoth x0 Add pi Mul x0 E 
Add Mul Add pi Mul x0 E Mul Mul -1 Mul Mul Mul tan asec acoth x0 sec asec acoth x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 acoth x0 acoth x0 -1 Pow sqrt Add 1 Mul -1 Mul sec asec acoth x0 sec asec acoth x0 -1 Pow sqrt Add 1 Mul -1 Mul acos sec asec acoth x0 acos sec asec acoth x0 -1 Mul asin acos sec asec acoth x0 E 