Add Add Mul x0 Pow pi Mul Mul 5 Add Mul Add x0 x0 acosh x0 x0 Pow acoth Add x0 exp x4 -5 Mul x0 x2 x6 
Add Add Pow pi Mul Mul 5 Add Mul Add x0 x0 acosh x0 x0 Pow acoth Add x0 exp x4 -5 Mul x0 Mul Pow pi Add Mul Mul 5 Add Mul Add x0 x0 acosh x0 x0 Pow acoth Add x0 exp x4 -5 -1 Mul Mul pi log pi Add Mul Pow acoth Add x0 exp x4 -5 Mul 5 Add Add Mul acosh x0 2 Mul Add x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Mul 5 Add Mul Add x0 x0 acosh x0 x0 Mul Pow acoth Add x0 exp x4 6 Mul -5 Pow Add 1 Mul -1 Mul Add x0 exp x4 Add x0 exp x4 -1 x2 