Add Mul Pow asinh tan Mul x7 coth x4 Mul x0 -3 x0 x5 
Add Mul x0 Mul Pow asinh tan Mul x7 coth x4 Add Mul x0 -3 -1 Mul Mul asinh tan Mul x7 coth x4 log asinh tan Mul x7 coth x4 -3 Pow asinh tan Mul x7 coth x4 Mul x0 -3 