Mul cos acos asech pi Mul Mul 5 Add x5 Add -5 Pow Mul Pow x0 acot acsch x0 x0 Pow asin E x0 x0 
Mul cos acos asech pi Add Mul x0 Mul 5 Mul Pow Mul Pow x0 acot acsch x0 x0 Add Pow asin E x0 -1 Add Mul Pow asin E x0 Add Mul x0 Mul Pow x0 Add acot acsch x0 -1 Add acot acsch x0 Mul Mul x0 log x0 Mul -1 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul acsch x0 acsch x0 -1 Pow x0 acot acsch x0 Mul Mul Mul Pow x0 acot acsch x0 x0 log Mul Pow x0 acot acsch x0 x0 Mul Pow asin E Add x0 -1 Mul asin E log asin E Mul 5 Add x5 Add -5 Pow Mul Pow x0 acot acsch x0 x0 Pow asin E x0 