Add x3 Mul Mul x0 Mul x2 Add asec x0 x0 atanh Add atanh pi x0 
Add Mul atanh Add atanh pi x0 Add Mul x2 Add asec x0 x0 Mul x0 Mul x2 Add Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 1 Mul Mul x0 Mul x2 Add asec x0 x0 Pow Add 1 Mul -1 Mul Add atanh pi x0 Add atanh pi x0 -1 