Pow Mul x1 acoth Add x0 acos asech x7 Add Add x0 Add x0 x0 x0 
Mul Pow Mul x1 acoth Add x0 acos asech x7 Add Add Add x0 Add x0 x0 x0 -1 Add Mul Add Add x0 Add x0 x0 x0 Mul x1 Pow Add 1 Mul -1 Mul Add x0 acos asech x7 Add x0 acos asech x7 -1 Mul Mul Mul x1 acoth Add x0 acos asech x7 log Mul x1 acoth Add x0 acos asech x7 4 