tan Pow Pow acoth x7 Pow x0 x0 Pow -0.780369290648069 x1 
Mul Pow sec Pow Pow acoth x7 Pow x0 x0 Pow -0.780369290648069 x1 2 Mul Pow Pow acoth x7 Pow x0 x0 Add Pow -0.780369290648069 x1 -1 Mul Pow -0.780369290648069 x1 Mul Pow acoth x7 Add Pow x0 x0 -1 Mul Mul acoth x7 log acoth x7 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 