Mul x0 Mul x2 Pow Mul Add atanh Mul x2 x0 Mul x0 sqrt asech x0 acot cosh x0 Pow x1 -4 
Add Mul x2 Pow Mul Add atanh Mul x2 x0 Mul x0 sqrt asech x0 acot cosh x0 Pow x1 -4 Mul x0 Mul x2 Mul Pow Mul Add atanh Mul x2 x0 Mul x0 sqrt asech x0 acot cosh x0 Add Pow x1 -4 -1 Mul Pow x1 -4 Add Mul acot cosh x0 Add Mul x2 Pow Add 1 Mul -1 Mul Mul x2 x0 Mul x2 x0 -1 Add sqrt asech x0 Mul x0 Mul Pow Mul 2 sqrt asech x0 -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Add atanh Mul x2 x0 Mul x0 sqrt asech x0 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 