Mul x0 exp Pow Add Pow acsch E Add Mul Add x3 sqrt x7 Add 5 x0 -2 atan Add E x5 x0 
Add exp Pow Add Pow acsch E Add Mul Add x3 sqrt x7 Add 5 x0 -2 atan Add E x5 x0 Mul x0 Mul exp Pow Add Pow acsch E Add Mul Add x3 sqrt x7 Add 5 x0 -2 atan Add E x5 x0 Mul Pow Add Pow acsch E Add Mul Add x3 sqrt x7 Add 5 x0 -2 atan Add E x5 Add x0 -1 Add Mul x0 Mul Pow acsch E Add Add Mul Add x3 sqrt x7 Add 5 x0 -2 -1 Mul Mul acsch E log acsch E Add x3 sqrt x7 Mul Add Pow acsch E Add Mul Add x3 sqrt x7 Add 5 x0 -2 atan Add E x5 log Add Pow acsch E Add Mul Add x3 sqrt x7 Add 5 x0 -2 atan Add E x5 