Add Pow Mul x0 Add x0 acosh Add pi x0 acot x5 x0 
Add Mul Pow Mul x0 Add x0 acosh Add pi x0 Add acot x5 -1 Mul acot x5 Add Add x0 acosh Add pi x0 Mul x0 Add 1 Pow Mul sqrt Add Add pi x0 -1 sqrt Add 1 Add pi x0 -1 1 