cosh acot Add Mul Pow x7 x0 x0 atanh Add pi Mul x0 Mul acot E E 
Mul sinh acot Add Mul Pow x7 x0 x0 atanh Add pi Mul x0 Mul acot E E Mul -1 Mul Add Add Mul x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow x7 x0 Mul Mul acot E E Pow Add 1 Mul -1 Mul Add pi Mul x0 Mul acot E E Add pi Mul x0 Mul acot E E -1 Pow Add 1 Mul Add Mul Pow x7 x0 x0 atanh Add pi Mul x0 Mul acot E E Add Mul Pow x7 x0 x0 atanh Add pi Mul x0 Mul acot E E -1 