Mul Add acosh Add x0 Pow atanh pi x0 x0 Add x7 Mul x0 x0 
Add Mul Add x7 Mul x0 x0 Add Mul Add 1 Mul Pow atanh pi Add x0 -1 Mul atanh pi log atanh pi Pow Mul sqrt Add Add x0 Pow atanh pi x0 -1 sqrt Add 1 Add x0 Pow atanh pi x0 -1 1 Mul Add acosh Add x0 Pow atanh pi x0 x0 Add x0 x0 