Mul x0 Add -1 Add Add asech Mul -3 Mul Add x0 5 atanh log x0 x0 Pow acot Add cos x0 x0 -1 
Add Add -1 Add Add asech Mul -3 Mul Add x0 5 atanh log x0 x0 Pow acot Add cos x0 x0 -1 Mul x0 Add Add Mul Mul -3 Add atanh log x0 Mul Add x0 5 Mul Pow x0 -1 Pow Add 1 Mul -1 Mul log x0 log x0 -1 Pow Mul Mul Mul -3 Mul Add x0 5 atanh log x0 Mul -3 Mul Add x0 5 atanh log x0 sqrt Add 1 Mul -1 Pow Mul Mul -3 Mul Add x0 5 atanh log x0 Mul -3 Mul Add x0 5 atanh log x0 -1 -1 1 Mul Pow acot Add cos x0 x0 2 Mul -1 Mul -1 Mul Add Mul -1 sin x0 1 Pow Add 1 Mul Add cos x0 x0 Add cos x0 x0 -1 