Mul Pow x3 acsch asin acos x0 Add E Add Pow cos x5 Mul x0 -2 x5 
Add Mul Add E Add Pow cos x5 Mul x0 -2 x5 Mul Pow x3 Add acsch asin acos x0 -1 Mul Mul x3 log x3 Mul Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos x0 acos x0 -1 Pow Mul Mul asin acos x0 asin acos x0 sqrt Add 1 Mul -1 Pow Mul asin acos x0 asin acos x0 -1 -1 Mul Pow x3 acsch asin acos x0 Mul Pow cos x5 Add Mul x0 -2 -1 Mul Mul cos x5 log cos x5 -2 