Mul Pow acot asec cos x0 x0 Add x0 Add Add pi x0 Mul acsch x0 Pow x2 x0 
Add Mul Add x0 Add Add pi x0 Mul acsch x0 Pow x2 x0 Mul Pow acot asec cos x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Mul -1 sin x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cos x0 cos x0 -1 cos x0 cos x0 -1 Pow Add 1 Mul asec cos x0 asec cos x0 -1 Mul acot asec cos x0 log acot asec cos x0 Mul Pow acot asec cos x0 x0 Add 1 Add 1 Add Mul Pow x2 x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 