Mul Mul x7 -4 Add Pow Add Mul acot x7 tanh x0 acoth Add Pow x1 asin x0 x0 x0 1 
Mul Mul x7 -4 Mul Pow Add Mul acot x7 tanh x0 acoth Add Pow x1 asin x0 x0 Add x0 -1 Add Mul x0 Add Mul acot x7 Pow sech x0 2 Mul Add Mul Pow x1 Add asin x0 -1 Mul Mul x1 log x1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul -1 Mul Add Pow x1 asin x0 x0 Add Pow x1 asin x0 x0 -1 Mul Add Mul acot x7 tanh x0 acoth Add Pow x1 asin x0 x0 log Add Mul acot x7 tanh x0 acoth Add Pow x1 asin x0 x0 