Add Mul x0 Add Pow Pow x0 x6 acosh x0 sech x0 x0 
Add Add Add Pow Pow x0 x6 acosh x0 sech x0 Mul x0 Add Mul Pow Pow x0 x6 Add acosh x0 -1 Add Mul acosh x0 Mul Pow x0 Add x6 -1 x6 Mul Mul Pow x0 x6 log Pow x0 x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul tanh x0 Mul -1 sech x0 1 