Pow Add Add x0 x3 Pow acoth x5 atan Mul Pow exp x4 Add x0 x6 x0 x0 
Mul Pow Add Add x0 x3 Pow acoth x5 atan Mul Pow exp x4 Add x0 x6 x0 Add x0 -1 Add Mul x0 Add 1 Mul Pow acoth x5 Add atan Mul Pow exp x4 Add x0 x6 x0 -1 Mul Mul acoth x5 log acoth x5 Mul Add Mul x0 Mul Pow exp x4 Add Add x0 x6 -1 Mul exp x4 log exp x4 Pow exp x4 Add x0 x6 Pow Add 1 Mul Mul Pow exp x4 Add x0 x6 x0 Mul Pow exp x4 Add x0 x6 x0 -1 Mul Add Add x0 x3 Pow acoth x5 atan Mul Pow exp x4 Add x0 x6 x0 log Add Add x0 x3 Pow acoth x5 atan Mul Pow exp x4 Add x0 x6 x0 