Pow Mul 5 acsch x7 Mul Add Mul coth acot x1 x1 x0 Pow x0 acosh Add x2 Add x0 4 
Mul Pow Mul 5 acsch x7 Add Mul Add Mul coth acot x1 x1 x0 Pow x0 acosh Add x2 Add x0 4 -1 Mul Mul Mul 5 acsch x7 log Mul 5 acsch x7 Add Pow x0 acosh Add x2 Add x0 4 Mul Add Mul coth acot x1 x1 x0 Mul Pow x0 Add acosh Add x2 Add x0 4 -1 Add acosh Add x2 Add x0 4 Mul Mul x0 log x0 Pow Mul sqrt Add Add x2 Add x0 4 -1 sqrt Add 1 Add x2 Add x0 4 -1 