Pow Pow acot Mul -3 Add Add Pow x0 Mul acos Add x0 Add 5 x7 x0 -3 5 Pow x0 acot acsch x0 4 
Mul Pow Pow acot Mul -3 Add Add Pow x0 Mul acos Add x0 Add 5 x7 x0 -3 5 Pow x0 acot acsch x0 3 Mul 4 Mul Pow acot Mul -3 Add Add Pow x0 Mul acos Add x0 Add 5 x7 x0 -3 5 Add Pow x0 acot acsch x0 -1 Add Mul Pow x0 acot acsch x0 Mul -1 Mul Mul -3 Mul Pow x0 Add Mul acos Add x0 Add 5 x7 x0 -1 Add Mul acos Add x0 Add 5 x7 x0 Mul Mul x0 log x0 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Add 5 x7 Add x0 Add 5 x7 -1 acos Add x0 Add 5 x7 Pow Add 1 Mul Mul -3 Add Add Pow x0 Mul acos Add x0 Add 5 x7 x0 -3 5 Mul -3 Add Add Pow x0 Mul acos Add x0 Add 5 x7 x0 -3 5 -1 Mul Mul acot Mul -3 Add Add Pow x0 Mul acos Add x0 Add 5 x7 x0 -3 5 log acot Mul -3 Add Add Pow x0 Mul acos Add x0 Add 5 x7 x0 -3 5 Mul Pow x0 Add acot acsch x0 -1 Add acot acsch x0 Mul Mul x0 log x0 Mul -1 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul acsch x0 acsch x0 -1 