coth Mul Mul x4 x0 Add sec Mul Mul Mul tan Add 1 x1 -3 E x4 Mul cos Add E x0 coth asin x4 
Mul Mul -1 Pow csch Mul Mul x4 x0 Add sec Mul Mul Mul tan Add 1 x1 -3 E x4 Mul cos Add E x0 coth asin x4 2 Add Mul Add sec Mul Mul Mul tan Add 1 x1 -3 E x4 Mul cos Add E x0 coth asin x4 x4 Mul Mul x4 x0 Mul coth asin x4 Mul -1 sin Add E x0 