acoth Add x0 Add Pow x7 exp exp Pow pi Mul Mul pi x0 x0 x5 
Mul Add 1 Mul Pow x7 Add exp exp Pow pi Mul Mul pi x0 x0 -1 Mul Mul x7 log x7 Mul exp exp Pow pi Mul Mul pi x0 x0 Mul exp Pow pi Mul Mul pi x0 x0 Mul Pow pi Add Mul Mul pi x0 x0 -1 Mul Mul pi log pi Add Mul x0 pi Mul pi x0 Pow Add 1 Mul -1 Mul Add x0 Add Pow x7 exp exp Pow pi Mul Mul pi x0 x0 x5 Add x0 Add Pow x7 exp exp Pow pi Mul Mul pi x0 x0 x5 -1 