Add Pow Pow x0 Mul Mul x0 Pow x0 pi 4 Pow asech sech x1 x0 x0 
Add Mul Pow Pow x0 Mul Mul x0 Pow x0 pi 4 Add Pow asech sech x1 x0 -1 Add Mul Pow asech sech x1 x0 Mul Pow x0 Add Mul Mul x0 Pow x0 pi 4 -1 Add Mul Mul x0 Pow x0 pi 4 Mul Mul x0 log x0 Mul 4 Add Pow x0 pi Mul x0 Mul Pow x0 Add pi -1 pi Mul Mul Pow x0 Mul Mul x0 Pow x0 pi 4 log Pow x0 Mul Mul x0 Pow x0 pi 4 Mul Pow asech sech x1 Add x0 -1 Mul asech sech x1 log asech sech x1 1 