Pow x6 acsch Pow Mul x0 log Pow sec x0 atan acos x0 Add Mul x0 x4 x0 
Mul Pow x6 Add acsch Pow Mul x0 log Pow sec x0 atan acos x0 Add Mul x0 x4 x0 -1 Mul Mul x6 log x6 Mul Mul -1 Mul Pow Mul x0 log Pow sec x0 atan acos x0 Add Add Mul x0 x4 x0 -1 Add Mul Add Mul x0 x4 x0 Add log Pow sec x0 atan acos x0 Mul x0 Mul Mul Pow sec x0 Add atan acos x0 -1 Add Mul atan acos x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acos x0 acos x0 -1 Pow Pow sec x0 atan acos x0 -1 Mul Mul Mul x0 log Pow sec x0 atan acos x0 log Mul x0 log Pow sec x0 atan acos x0 Add x4 1 Pow Mul Mul Pow Mul x0 log Pow sec x0 atan acos x0 Add Mul x0 x4 x0 Pow Mul x0 log Pow sec x0 atan acos x0 Add Mul x0 x4 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 log Pow sec x0 atan acos x0 Add Mul x0 x4 x0 Pow Mul x0 log Pow sec x0 atan acos x0 Add Mul x0 x4 x0 -1 -1 