Mul Add -2 tan Mul Pow acsch x4 x0 x0 x0 
Add Mul x0 Mul Pow sec Mul Pow acsch x4 x0 x0 2 Add Mul x0 Mul Pow acsch x4 Add x0 -1 Mul acsch x4 log acsch x4 Pow acsch x4 x0 Add -2 tan Mul Pow acsch x4 x0 x0 