Mul Mul x0 acos E Mul x0 Pow Pow asech pi x0 -3 
Add Mul Mul x0 Pow Pow asech pi x0 -3 acos E Mul Mul x0 acos E Add Pow Pow asech pi x0 -3 Mul x0 Mul Pow Pow asech pi x0 4 Mul -3 Mul Pow asech pi Add x0 -1 Mul asech pi log asech pi 