Mul acosh Add Add atan Mul x7 5 x0 acsch x5 Pow acosh sinh x3 x0 
Add Mul Pow acosh sinh x3 x0 Pow Mul sqrt Add Add Add atan Mul x7 5 x0 acsch x5 -1 sqrt Add 1 Add Add atan Mul x7 5 x0 acsch x5 -1 Mul acosh Add Add atan Mul x7 5 x0 acsch x5 Mul Pow acosh sinh x3 Add x0 -1 Mul acosh sinh x3 log acosh sinh x3 