Mul Mul csc acoth x0 -1 sec exp Pow x0 4 
Add Mul sec exp Pow x0 4 Mul -1 Mul Mul Mul -1 cot acoth x0 csc acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul csc acoth x0 -1 Mul Mul tan exp Pow x0 4 sec exp Pow x0 4 Mul exp Pow x0 4 Mul Pow x0 3 4 