Pow Mul acoth x0 x7 Mul Add Mul E x0 sec log x0 -1 
Mul Pow Mul acoth x0 x7 Add Mul Add Mul E x0 sec log x0 -1 -1 Add Mul Mul Add Mul E x0 sec log x0 -1 Mul x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul acoth x0 x7 log Mul acoth x0 x7 Mul -1 Add E Mul Mul tan log x0 sec log x0 Pow x0 -1 