Pow Mul Mul x0 4 asech Mul cos Mul x0 sinh x0 x0 x3 
Mul Pow Mul Mul x0 4 asech Mul cos Mul x0 sinh x0 x0 Add x3 -1 Mul x3 Add Mul asech Mul cos Mul x0 sinh x0 x0 4 Mul Mul x0 4 Mul Add Mul x0 Mul Mul -1 sin Mul x0 sinh x0 Add sinh x0 Mul x0 cosh x0 cos Mul x0 sinh x0 Pow Mul Mul Mul cos Mul x0 sinh x0 x0 Mul cos Mul x0 sinh x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul cos Mul x0 sinh x0 x0 Mul cos Mul x0 sinh x0 x0 -1 -1 