Mul Pow sec x6 acsch Mul 2 acsc x0 x0 
Add Mul x0 Mul Pow sec x6 Add acsch Mul 2 acsc x0 -1 Mul Mul sec x6 log sec x6 Mul Mul -1 Mul 2 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul Mul Mul 2 acsc x0 Mul 2 acsc x0 sqrt Add 1 Mul -1 Pow Mul Mul 2 acsc x0 Mul 2 acsc x0 -1 -1 Pow sec x6 acsch Mul 2 acsc x0 