atan log acosh Mul x0 acsch x6 
Mul Mul Mul acsch x6 Pow Mul sqrt Add Mul x0 acsch x6 -1 sqrt Add 1 Mul x0 acsch x6 -1 Pow acosh Mul x0 acsch x6 -1 Pow Add 1 Mul log acosh Mul x0 acsch x6 log acosh Mul x0 acsch x6 -1 