asech Pow asech x4 Mul pi x0 
Mul Mul Pow asech x4 Add Mul pi x0 -1 Mul Mul asech x4 log asech x4 pi Pow Mul Mul Pow asech x4 Mul pi x0 Pow asech x4 Mul pi x0 sqrt Add 1 Mul -1 Pow Mul Pow asech x4 Mul pi x0 Pow asech x4 Mul pi x0 -1 -1 