asec Mul asech Add x0 acoth Mul x4 x3 x0 
Mul Add Mul x0 Pow Mul Mul Add x0 acoth Mul x4 x3 Add x0 acoth Mul x4 x3 sqrt Add 1 Mul -1 Pow Mul Add x0 acoth Mul x4 x3 Add x0 acoth Mul x4 x3 -1 -1 asech Add x0 acoth Mul x4 x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul asech Add x0 acoth Mul x4 x3 x0 Mul asech Add x0 acoth Mul x4 x3 x0 -1 Mul asech Add x0 acoth Mul x4 x3 x0 Mul asech Add x0 acoth Mul x4 x3 x0 -1 