Add Pow Mul x4 sec Add Pow x5 5 x4 Mul 4 exp Add Pow pi 5 x0 Pow acoth E Add x0 x0 
Add Mul Pow Mul x4 sec Add Pow x5 5 x4 Add Mul 4 exp Add Pow pi 5 x0 -1 Mul Mul Mul x4 sec Add Pow x5 5 x4 log Mul x4 sec Add Pow x5 5 x4 Mul 4 exp Add Pow pi 5 x0 Mul Pow acoth E Add Add x0 x0 -1 Mul Mul acoth E log acoth E 2 