Pow Mul acosh x3 pi Pow x0 Mul Add x0 4 atanh Add x3 2 
Mul Pow Mul acosh x3 pi Add Pow x0 Mul Add x0 4 atanh Add x3 2 -1 Mul Mul Mul acosh x3 pi log Mul acosh x3 pi Mul Pow x0 Add Mul Add x0 4 atanh Add x3 2 -1 Add Mul Add x0 4 atanh Add x3 2 Mul Mul x0 log x0 atanh Add x3 2 