Pow acosh Mul x4 Add x0 x0 asech Add Pow csch sinh x7 Mul Pow pi -2 x0 Mul x7 x0 
Mul Pow acosh Mul x4 Add x0 x0 Add asech Add Pow csch sinh x7 Mul Pow pi -2 x0 Mul x7 x0 -1 Add Mul asech Add Pow csch sinh x7 Mul Pow pi -2 x0 Mul x7 x0 Mul Mul x4 2 Pow Mul sqrt Add Mul x4 Add x0 x0 -1 sqrt Add 1 Mul x4 Add x0 x0 -1 Mul Mul acosh Mul x4 Add x0 x0 log acosh Mul x4 Add x0 x0 Mul Add Mul Pow csch sinh x7 Add Mul Pow pi -2 x0 -1 Mul Mul csch sinh x7 log csch sinh x7 Pow pi -2 x7 Pow Mul Mul Add Pow csch sinh x7 Mul Pow pi -2 x0 Mul x7 x0 Add Pow csch sinh x7 Mul Pow pi -2 x0 Mul x7 x0 sqrt Add 1 Mul -1 Pow Mul Add Pow csch sinh x7 Mul Pow pi -2 x0 Mul x7 x0 Add Pow csch sinh x7 Mul Pow pi -2 x0 Mul x7 x0 -1 -1 