Add Add x0 x3 Pow Mul x0 acoth x6 Pow log atan x7 asin acot x0 
Add 1 Mul Pow Mul x0 acoth x6 Add Pow log atan x7 asin acot x0 -1 Add Mul Pow log atan x7 asin acot x0 acoth x6 Mul Mul Mul x0 acoth x6 log Mul x0 acoth x6 Mul Pow log atan x7 Add asin acot x0 -1 Mul Mul log atan x7 log log atan x7 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot x0 acot x0 -1 