Pow acosh coth sin Mul x0 -1 sqrt Mul Pow x3 2 x0 
Mul Pow acosh coth sin Mul x0 -1 Add sqrt Mul Pow x3 2 x0 -1 Add Mul sqrt Mul Pow x3 2 x0 Mul Mul Mul -1 Pow csch sin Mul x0 -1 2 Mul cos Mul x0 -1 -1 Pow Mul sqrt Add coth sin Mul x0 -1 -1 sqrt Add 1 coth sin Mul x0 -1 -1 Mul Mul acosh coth sin Mul x0 -1 log acosh coth sin Mul x0 -1 Mul Pow Mul 2 sqrt Mul Pow x3 2 x0 -1 Pow x3 2 