Mul Mul Pow 0.250000000000000 cosh asech x0 16331239353195370 Mul -0.785397261906181 x0 
Add Mul Mul -0.785397261906181 x0 Mul 16331239353195370 Mul Pow 0.250000000000000 Add cosh asech x0 -1 Mul -1.13629436111989 Mul sinh asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Pow 0.250000000000000 cosh asech x0 16331239353195370 -0.785397261906181 