Mul Add Pow acoth x0 -5 Add 3 x5 acos Mul x3 Mul E x0 
Add Mul acos Mul x3 Mul E x0 Mul Pow acoth x0 6 Mul -5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add Pow acoth x0 -5 Add 3 x5 Mul -1 Mul Mul x3 E Pow sqrt Add 1 Mul -1 Mul Mul x3 Mul E x0 Mul x3 Mul E x0 -1 