Add acosh cosh acoth atan sin E Mul Mul acosh x7 16 Pow Add x0 Mul pi Mul Pow 4 pi 4 x0 
Mul Mul acosh x7 16 Mul Pow Add x0 Mul pi Mul Pow 4 pi 4 Add x0 -1 Add x0 Mul Add x0 Mul pi Mul Pow 4 pi 4 log Add x0 Mul pi Mul Pow 4 pi 4 