Add x0 Mul acoth Mul x7 Mul x0 Mul cosh x0 x2 x0 
Add 1 Add Mul x0 Mul Mul x7 Add Mul cosh x0 x2 Mul x0 Mul x2 sinh x0 Pow Add 1 Mul -1 Mul Mul x7 Mul x0 Mul cosh x0 x2 Mul x7 Mul x0 Mul cosh x0 x2 -1 acoth Mul x7 Mul x0 Mul cosh x0 x2 