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