Add Mul Add x5 sqrt Pow x5 Add sqrt coth acos x5 cosh Mul Mul x7 Mul -4 Add x0 x0 pi 2 Mul x0 -3 
Add Mul 2 Mul Pow Mul 2 sqrt Pow x5 Add sqrt coth acos x5 cosh Mul Mul x7 Mul -4 Add x0 x0 pi -1 Mul Pow x5 Add Add sqrt coth acos x5 cosh Mul Mul x7 Mul -4 Add x0 x0 pi -1 Mul Mul x5 log x5 Mul sinh Mul Mul x7 Mul -4 Add x0 x0 pi Mul pi Mul x7 2 -3 