Mul atanh cos Pow x3 3 Pow Add Add Pow Add x0 x0 x0 x0 x0 acosh x5 
Mul atanh cos Pow x3 3 Mul Pow Add Add Pow Add x0 x0 x0 x0 x0 Add acosh x5 -1 Mul acosh x5 Add Add Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 1 1 