Pow Mul asech acsch E atanh Add x0 x0 Mul x0 0.964027580075817 
Mul Pow Mul asech acsch E atanh Add x0 x0 Add Mul x0 0.964027580075817 -1 Add Mul Mul x0 0.964027580075817 Mul asech acsch E Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul Mul asech acsch E atanh Add x0 x0 log Mul asech acsch E atanh Add x0 x0 0.964027580075817 