Pow Add x7 x7 Add -4 Pow asinh x0 acoth Add 3 x5 
Mul Pow Add x7 x7 Add Add -4 Pow asinh x0 acoth Add 3 x5 -1 Mul Mul Add x7 x7 log Add x7 x7 Mul Pow asinh x0 Add acoth Add 3 x5 -1 Mul acoth Add 3 x5 Pow sqrt Add 1 Mul x0 x0 -1 