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