Add Mul asec x3 x0 Pow asec asech Mul 5 acot acosh atanh Add pi x0 x0 
Add asec x3 Mul Pow asec asech Mul 5 acot acosh atanh Add pi x0 Add x0 -1 Add Mul x0 Mul Mul Mul 5 Mul -1 Mul Mul Pow Add 1 Mul -1 Mul Add pi x0 Add pi x0 -1 Pow Mul sqrt Add atanh Add pi x0 -1 sqrt Add 1 atanh Add pi x0 -1 Pow Add 1 Mul acosh atanh Add pi x0 acosh atanh Add pi x0 -1 Pow Mul Mul Mul 5 acot acosh atanh Add pi x0 Mul 5 acot acosh atanh Add pi x0 sqrt Add 1 Mul -1 Pow Mul Mul 5 acot acosh atanh Add pi x0 Mul 5 acot acosh atanh Add pi x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asech Mul 5 acot acosh atanh Add pi x0 asech Mul 5 acot acosh atanh Add pi x0 -1 asech Mul 5 acot acosh atanh Add pi x0 asech Mul 5 acot acosh atanh Add pi x0 -1 Mul asec asech Mul 5 acot acosh atanh Add pi x0 log asec asech Mul 5 acot acosh atanh Add pi x0 