Mul x0 atanh Pow Mul cos x0 acot x0 Add x2 4 
Add atanh Pow Mul cos x0 acot x0 Add x2 4 Mul x0 Mul Mul Pow Mul cos x0 acot x0 Add Add x2 4 -1 Mul Add x2 4 Add Mul acot x0 Mul -1 sin x0 Mul cos x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Mul cos x0 acot x0 Add x2 4 Pow Mul cos x0 acot x0 Add x2 4 -1 