Add Mul tanh cos Pow x0 acot Add x0 atanh sin log x1 Add x1 x3 x0 
Add Mul Add x1 x3 Mul Pow sech cos Pow x0 acot Add x0 atanh sin log x1 2 Mul Mul -1 sin Pow x0 acot Add x0 atanh sin log x1 Mul Pow x0 Add acot Add x0 atanh sin log x1 -1 Add acot Add x0 atanh sin log x1 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul Add x0 atanh sin log x1 Add x0 atanh sin log x1 -1 1 