Mul Pow acos Mul Add x0 log E x0 sech Add Add Add -3 x0 acoth x1 x3 x5 
Mul x5 Mul Pow acos Mul Add x0 log E x0 Add sech Add Add Add -3 x0 acoth x1 x3 -1 Add Mul sech Add Add Add -3 x0 acoth x1 x3 Mul -1 Mul Add x0 Add x0 log E Pow sqrt Add 1 Mul -1 Mul Mul Add x0 log E x0 Mul Add x0 log E x0 -1 Mul Mul acos Mul Add x0 log E x0 log acos Mul Add x0 log E x0 Mul tanh Add Add Add -3 x0 acoth x1 x3 Mul -1 sech Add Add Add -3 x0 acoth x1 x3 