Mul acoth Mul -1 Mul x0 acosh sqrt Add x5 0.932652865630953 3 
Mul 3 Mul Mul -1 acosh sqrt Add x5 0.932652865630953 Pow Add 1 Mul -1 Mul Mul -1 Mul x0 acosh sqrt Add x5 0.932652865630953 Mul -1 Mul x0 acosh sqrt Add x5 0.932652865630953 -1 