Add x0 Add asech pi Mul -4 Mul x0 Mul exp x0 Mul asech x0 sinh x2 
Add 1 Mul -4 Add Mul exp x0 Mul asech x0 sinh x2 Mul x0 Add Mul Mul asech x0 sinh x2 exp x0 Mul exp x0 Mul sinh x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 