atanh Add Pow Mul pi x0 Add asech Pow x7 pi exp x0 Mul Mul x0 x6 x0 
Mul Add Mul Pow Mul pi x0 Add Add asech Pow x7 pi exp x0 -1 Add Mul Add asech Pow x7 pi exp x0 pi Mul Mul Mul pi x0 log Mul pi x0 exp x0 Add Mul x0 x6 Mul x0 x6 Pow Add 1 Mul -1 Mul Add Pow Mul pi x0 Add asech Pow x7 pi exp x0 Mul Mul x0 x6 x0 Add Pow Mul pi x0 Add asech Pow x7 pi exp x0 Mul Mul x0 x6 x0 -1 