Pow atanh Pow x2 Mul x0 cosh sqrt x0 Mul Mul pi Mul -3 acsch x0 acsch atanh Mul Add -3 x4 -3 
Mul Pow atanh Pow x2 Mul x0 cosh sqrt x0 Add Mul Mul pi Mul -3 acsch x0 acsch atanh Mul Add -3 x4 -3 -1 Add Mul Mul Mul pi Mul -3 acsch x0 acsch atanh Mul Add -3 x4 -3 Mul Mul Pow x2 Add Mul x0 cosh sqrt x0 -1 Mul Mul x2 log x2 Add cosh sqrt x0 Mul x0 Mul sinh sqrt x0 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Pow x2 Mul x0 cosh sqrt x0 Pow x2 Mul x0 cosh sqrt x0 -1 Mul Mul atanh Pow x2 Mul x0 cosh sqrt x0 log atanh Pow x2 Mul x0 cosh sqrt x0 Mul acsch atanh Mul Add -3 x4 -3 Mul pi Mul -3 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 