Mul Mul pi acot Mul x6 Pow x3 acoth Pow Mul x3 Pow sec x0 x0 asin x5 x3 
Mul x3 Mul pi Mul -1 Mul Mul x6 Mul Pow x3 Add acoth Pow Mul x3 Pow sec x0 x0 asin x5 -1 Mul Mul x3 log x3 Mul Mul Pow Mul x3 Pow sec x0 x0 Add asin x5 -1 Mul asin x5 Mul x3 Mul Pow sec x0 Add x0 -1 Add Mul x0 Mul tan x0 sec x0 Mul sec x0 log sec x0 Pow Add 1 Mul -1 Mul Pow Mul x3 Pow sec x0 x0 asin x5 Pow Mul x3 Pow sec x0 x0 asin x5 -1 Pow Add 1 Mul Mul x6 Pow x3 acoth Pow Mul x3 Pow sec x0 x0 asin x5 Mul x6 Pow x3 acoth Pow Mul x3 Pow sec x0 x0 asin x5 -1 