acosh Add Mul pi Add x0 atanh Add x0 2 4 
Mul Mul pi Add 1 Pow Add 1 Mul -1 Mul Add x0 2 Add x0 2 -1 Pow Mul sqrt Add Add Mul pi Add x0 atanh Add x0 2 4 -1 sqrt Add 1 Add Mul pi Add x0 atanh Add x0 2 4 -1 