Add Add x0 Mul Pow x3 Mul x5 Pow Mul Mul x0 x0 atan x6 tan acoth x0 x0 x7 
Add 1 Add Mul x0 Mul Pow x3 Add Mul x5 Pow Mul Mul x0 x0 atan x6 tan acoth x0 -1 Mul Mul x3 log x3 Mul x5 Mul Pow Mul Mul x0 x0 atan x6 Add tan acoth x0 -1 Add Mul tan acoth x0 Mul atan x6 Add x0 x0 Mul Mul Mul Mul x0 x0 atan x6 log Mul Mul x0 x0 atan x6 Mul Pow sec acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow x3 Mul x5 Pow Mul Mul x0 x0 atan x6 tan acoth x0 