Add Pow x4 Mul acot Mul x7 -3 Add x0 Mul exp E tanh x0 acot Pow Add sqrt x1 x0 x0 
Add Mul Pow x4 Add Mul acot Mul x7 -3 Add x0 Mul exp E tanh x0 -1 Mul Mul x4 log x4 Mul acot Mul x7 -3 Add 1 Mul exp E Pow sech x0 2 Mul -1 Mul Mul Pow Add sqrt x1 x0 Add x0 -1 Add x0 Mul Add sqrt x1 x0 log Add sqrt x1 x0 Pow Add 1 Mul Pow Add sqrt x1 x0 x0 Pow Add sqrt x1 x0 x0 -1 