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