sec Pow coth exp x0 Pow asech x0 acosh x2 
Mul Mul tan Pow coth exp x0 Pow asech x0 acosh x2 sec Pow coth exp x0 Pow asech x0 acosh x2 Mul Pow coth exp x0 Add Pow asech x0 acosh x2 -1 Add Mul Pow asech x0 acosh x2 Mul Mul -1 Pow csch exp x0 2 exp x0 Mul Mul coth exp x0 log coth exp x0 Mul Pow asech x0 Add acosh x2 -1 Mul acosh x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 