Pow Mul 3 x0 Add Mul x0 x7 Pow sec x2 csch sqrt x0 
Mul Pow Mul 3 x0 Add Add Mul x0 x7 Pow sec x2 csch sqrt x0 -1 Add Mul Add Mul x0 x7 Pow sec x2 csch sqrt x0 3 Mul Mul Mul 3 x0 log Mul 3 x0 Add x7 Mul Pow sec x2 Add csch sqrt x0 -1 Mul Mul sec x2 log sec x2 Mul Mul Mul -1 coth sqrt x0 csch sqrt x0 Pow Mul 2 sqrt x0 -1 