Pow x6 Add Add Mul exp x7 x0 acoth x0 Mul x0 acoth Add sec x5 x0 
Mul Pow x6 Add Add Add Mul exp x7 x0 acoth x0 Mul x0 acoth Add sec x5 x0 -1 Mul Mul x6 log x6 Add Add exp x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Add acoth Add sec x5 x0 Mul x0 Pow Add 1 Mul -1 Mul Add sec x5 x0 Add sec x5 x0 -1 