Pow Mul sinh x0 x3 Add sec acoth Add -4 x0 pi 
Mul Pow Mul sinh x0 x3 Add Add sec acoth Add -4 x0 pi -1 Add Mul Add sec acoth Add -4 x0 pi Mul x3 cosh x0 Mul Mul Mul sinh x0 x3 log Mul sinh x0 x3 Mul Mul tan acoth Add -4 x0 sec acoth Add -4 x0 Pow Add 1 Mul -1 Mul Add -4 x0 Add -4 x0 -1 