Mul asinh Add -1 Mul x0 Pow asin acsch x0 sech sec Mul x0 Add 4 Pow Add x1 acot x0 E -2 
Mul -2 Mul Add Pow asin acsch x0 sech sec Mul x0 Add 4 Pow Add x1 acot x0 E Mul x0 Mul Pow asin acsch x0 Add sech sec Mul x0 Add 4 Pow Add x1 acot x0 E -1 Add Mul sech sec Mul x0 Add 4 Pow Add x1 acot x0 E Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch x0 acsch x0 -1 Mul Mul asin acsch x0 log asin acsch x0 Mul Mul tanh sec Mul x0 Add 4 Pow Add x1 acot x0 E Mul -1 sech sec Mul x0 Add 4 Pow Add x1 acot x0 E Mul Mul tan Mul x0 Add 4 Pow Add x1 acot x0 E sec Mul x0 Add 4 Pow Add x1 acot x0 E Add Add 4 Pow Add x1 acot x0 E Mul x0 Mul Pow Add x1 acot x0 Add E -1 Mul E Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Add -1 Mul x0 Pow asin acsch x0 sech sec Mul x0 Add 4 Pow Add x1 acot x0 E Add -1 Mul x0 Pow asin acsch x0 sech sec Mul x0 Add 4 Pow Add x1 acot x0 E -1 