Add Mul x0 Mul acosh Mul Pow Pow asec x0 atan asec x2 x0 x0 coth sec x0 5 
Add Mul acosh Mul Pow Pow asec x0 atan asec x2 x0 x0 coth sec x0 Mul x0 Add Mul coth sec x0 Mul Add Mul x0 Mul Pow Pow asec x0 atan asec x2 Add x0 -1 Add Mul x0 Mul Pow asec x0 Add atan asec x2 -1 Mul atan asec x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow asec x0 atan asec x2 log Pow asec x0 atan asec x2 Pow Pow asec x0 atan asec x2 x0 Pow Mul sqrt Add Mul Pow Pow asec x0 atan asec x2 x0 x0 -1 sqrt Add 1 Mul Pow Pow asec x0 atan asec x2 x0 x0 -1 Mul acosh Mul Pow Pow asec x0 atan asec x2 x0 x0 Mul Mul -1 Pow csch sec x0 2 Mul tan x0 sec x0 