Mul x0 Pow Pow Pow x3 Add x0 x0 exp acot cosh acoth Add 3 Pow x0 x0 pi 
Add Pow Pow Pow x3 Add x0 x0 exp acot cosh acoth Add 3 Pow x0 x0 pi Mul x0 Mul Pow Pow Pow x3 Add x0 x0 exp acot cosh acoth Add 3 Pow x0 x0 Add pi -1 Mul pi Mul Pow Pow x3 Add x0 x0 Add exp acot cosh acoth Add 3 Pow x0 x0 -1 Add Mul exp acot cosh acoth Add 3 Pow x0 x0 Mul Pow x3 Add Add x0 x0 -1 Mul Mul x3 log x3 2 Mul Mul Pow x3 Add x0 x0 log Pow x3 Add x0 x0 Mul exp acot cosh acoth Add 3 Pow x0 x0 Mul -1 Mul Mul sinh acoth Add 3 Pow x0 x0 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Add 3 Pow x0 x0 Add 3 Pow x0 x0 -1 Pow Add 1 Mul cosh acoth Add 3 Pow x0 x0 cosh acoth Add 3 Pow x0 x0 -1 