Mul x0 acosh Add x0 Add Mul 3 Mul -2 x1 Add 3 acoth x2 
Add acosh Add x0 Add Mul 3 Mul -2 x1 Add 3 acoth x2 Mul x0 Pow Mul sqrt Add Add x0 Add Mul 3 Mul -2 x1 Add 3 acoth x2 -1 sqrt Add 1 Add x0 Add Mul 3 Mul -2 x1 Add 3 acoth x2 -1 