Pow Mul x0 Mul x4 Pow asech x6 Pow Mul x6 -2 Mul 3 acot x3 x0 
Mul Pow Mul x0 Mul x4 Pow asech x6 Pow Mul x6 -2 Mul 3 acot x3 Add x0 -1 Add Mul x0 Mul x4 Pow asech x6 Pow Mul x6 -2 Mul 3 acot x3 Mul Mul x0 Mul x4 Pow asech x6 Pow Mul x6 -2 Mul 3 acot x3 log Mul x0 Mul x4 Pow asech x6 Pow Mul x6 -2 Mul 3 acot x3 