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