Pow Mul Add x7 x5 Add acoth x0 Add Add Pow pi x0 x0 acosh x0 Add Add Add -3 Add x3 x0 x0 x7 
Mul Pow Mul Add x7 x5 Add acoth x0 Add Add Pow pi x0 x0 acosh x0 Add Add Add Add -3 Add x3 x0 x0 x7 -1 Add Mul Add Add Add -3 Add x3 x0 x0 x7 Mul Add x7 x5 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Add Add Mul Pow pi Add x0 -1 Mul pi log pi 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Mul Add x7 x5 Add acoth x0 Add Add Pow pi x0 x0 acosh x0 log Mul Add x7 x5 Add acoth x0 Add Add Pow pi x0 x0 acosh x0 2 