Mul Add pi x5 Pow acoth Mul x0 Add x1 acosh pi x0 
Mul Add pi x5 Mul Pow acoth Mul x0 Add x1 acosh pi Add x0 -1 Add Mul x0 Mul Add x1 acosh pi Pow Add 1 Mul -1 Mul Mul x0 Add x1 acosh pi Mul x0 Add x1 acosh pi -1 Mul acoth Mul x0 Add x1 acosh pi log acoth Mul x0 Add x1 acosh pi 