Pow x2 Add Add x0 x1 acos Pow sinh x0 Mul x0 x1 
Mul Pow x2 Add Add Add x0 x1 acos Pow sinh x0 Mul x0 x1 -1 Mul Mul x2 log x2 Add 1 Mul -1 Mul Mul Pow sinh x0 Add Mul x0 x1 -1 Add Mul Mul x0 x1 cosh x0 Mul Mul sinh x0 log sinh x0 x1 Pow sqrt Add 1 Mul -1 Mul Pow sinh x0 Mul x0 x1 Pow sinh x0 Mul x0 x1 -1 