Mul asech Mul Pow x1 acot Pow sin Pow cosh x0 asinh E x0 x0 -3 
Mul -3 Mul Add Mul x0 Mul Pow x1 Add acot Pow sin Pow cosh x0 asinh E x0 -1 Mul Mul x1 log x1 Mul -1 Mul Mul Pow sin Pow cosh x0 asinh E Add x0 -1 Add Mul x0 Mul cos Pow cosh x0 asinh E Mul Pow cosh x0 Add asinh E -1 Mul asinh E sinh x0 Mul sin Pow cosh x0 asinh E log sin Pow cosh x0 asinh E Pow Add 1 Mul Pow sin Pow cosh x0 asinh E x0 Pow sin Pow cosh x0 asinh E x0 -1 Pow x1 acot Pow sin Pow cosh x0 asinh E x0 Pow Mul Mul Mul Pow x1 acot Pow sin Pow cosh x0 asinh E x0 x0 Mul Pow x1 acot Pow sin Pow cosh x0 asinh E x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow x1 acot Pow sin Pow cosh x0 asinh E x0 x0 Mul Pow x1 acot Pow sin Pow cosh x0 asinh E x0 x0 -1 -1 