atanh Pow Add x6 -4 asech Pow acot x0 5 
Mul Mul Pow Add x6 -4 Add asech Pow acot x0 5 -1 Mul Mul Add x6 -4 log Add x6 -4 Mul Mul Pow acot x0 4 Mul 5 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Pow acot x0 5 Pow acot x0 5 sqrt Add 1 Mul -1 Pow Mul Pow acot x0 5 Pow acot x0 5 -1 -1 Pow Add 1 Mul -1 Mul Pow Add x6 -4 asech Pow acot x0 5 Pow Add x6 -4 asech Pow acot x0 5 -1 