Pow Add x6 Mul acosh x4 Mul asinh x0 -2 Mul x0 x0 
Mul Pow Add x6 Mul acosh x4 Mul asinh x0 -2 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul acosh x4 Mul -2 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul Add x6 Mul acosh x4 Mul asinh x0 -2 log Add x6 Mul acosh x4 Mul asinh x0 -2 Add x0 x0 