Pow atan Add Add x3 acsc Mul x0 Add acos x0 Add Mul x0 -3 cosh x0 cosh Add x0 Mul log x3 x0 pi 
Mul Pow atan Add Add x3 acsc Mul x0 Add acos x0 Add Mul x0 -3 cosh x0 cosh Add x0 Mul log x3 x0 Add pi -1 Mul pi Mul Add Mul -1 Mul Add Add acos x0 Add Mul x0 -3 cosh x0 Mul x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add -3 sinh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 Add acos x0 Add Mul x0 -3 cosh x0 Mul x0 Add acos x0 Add Mul x0 -3 cosh x0 -1 Mul x0 Add acos x0 Add Mul x0 -3 cosh x0 Mul x0 Add acos x0 Add Mul x0 -3 cosh x0 -1 Mul sinh Add x0 Mul log x3 x0 Add 1 log x3 Pow Add 1 Mul Add Add x3 acsc Mul x0 Add acos x0 Add Mul x0 -3 cosh x0 cosh Add x0 Mul log x3 x0 Add Add x3 acsc Mul x0 Add acos x0 Add Mul x0 -3 cosh x0 cosh Add x0 Mul log x3 x0 -1 