Add Pow log acoth Pow Pow x0 x0 Add x1 -4 3 tan Add acot Mul tanh asin x2 x0 8165619676597685 
Add Mul Pow log acoth Pow Pow x0 x0 Add x1 -4 2 Mul 3 Mul Mul Mul Pow Pow x0 x0 Add Add x1 -4 -1 Mul Add x1 -4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow Pow x0 x0 Add x1 -4 Pow Pow x0 x0 Add x1 -4 -1 Pow acoth Pow Pow x0 x0 Add x1 -4 -1 Mul Pow sec Add acot Mul tanh asin x2 x0 8165619676597685 2 Mul -1 Mul tanh asin x2 Pow Add 1 Mul Mul tanh asin x2 x0 Mul tanh asin x2 x0 -1 