Add atanh Add x0 Pow x0 acosh Pow Add 3 pi -1 -3 
Mul Add 1 Mul Pow x0 Add acosh Pow Add 3 pi -1 -1 acosh Pow Add 3 pi -1 Pow Add 1 Mul -1 Mul Add x0 Pow x0 acosh Pow Add 3 pi -1 Add x0 Pow x0 acosh Pow Add 3 pi -1 -1 