Mul x0 Mul acosh Add acoth Mul 5 Pow x0 -3 x0 x6 
Add Mul acosh Add acoth Mul 5 Pow x0 -3 x0 x6 Mul x0 Mul x6 Mul Add Mul Mul 5 Mul Pow x0 4 -3 Pow Add 1 Mul -1 Mul Mul 5 Pow x0 -3 Mul 5 Pow x0 -3 -1 1 Pow Mul sqrt Add Add acoth Mul 5 Pow x0 -3 x0 -1 sqrt Add 1 Add acoth Mul 5 Pow x0 -3 x0 -1 