Add Pow acoth Pow Add Add x0 x0 Add 4 acosh x3 pi -1 -5 
Mul Pow acoth Pow Add Add x0 x0 Add 4 acosh x3 pi 2 Mul -1 Mul Mul Pow Add Add x0 x0 Add 4 acosh x3 Add pi -1 Mul pi 2 Pow Add 1 Mul -1 Mul Pow Add Add x0 x0 Add 4 acosh x3 pi Pow Add Add x0 x0 Add 4 acosh x3 pi -1 