Mul x0 Mul Mul acos csch exp x2 tan Mul Mul x0 x0 -2 Add sinh x5 x0 
Add Mul Mul acos csch exp x2 tan Mul Mul x0 x0 -2 Add sinh x5 x0 Mul x0 Add Mul Add sinh x5 x0 Mul acos csch exp x2 Mul Pow sec Mul Mul x0 x0 -2 2 Mul -2 Add x0 x0 Mul acos csch exp x2 tan Mul Mul x0 x0 -2 