Add cosh x7 Pow Mul x0 acsch Add -1 Add 1 log sqrt x7 Add Mul cosh x0 x5 pi 
Mul Pow Mul x0 acsch Add -1 Add 1 log sqrt x7 Add Add Mul cosh x0 x5 pi -1 Add Mul Add Mul cosh x0 x5 pi acsch Add -1 Add 1 log sqrt x7 Mul Mul Mul x0 acsch Add -1 Add 1 log sqrt x7 log Mul x0 acsch Add -1 Add 1 log sqrt x7 Mul x5 sinh x0 