acoth Mul x0 Pow x0 acosh Mul 4 x3 
Mul Add Pow x0 acosh Mul 4 x3 Mul x0 Mul Pow x0 Add acosh Mul 4 x3 -1 acosh Mul 4 x3 Pow Add 1 Mul -1 Mul Mul x0 Pow x0 acosh Mul 4 x3 Mul x0 Pow x0 acosh Mul 4 x3 -1 