Pow Add x4 Mul x0 Mul acosh x0 atan Add x5 x4 pi 
Mul Pow Add x4 Mul x0 Mul acosh x0 atan Add x5 x4 Add pi -1 Mul pi Add Mul acosh x0 atan Add x5 x4 Mul x0 Mul atan Add x5 x4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 