atan Mul Add x7 x3 acoth Mul 5 Mul 2 Pow Add x0 acosh Mul 2 x0 4 
Mul Mul Add x7 x3 Mul Mul 5 Mul 2 Mul Pow Add x0 acosh Mul 2 x0 3 Mul 4 Add 1 Mul 2 Pow Mul sqrt Add Mul 2 x0 -1 sqrt Add 1 Mul 2 x0 -1 Pow Add 1 Mul -1 Mul Mul 5 Mul 2 Pow Add x0 acosh Mul 2 x0 4 Mul 5 Mul 2 Pow Add x0 acosh Mul 2 x0 4 -1 Pow Add 1 Mul Mul Add x7 x3 acoth Mul 5 Mul 2 Pow Add x0 acosh Mul 2 x0 4 Mul Add x7 x3 acoth Mul 5 Mul 2 Pow Add x0 acosh Mul 2 x0 4 -1 