Mul Pow Add Add x0 x0 Mul Mul Pow acosh acoth Pow x1 E x0 4 x0 Mul x0 acosh E Mul Add x2 x4 4 
Mul Mul Add x2 x4 4 Mul Pow Add Add x0 x0 Mul Mul Pow acosh acoth Pow x1 E x0 4 x0 Add Mul x0 acosh E -1 Add Mul Mul x0 acosh E Add 2 Add Mul x0 Mul 4 Mul Pow acosh acoth Pow x1 E Add x0 -1 Mul acosh acoth Pow x1 E log acosh acoth Pow x1 E Mul Pow acosh acoth Pow x1 E x0 4 Mul Mul Add Add x0 x0 Mul Mul Pow acosh acoth Pow x1 E x0 4 x0 log Add Add x0 x0 Mul Mul Pow acosh acoth Pow x1 E x0 4 x0 acosh E 