Mul x4 Pow Pow Mul E x0 -4 Pow asech acot Mul -4 Add x6 -3 x0 
Mul x4 Mul Pow Pow Mul E x0 -4 Add Pow asech acot Mul -4 Add x6 -3 x0 -1 Add Mul Pow asech acot Mul -4 Add x6 -3 x0 Mul Pow Mul E x0 5 Mul -4 E Mul Mul Pow Mul E x0 -4 log Pow Mul E x0 -4 Mul Pow asech acot Mul -4 Add x6 -3 Add x0 -1 Mul asech acot Mul -4 Add x6 -3 log asech acot Mul -4 Add x6 -3 