Pow Add atan Mul x0 Pow acosh Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 log Add -2 acosh x5 x0 x0 
Mul Pow Add atan Mul x0 Pow acosh Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 log Add -2 acosh x5 x0 Add x0 -1 Add Mul x0 Add Mul Add Pow acosh Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 log Add -2 acosh x5 Mul x0 Mul Pow acosh Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 Add log Add -2 acosh x5 -1 Mul log Add -2 acosh x5 Mul Add Mul Pow Mul x0 pi Add x3 -1 Mul x3 pi Mul Pow Pow csch x4 x0 Add x0 -1 Add Mul x0 Mul Pow csch x4 Add x0 -1 Mul csch x4 log csch x4 Mul Pow csch x4 x0 log Pow csch x4 x0 Pow Mul sqrt Add Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 -1 sqrt Add 1 Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 -1 Pow Add 1 Mul Mul x0 Pow acosh Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 log Add -2 acosh x5 Mul x0 Pow acosh Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 log Add -2 acosh x5 -1 1 Mul Add atan Mul x0 Pow acosh Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 log Add -2 acosh x5 x0 log Add atan Mul x0 Pow acosh Add Pow Mul x0 pi x3 Pow Pow csch x4 x0 x0 log Add -2 acosh x5 x0 