Mul acot Mul Pow Add sec x4 log asec Add Mul x0 pi E acsch x0 x0 x0 
Add Mul x0 Mul -1 Mul Add Mul x0 Mul Pow Add sec x4 log asec Add Mul x0 pi E Add acsch x0 -1 Add Mul acsch x0 Mul Mul pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul x0 pi E Add Mul x0 pi E -1 Add Mul x0 pi E Add Mul x0 pi E -1 Pow asec Add Mul x0 pi E -1 Mul Mul Add sec x4 log asec Add Mul x0 pi E log Add sec x4 log asec Add Mul x0 pi E Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add sec x4 log asec Add Mul x0 pi E acsch x0 Pow Add 1 Mul Mul Pow Add sec x4 log asec Add Mul x0 pi E acsch x0 x0 Mul Pow Add sec x4 log asec Add Mul x0 pi E acsch x0 x0 -1 acot Mul Pow Add sec x4 log asec Add Mul x0 pi E acsch x0 x0 