Pow acosh Mul x7 -1.57079632679490 Mul exp x0 coth cos x0 
Mul Pow acosh Mul x7 -1.57079632679490 Add Mul exp x0 coth cos x0 -1 Mul Mul acosh Mul x7 -1.57079632679490 log acosh Mul x7 -1.57079632679490 Add Mul coth cos x0 exp x0 Mul exp x0 Mul Mul -1 Pow csch cos x0 2 Mul -1 sin x0 