Mul Pow Add log asech Add x0 E -0.200000000000000 Mul Pow x1 x0 x0 pi 
Mul pi Mul Pow Add log asech Add x0 E -0.200000000000000 Add Mul Pow x1 x0 x0 -1 Add Mul Mul Pow x1 x0 x0 Mul Pow Mul Mul Add x0 E Add x0 E sqrt Add 1 Mul -1 Pow Mul Add x0 E Add x0 E -1 -1 Pow asech Add x0 E -1 Mul Mul Add log asech Add x0 E -0.200000000000000 log Add log asech Add x0 E -0.200000000000000 Add Mul x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow x1 x0 