Add Pow acos cosh x0 Mul Mul Mul Add x0 x2 Add Mul x0 x0 asinh Mul x1 -2 3 pi 1 
Mul Pow acos cosh x0 Add Mul Mul Mul Add x0 x2 Add Mul x0 x0 asinh Mul x1 -2 3 pi -1 Add Mul Mul Mul Mul Add x0 x2 Add Mul x0 x0 asinh Mul x1 -2 3 pi Mul -1 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul Mul acos cosh x0 log acos cosh x0 Mul pi Mul 3 Add Add Mul x0 x0 asinh Mul x1 -2 Mul Add x0 x2 Add x0 x0 