Mul Mul acosh Mul exp x4 x0 4 Add x0 Add acosh cosh x0 x0 
Add Mul Add x0 Add acosh cosh x0 x0 Mul 4 Mul exp x4 Pow Mul sqrt Add Mul exp x4 x0 -1 sqrt Add 1 Mul exp x4 x0 -1 Mul Mul acosh Mul exp x4 x0 4 Add 1 Add Mul sinh x0 Pow Mul sqrt Add cosh x0 -1 sqrt Add 1 cosh x0 -1 1 