acot atanh Mul Pow Mul Add x0 Mul x0 pi x7 asec x0 Pow x0 x7 
Mul -1 Mul Mul Add Mul Pow x0 x7 Mul Pow Mul Add x0 Mul x0 pi x7 Add asec x0 -1 Add Mul asec x0 Mul x7 Add 1 pi Mul Mul Mul Add x0 Mul x0 pi x7 log Mul Add x0 Mul x0 pi x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow Mul Add x0 Mul x0 pi x7 asec x0 Mul Pow x0 Add x7 -1 x7 Pow Add 1 Mul -1 Mul Mul Pow Mul Add x0 Mul x0 pi x7 asec x0 Pow x0 x7 Mul Pow Mul Add x0 Mul x0 pi x7 asec x0 Pow x0 x7 -1 Pow Add 1 Mul atanh Mul Pow Mul Add x0 Mul x0 pi x7 asec x0 Pow x0 x7 atanh Mul Pow Mul Add x0 Mul x0 pi x7 asec x0 Pow x0 x7 -1 