acoth Add Add Mul Mul acosh x7 Add Add x0 x4 5 x6 atanh x0 x0 
Mul Add Add Mul x6 acosh x7 Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul -1 Mul Add Add Mul Mul acosh x7 Add Add x0 x4 5 x6 atanh x0 x0 Add Add Mul Mul acosh x7 Add Add x0 x4 5 x6 atanh x0 x0 -1 