Mul Mul Add acoth Add 2 Mul asinh E x0 E x4 Add sqrt E x0 
Add Mul Add sqrt E x0 Mul x4 Mul asinh E Pow Add 1 Mul -1 Mul Add 2 Mul asinh E x0 Add 2 Mul asinh E x0 -1 Mul Add acoth Add 2 Mul asinh E x0 E x4 