Add Mul x0 Mul log E atan Mul sinh x0 Add Mul x0 Pow Mul x2 Add pi acos acsch x0 x3 x2 3 
Add Mul log E atan Mul sinh x0 Add Mul x0 Pow Mul x2 Add pi acos acsch x0 x3 x2 Mul x0 Mul log E Mul Add Mul Add Mul x0 Pow Mul x2 Add pi acos acsch x0 x3 x2 cosh x0 Mul sinh x0 Add Pow Mul x2 Add pi acos acsch x0 x3 Mul x0 Mul Pow Mul x2 Add pi acos acsch x0 Add x3 -1 Mul x3 Mul x2 Mul -1 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch x0 acsch x0 -1 Pow Add 1 Mul Mul sinh x0 Add Mul x0 Pow Mul x2 Add pi acos acsch x0 x3 x2 Mul sinh x0 Add Mul x0 Pow Mul x2 Add pi acos acsch x0 x3 x2 -1 