coth cos Pow Pow x4 x0 asinh x3 
Mul Mul -1 Pow csch cos Pow Pow x4 x0 asinh x3 2 Mul Mul -1 sin Pow Pow x4 x0 asinh x3 Mul Pow Pow x4 x0 Add asinh x3 -1 Mul asinh x3 Mul Pow x4 Add x0 -1 Mul x4 log x4 