Add sqrt Mul x0 exp asin acoth x3 Mul Mul Mul Pow x2 exp x0 x0 Pow Mul acot x0 Mul x3 x0 x7 x0 
Add Mul Pow Mul 2 sqrt Mul x0 exp asin acoth x3 -1 exp asin acoth x3 Add Mul x0 Add Mul Pow Mul acot x0 Mul x3 x0 x7 Add Mul x0 Mul Pow x2 Add exp x0 -1 Mul Mul x2 log x2 exp x0 Pow x2 exp x0 Mul Mul Pow x2 exp x0 x0 Mul Pow Mul acot x0 Mul x3 x0 Add x7 -1 Mul x7 Add Mul Mul x3 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 x3 Mul Mul Pow x2 exp x0 x0 Pow Mul acot x0 Mul x3 x0 x7 