Pow Mul x7 acot acsc Pow Mul x0 sqrt x0 Mul asin x0 x3 sech x4 
Mul Pow Mul x7 acot acsc Pow Mul x0 sqrt x0 Mul asin x0 x3 Add sech x4 -1 Mul sech x4 Mul x7 Mul -1 Mul Mul -1 Mul Mul Pow Mul x0 sqrt x0 Add Mul asin x0 x3 -1 Add Mul Mul asin x0 x3 Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 Mul Mul Mul x0 sqrt x0 log Mul x0 sqrt x0 Mul x3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 sqrt x0 Mul asin x0 x3 Pow Mul x0 sqrt x0 Mul asin x0 x3 -1 Pow Mul x0 sqrt x0 Mul asin x0 x3 Pow Mul x0 sqrt x0 Mul asin x0 x3 -1 Pow Add 1 Mul acsc Pow Mul x0 sqrt x0 Mul asin x0 x3 acsc Pow Mul x0 sqrt x0 Mul asin x0 x3 -1 