Mul x3 acoth Pow Add -5 acosh Pow x0 -2 acos Mul Mul x0 x0 Add 5 x0 
Mul x3 Mul Mul Pow Add -5 acosh Pow x0 -2 Add acos Mul Mul x0 x0 Add 5 x0 -1 Add Mul acos Mul Mul x0 x0 Add 5 x0 Mul Mul Pow x0 3 -2 Pow Mul sqrt Add Pow x0 -2 -1 sqrt Add 1 Pow x0 -2 -1 Mul Mul Add -5 acosh Pow x0 -2 log Add -5 acosh Pow x0 -2 Mul -1 Mul Add Mul Add 5 x0 Add x0 x0 Mul x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 x0 Add 5 x0 Mul Mul x0 x0 Add 5 x0 -1 Pow Add 1 Mul -1 Mul Pow Add -5 acosh Pow x0 -2 acos Mul Mul x0 x0 Add 5 x0 Pow Add -5 acosh Pow x0 -2 acos Mul Mul x0 x0 Add 5 x0 -1 