acot Mul Mul Pow Pow x5 asech x6 x0 4 x3 
Mul -1 Mul Mul x3 Mul 4 Mul Pow Pow x5 asech x6 Add x0 -1 Mul Pow x5 asech x6 log Pow x5 asech x6 Pow Add 1 Mul Mul Mul Pow Pow x5 asech x6 x0 4 x3 Mul Mul Pow Pow x5 asech x6 x0 4 x3 -1 