asin Mul Pow acoth x2 x0 Mul acsc Add x7 -3 sqrt x0 
Mul Add Mul Mul acsc Add x7 -3 sqrt x0 Mul Pow acoth x2 Add x0 -1 Mul acoth x2 log acoth x2 Mul Pow acoth x2 x0 Mul acsc Add x7 -3 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Pow acoth x2 x0 Mul acsc Add x7 -3 sqrt x0 Mul Pow acoth x2 x0 Mul acsc Add x7 -3 sqrt x0 -1 