acosh Add Pow x0 1024 Add Pow Mul Add x0 -4 x0 x0 Mul pi Pow Mul sech x0 pi Pow x0 pi 
Mul Add Mul Pow x0 1023 1024 Add Mul Pow Mul Add x0 -4 x0 Add x0 -1 Add Mul x0 Add x0 Add x0 -4 Mul Mul Add x0 -4 x0 log Mul Add x0 -4 x0 Mul pi Mul Pow Mul sech x0 pi Add Pow x0 pi -1 Add Mul Pow x0 pi Mul pi Mul tanh x0 Mul -1 sech x0 Mul Mul Mul sech x0 pi log Mul sech x0 pi Mul Pow x0 Add pi -1 pi Pow Mul sqrt Add Add Pow x0 1024 Add Pow Mul Add x0 -4 x0 x0 Mul pi Pow Mul sech x0 pi Pow x0 pi -1 sqrt Add 1 Add Pow x0 1024 Add Pow Mul Add x0 -4 x0 x0 Mul pi Pow Mul sech x0 pi Pow x0 pi -1 