Add x2 acsch Mul Pow acot Mul acsch Pow x0 csch x0 sinh x0 Mul exp asech x0 acot x3 2 
Mul Mul -1 Mul 2 Mul Pow acot Mul acsch Pow x0 csch x0 sinh x0 Add Mul exp asech x0 acot x3 -1 Add Mul Mul exp asech x0 acot x3 Mul -1 Mul Add Mul sinh x0 Mul Mul -1 Mul Pow x0 Add csch x0 -1 Add csch x0 Mul Mul x0 log x0 Mul Mul -1 coth x0 csch x0 Pow Mul Mul Pow x0 csch x0 Pow x0 csch x0 sqrt Add 1 Mul -1 Pow Mul Pow x0 csch x0 Pow x0 csch x0 -1 -1 Mul acsch Pow x0 csch x0 cosh x0 Pow Add 1 Mul Mul acsch Pow x0 csch x0 sinh x0 Mul acsch Pow x0 csch x0 sinh x0 -1 Mul Mul acot Mul acsch Pow x0 csch x0 sinh x0 log acot Mul acsch Pow x0 csch x0 sinh x0 Mul acot x3 Mul exp asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul Mul Pow acot Mul acsch Pow x0 csch x0 sinh x0 Mul exp asech x0 acot x3 2 Mul Pow acot Mul acsch Pow x0 csch x0 sinh x0 Mul exp asech x0 acot x3 2 sqrt Add 1 Mul -1 Pow Mul Mul Pow acot Mul acsch Pow x0 csch x0 sinh x0 Mul exp asech x0 acot x3 2 Mul Pow acot Mul acsch Pow x0 csch x0 sinh x0 Mul exp asech x0 acot x3 2 -1 -1 