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