acsch acot Pow Mul Add x0 5 x7 sqrt x7 
Mul Mul -1 Mul -1 Mul Mul Pow Mul Add x0 5 x7 Add sqrt x7 -1 Mul sqrt x7 x7 Pow Add 1 Mul Pow Mul Add x0 5 x7 sqrt x7 Pow Mul Add x0 5 x7 sqrt x7 -1 Pow Mul Mul acot Pow Mul Add x0 5 x7 sqrt x7 acot Pow Mul Add x0 5 x7 sqrt x7 sqrt Add 1 Mul -1 Pow Mul acot Pow Mul Add x0 5 x7 sqrt x7 acot Pow Mul Add x0 5 x7 sqrt x7 -1 -1 