sqrt Mul acos Pow x0 cos x4 Pow acoth Pow acsc Add x0 x0 2 Pow Pow asech Add x3 x0 2 x7 
Mul Pow Mul 2 sqrt Mul acos Pow x0 cos x4 Pow acoth Pow acsc Add x0 x0 2 Pow Pow asech Add x3 x0 2 x7 -1 Add Mul Pow acoth Pow acsc Add x0 x0 2 Pow Pow asech Add x3 x0 2 x7 Mul -1 Mul Mul Pow x0 Add cos x4 -1 cos x4 Pow sqrt Add 1 Mul -1 Mul Pow x0 cos x4 Pow x0 cos x4 -1 Mul acos Pow x0 cos x4 Mul Pow acoth Pow acsc Add x0 x0 2 Add Pow Pow asech Add x3 x0 2 x7 -1 Add Mul Pow Pow asech Add x3 x0 2 x7 Mul Mul acsc Add x0 x0 Mul 2 Mul -1 Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 x0 Add x0 x0 -1 Add x0 x0 Add x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acsc Add x0 x0 2 Pow acsc Add x0 x0 2 -1 Mul Mul acoth Pow acsc Add x0 x0 2 log acoth Pow acsc Add x0 x0 2 Mul Pow Pow asech Add x3 x0 2 Add x7 -1 Mul x7 Mul asech Add x3 x0 Mul 2 Pow Mul Mul Add x3 x0 Add x3 x0 sqrt Add 1 Mul -1 Pow Mul Add x3 x0 Add x3 x0 -1 -1 