Pow Add atan x0 pi acosh Mul x4 exp Mul x0 x0 
Mul Pow Add atan x0 pi Add acosh Mul x4 exp Mul x0 x0 -1 Add Mul acosh Mul x4 exp Mul x0 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Add atan x0 pi log Add atan x0 pi Mul Mul x4 Mul exp Mul x0 x0 Add x0 x0 Pow Mul sqrt Add Mul x4 exp Mul x0 x0 -1 sqrt Add 1 Mul x4 exp Mul x0 x0 -1 