Mul Mul acsc Mul acoth x0 cot x7 Mul x0 4 asin x0 
Add Mul asin x0 Add Mul Mul x0 4 Mul -1 Mul Mul cot x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul acoth x0 cot x7 Mul acoth x0 cot x7 -1 Mul acoth x0 cot x7 Mul acoth x0 cot x7 -1 Mul acsc Mul acoth x0 cot x7 4 Mul Mul acsc Mul acoth x0 cot x7 Mul x0 4 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 