Mul x1 Mul x3 Add x0 Pow Pow acoth x6 x0 Mul x0 tan exp x0 
Mul x1 Mul x3 Add 1 Mul Pow Pow acoth x6 x0 Add Mul x0 tan exp x0 -1 Add Mul Mul x0 tan exp x0 Mul Pow acoth x6 Add x0 -1 Mul acoth x6 log acoth x6 Mul Mul Pow acoth x6 x0 log Pow acoth x6 x0 Add tan exp x0 Mul x0 Mul Pow sec exp x0 2 exp x0 