Add Mul x0 x4 Mul Add x3 x4 Pow acsc Pow Pow acoth cosh acoth Add x0 sinh x0 x0 x0 Pow x0 x0 
Add x4 Mul Add x3 x4 Mul Pow acsc Pow Pow acoth cosh acoth Add x0 sinh x0 x0 x0 Add Pow x0 x0 -1 Add Mul Pow x0 x0 Mul -1 Mul Mul Pow Pow acoth cosh acoth Add x0 sinh x0 x0 Add x0 -1 Add Mul x0 Mul Pow acoth cosh acoth Add x0 sinh x0 Add x0 -1 Add Mul x0 Mul Mul sinh acoth Add x0 sinh x0 Mul Add 1 cosh x0 Pow Add 1 Mul -1 Mul Add x0 sinh x0 Add x0 sinh x0 -1 Pow Add 1 Mul -1 Mul cosh acoth Add x0 sinh x0 cosh acoth Add x0 sinh x0 -1 Mul acoth cosh acoth Add x0 sinh x0 log acoth cosh acoth Add x0 sinh x0 Mul Pow acoth cosh acoth Add x0 sinh x0 x0 log Pow acoth cosh acoth Add x0 sinh x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow acoth cosh acoth Add x0 sinh x0 x0 x0 Pow Pow acoth cosh acoth Add x0 sinh x0 x0 x0 -1 Pow Pow acoth cosh acoth Add x0 sinh x0 x0 x0 Pow Pow acoth cosh acoth Add x0 sinh x0 x0 x0 -1 Mul Mul acsc Pow Pow acoth cosh acoth Add x0 sinh x0 x0 x0 log acsc Pow Pow acoth cosh acoth Add x0 sinh x0 x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 