Mul x0 Mul -5 acosh Pow sqrt asin Pow acosh Add acos Pow x0 2 x0 x0 Mul coth x4 Mul asec x0 x0 
Add Mul -5 acosh Pow sqrt asin Pow acosh Add acos Pow x0 2 x0 x0 Mul coth x4 Mul asec x0 x0 Mul x0 Mul -5 Mul Mul Pow sqrt asin Pow acosh Add acos Pow x0 2 x0 x0 Add Mul coth x4 Mul asec x0 x0 -1 Add Mul Mul coth x4 Mul asec x0 x0 Mul Pow Mul 2 sqrt asin Pow acosh Add acos Pow x0 2 x0 x0 -1 Mul Mul Pow acosh Add acos Pow x0 2 x0 Add x0 -1 Add Mul x0 Mul Add Mul -1 Mul Mul x0 2 Pow sqrt Add 1 Mul -1 Mul Pow x0 2 Pow x0 2 -1 1 Pow Mul sqrt Add Add acos Pow x0 2 x0 -1 sqrt Add 1 Add acos Pow x0 2 x0 -1 Mul acosh Add acos Pow x0 2 x0 log acosh Add acos Pow x0 2 x0 Pow sqrt Add 1 Mul -1 Mul Pow acosh Add acos Pow x0 2 x0 x0 Pow acosh Add acos Pow x0 2 x0 x0 -1 Mul Mul sqrt asin Pow acosh Add acos Pow x0 2 x0 x0 log sqrt asin Pow acosh Add acos Pow x0 2 x0 x0 Mul coth x4 Add Mul x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 asec x0 Pow Mul sqrt Add Pow sqrt asin Pow acosh Add acos Pow x0 2 x0 x0 Mul coth x4 Mul asec x0 x0 -1 sqrt Add 1 Pow sqrt asin Pow acosh Add acos Pow x0 2 x0 x0 Mul coth x4 Mul asec x0 x0 -1 