Mul Pow acoth x0 -4 Mul acosh Mul x1 Mul x5 x0 x5 
Add Mul Mul acosh Mul x1 Mul x5 x0 x5 Mul Pow acoth x0 5 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acoth x0 -4 Mul x5 Mul Mul x1 x5 Pow Mul sqrt Add Mul x1 Mul x5 x0 -1 sqrt Add 1 Mul x1 Mul x5 x0 -1 