Pow Add Add x6 Mul Mul x0 x1 -5 Pow Add acot x0 3 atanh x0 asec x5 
Mul Pow Add Add x6 Mul Mul x0 x1 -5 Pow Add acot x0 3 atanh x0 Add asec x5 -1 Mul asec x5 Add Mul -5 x1 Mul Pow Add acot x0 3 Add atanh x0 -1 Add Mul atanh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add acot x0 3 log Add acot x0 3 Pow Add 1 Mul -1 Mul x0 x0 -1 