Add x0 Pow acsch acsch x0 Mul sec Pow x3 x0 acos Add Mul acot x0 5 E 
Add 1 Mul Pow acsch acsch x0 Add Mul sec Pow x3 x0 acos Add Mul acot x0 5 E -1 Add Mul Mul sec Pow x3 x0 acos Add Mul acot x0 5 E Mul Mul -1 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul acsch x0 acsch x0 sqrt Add 1 Mul -1 Pow Mul acsch x0 acsch x0 -1 -1 Mul Mul acsch acsch x0 log acsch acsch x0 Add Mul acos Add Mul acot x0 5 E Mul Mul tan Pow x3 x0 sec Pow x3 x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul sec Pow x3 x0 Mul -1 Mul Mul 5 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Mul acot x0 5 E Add Mul acot x0 5 E -1 