Add atanh pi Mul x0 Mul 4 Pow x0 sqrt Pow acosh x7 Add x0 4.92245223629157 
Add Mul 4 Pow x0 sqrt Pow acosh x7 Add x0 4.92245223629157 Mul x0 Mul 4 Mul Pow x0 Add sqrt Pow acosh x7 Add x0 4.92245223629157 -1 Add sqrt Pow acosh x7 Add x0 4.92245223629157 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Pow acosh x7 Add x0 4.92245223629157 -1 Mul Pow acosh x7 Add Add x0 4.92245223629157 -1 Mul acosh x7 log acosh x7 