Mul Add x0 acot Add x0 Add Add -2 Add x0 x0 Add Pow Pow acoth x6 Pow exp sech x4 Mul x0 -1 x7 x0 x0 
Add Mul x0 Add 1 Mul -1 Mul Add 1 Add 2 Add Mul Pow Pow acoth x6 Pow exp sech x4 Mul x0 -1 Add x7 -1 Mul x7 Mul Pow acoth x6 Add Pow exp sech x4 Mul x0 -1 -1 Mul Mul acoth x6 log acoth x6 Mul Pow exp sech x4 Add Mul x0 -1 -1 Mul Mul exp sech x4 log exp sech x4 -1 1 Pow Add 1 Mul Add x0 Add Add -2 Add x0 x0 Add Pow Pow acoth x6 Pow exp sech x4 Mul x0 -1 x7 x0 Add x0 Add Add -2 Add x0 x0 Add Pow Pow acoth x6 Pow exp sech x4 Mul x0 -1 x7 x0 -1 Add x0 acot Add x0 Add Add -2 Add x0 x0 Add Pow Pow acoth x6 Pow exp sech x4 Mul x0 -1 x7 x0 