Pow asec x0 Pow acsc Mul x1 Add Mul acos x1 -4 coth acosh x0 E 
Mul Pow asec x0 Add Pow acsc Mul x1 Add Mul acos x1 -4 coth acosh x0 E -1 Add Mul Pow acsc Mul x1 Add Mul acos x1 -4 coth acosh x0 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul asec x0 log asec x0 Mul Pow acsc Mul x1 Add Mul acos x1 -4 coth acosh x0 Add E -1 Mul E Mul -1 Mul Mul x1 Mul Mul -1 Pow csch acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x1 Add Mul acos x1 -4 coth acosh x0 Mul x1 Add Mul acos x1 -4 coth acosh x0 -1 Mul x1 Add Mul acos x1 -4 coth acosh x0 Mul x1 Add Mul acos x1 -4 coth acosh x0 -1 