Mul Pow asec E Add acoth x0 Add atan Pow x2 x0 atan E atan Mul x0 x5 
Add Mul atan Mul x0 x5 Mul Pow asec E Add Add acoth x0 Add atan Pow x2 x0 atan E -1 Mul Mul asec E log asec E Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul Pow x2 x0 Pow x2 x0 -1 Mul Pow asec E Add acoth x0 Add atan Pow x2 x0 atan E Mul x5 Pow Add 1 Mul Mul x0 x5 Mul x0 x5 -1 