Mul Add acoth Mul acosh Add 5 x4 Pow x2 x0 Mul -2 x0 3 
Mul 3 Add Mul Mul acosh Add 5 x4 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul -1 Mul Mul acosh Add 5 x4 Pow x2 x0 Mul acosh Add 5 x4 Pow x2 x0 -1 -2 