sec Add Mul x0 log acosh Add x5 x0 Mul x0 csch x0 
Mul Mul tan Add Mul x0 log acosh Add x5 x0 Mul x0 csch x0 sec Add Mul x0 log acosh Add x5 x0 Mul x0 csch x0 Add Add log acosh Add x5 x0 Mul x0 Mul Pow Mul sqrt Add Add x5 x0 -1 sqrt Add 1 Add x5 x0 -1 Pow acosh Add x5 x0 -1 Add csch x0 Mul x0 Mul Mul -1 coth x0 csch x0 