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