Pow Mul Add x0 E x0 Mul asech Mul pi x6 x0 
Mul Pow Mul Add x0 E x0 Add Mul asech Mul pi x6 x0 -1 Add Mul Mul asech Mul pi x6 x0 Add x0 Add x0 E Mul Mul Mul Add x0 E x0 log Mul Add x0 E x0 asech Mul pi x6 