Pow cosh Mul x4 Pow sinh x0 Add Mul x0 x0 acosh acosh x0 pi 
Mul Pow cosh Mul x4 Pow sinh x0 Add Mul x0 x0 acosh acosh x0 Add pi -1 Mul pi Mul sinh Mul x4 Pow sinh x0 Add Mul x0 x0 acosh acosh x0 Mul x4 Mul Pow sinh x0 Add Add Mul x0 x0 acosh acosh x0 -1 Add Mul Add Mul x0 x0 acosh acosh x0 cosh x0 Mul Mul sinh x0 log sinh x0 Add Add x0 x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add acosh x0 -1 sqrt Add 1 acosh x0 -1 