Mul x0 acoth sec Pow Pow tanh sec x0 Add x0 x6 acosh x0 
Add acoth sec Pow Pow tanh sec x0 Add x0 x6 acosh x0 Mul x0 Mul Mul Mul tan Pow Pow tanh sec x0 Add x0 x6 acosh x0 sec Pow Pow tanh sec x0 Add x0 x6 acosh x0 Mul Pow Pow tanh sec x0 Add x0 x6 Add acosh x0 -1 Add Mul acosh x0 Mul Pow tanh sec x0 Add Add x0 x6 -1 Add Mul Add x0 x6 Mul Pow sech sec x0 2 Mul tan x0 sec x0 Mul tanh sec x0 log tanh sec x0 Mul Mul Pow tanh sec x0 Add x0 x6 log Pow tanh sec x0 Add x0 x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul sec Pow Pow tanh sec x0 Add x0 x6 acosh x0 sec Pow Pow tanh sec x0 Add x0 x6 acosh x0 -1 