Add -3 Add Mul x0 -1 tan coth Mul Add x0 exp Mul acoth Add 1 E x0 x7 
Add -1 Mul Pow sec coth Mul Add x0 exp Mul acoth Add 1 E x0 x7 2 Mul Mul -1 Pow csch Mul Add x0 exp Mul acoth Add 1 E x0 x7 2 Mul x7 Add 1 Mul exp Mul acoth Add 1 E x0 acoth Add 1 E 