Mul acsch x0 Add Pow Mul asech x0 x5 sqrt Mul 4.74458718811700 Add x0 x0 Mul x0 0.909297426825682 
Add Mul Add Pow Mul asech x0 x5 sqrt Mul 4.74458718811700 Add x0 x0 Mul x0 0.909297426825682 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 Add Mul Pow Mul asech x0 x5 Add sqrt Mul 4.74458718811700 Add x0 x0 -1 Add Mul sqrt Mul 4.74458718811700 Add x0 x0 Mul x5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Mul asech x0 x5 log Mul asech x0 x5 Mul Pow Mul 2 sqrt Mul 4.74458718811700 Add x0 x0 -1 6.74458718811700 0.909297426825682 