Add Mul asinh x0 Pow atanh Add 16 Add E x0 Pow acosh x2 x0 x0 
Add Add Mul Pow atanh Add 16 Add E x0 Pow acosh x2 x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Mul Pow atanh Add 16 Add E x0 Add Pow acosh x2 x0 -1 Add Mul Pow acosh x2 x0 Pow Add 1 Mul -1 Mul Add 16 Add E x0 Add 16 Add E x0 -1 Mul Mul atanh Add 16 Add E x0 log atanh Add 16 Add E x0 Mul Pow acosh x2 Add x0 -1 Mul acosh x2 log acosh x2 1 