acoth exp Add x7 acos acos Mul acot x0 x5 
Mul Mul exp Add x7 acos acos Mul acot x0 x5 Mul -1 Mul Mul -1 Mul Mul x5 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul acot x0 x5 Mul acot x0 x5 -1 Pow sqrt Add 1 Mul -1 Mul acos Mul acot x0 x5 acos Mul acot x0 x5 -1 Pow Add 1 Mul -1 Mul exp Add x7 acos acos Mul acot x0 x5 exp Add x7 acos acos Mul acot x0 x5 -1 