Add -2 Pow Mul Pow x3 4 4 Pow Add asech Add 4 x0 acoth x7 x0 
Mul Pow Mul Pow x3 4 4 Add Pow Add asech Add 4 x0 acoth x7 x0 -1 Mul Mul Mul Pow x3 4 4 log Mul Pow x3 4 4 Mul Pow Add asech Add 4 x0 acoth x7 Add x0 -1 Add Mul x0 Pow Mul Mul Add 4 x0 Add 4 x0 sqrt Add 1 Mul -1 Pow Mul Add 4 x0 Add 4 x0 -1 -1 Mul Add asech Add 4 x0 acoth x7 log Add asech Add 4 x0 acoth x7 