Add sec Mul Mul x0 Add coth x7 Pow x0 x0 acosh acoth x7 Mul -3 x4 
Mul Mul tan Mul Mul x0 Add coth x7 Pow x0 x0 acosh acoth x7 sec Mul Mul x0 Add coth x7 Pow x0 x0 acosh acoth x7 Mul acosh acoth x7 Add Add coth x7 Pow x0 x0 Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 