Mul x0 Mul acosh Mul x0 Mul x3 x1 Add x3 acoth acos x0 
Add Mul acosh Mul x0 Mul x3 x1 Add x3 acoth acos x0 Mul x0 Add Mul Add x3 acoth acos x0 Mul Mul x3 x1 Pow Mul sqrt Add Mul x0 Mul x3 x1 -1 sqrt Add 1 Mul x0 Mul x3 x1 -1 Mul acosh Mul x0 Mul x3 x1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acos x0 acos x0 -1 