Mul Mul Add 3 x0 Add Mul acoth Mul x0 x0 log x6 atanh x0 Pow pi x0 
Add Mul Pow pi x0 Add Add Mul acoth Mul x0 x0 log x6 atanh x0 Mul Add 3 x0 Add Mul log x6 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add 3 x0 Add Mul acoth Mul x0 x0 log x6 atanh x0 Mul Pow pi Add x0 -1 Mul pi log pi 